i_don_t_know

7 ms·

1.
by i_don_t_know 3mo ago
IIRC you have to probe every page of the stack on Windows. You cannot just subtract a value from ESP/RSP. If you don't probe every page in order, you get a page fault or some other exception (I don't remember which one).
2.
by i_don_t_know 4mo ago
Hard real-time control systems is one application.
3.
by i_don_t_know 4mo ago
Iirc, the interpreter recognizes common idioms (sequences of 2-4 operations) and has optimized fused implementations for those idioms that avoid intermediate results. It can also avoid creating intermediate results for quite a few operation
4.
by i_don_t_know 4mo ago
Here’s some helpful background information on the project: https://news.ycombinator.com/item?id=47872891 In particular, it has diagrams of the data structures and how the algorithm operates on them.
5.
by i_don_t_know 5mo ago
> Rust 1.0 is 11 years old and it's still trivial to compile Rust code from then. I doubt that will change in the next 9 years. Maybe it's trivial to compile Rust code but it's not trivial to build a project with dependenc
6.
by i_don_t_know 5mo ago
Thank you!
7.
The Sinclair ZX Spectrum White Edition(heise.de)
2 points by i_don_t_know 5mo ago|3 comments
8.
by i_don_t_know 5mo ago
Sorry, I couldn't find a news report in English. Everything I found was in German. It's a remake of the Sinclair ZX Spectrum home computer from the 80s, in white.
9.
by i_don_t_know 5mo ago
I used to work on LabWindows/CVI an integrated C development environment. It included an "Interactive Execution Window" where you could build programs piecemeal. You added pieces of code, ran them, then appended more code, ra
10.
by i_don_t_know 6mo ago
I used to run long distance, no music, no headphones, no trackers, no watch. Let your mind drift, or focus on the rest of the course. Or go swimming and count laps. Or go bouldering (in doors), pick a route and focus on it.
11.
by i_don_t_know 6mo ago
I’m not sure I fully understand but this seems to be the kind of problem that Ocaml functors solve. You program against an interface (signature) and you supply a concrete implementation (structure) when you want to run it. You can use diffe
12.
by i_don_t_know 6mo ago
The Haskell language report precisely defines how layout determines structure: https://www.haskell.org/onlinereport/haskell2010/haskellch10... Any language that uses layout to determine structure should have a sim
13.
by i_don_t_know 6mo ago
I loved my Kosmos electronics kits. My mom threw out the kits eventually but I still have the manuals. https://patric-sokoll.de/SonstigeSammlungen/Kosmos%20E200/Ha... My first computer was their CP1. It was aimed
14.
by i_don_t_know 6mo ago
Simon Peyton Jones's "The implementation of functional programming languages" has a chapter on the "Efficient compilation of pattern matching" (chapter 5 by Philip Wadler). https://simon.peytonjones.org&#
15.
Lean-TUI for the lean proof assistant(codeberg.org)
2 points by i_don_t_know 7mo ago|0 comments
16.
by i_don_t_know 7mo ago
Thanks! That was actually really good. His performance matches the emotions underlying the song. Something all the covers of Behind Blue Eyes by The Who seem to miss is the slowly rising anger and frustration.
17.
by i_don_t_know 7mo ago
When I became interested in FPGAs recently, I read this book https://nostarch.com/gettingstartedwithfpgas I bought a cheap FPGA board based on Lattice's ice40. There are free OSS tools to write, simulate, and install y
18.
by i_don_t_know 7mo ago
Chapter 9 and section 10.7 of this book show some interesting (and to me unexpected) uses of effects in Ocaml and how they compare to implementations based on monads: https://lukstafi.github.io/curious-ocaml/new_book.ht
19.
by i_don_t_know 7mo ago
mdx[1] is another variation on this, also in the Ocaml ecosystem. It’s Ocaml’s version of documentation tests as in Elixir and Rust. But it’s not limited to that. You can write tests in markdown files independently from your documentation.
20.
by i_don_t_know 8mo ago
I'm seconding the recommendation to look at Rodnay Zack's books. For example, I really enjoyed Advanced 6502 Programming. It's a project-based tutorial for a custom 6502 machine. The design and schematics are in the book. ht
21.
by i_don_t_know 8mo ago
> Well I am talking about before a military conflict erupts. I’m talking about what is in the interest of the people, when they are looking at a potential military conflict. When you’re looking at a potential military conflict, you’re lo
22.
by i_don_t_know 8mo ago
I’m not sure the people in Eastern Ukraine who have been “relocated” to Russia agree with your idea of “nothing changes except for the government”. I don’t think the people across Europe and Asia during World War II would agree either. Your
23.
Fun with Algebraic Effects – From Toy Examples to Hardcaml Simulations(blog.janestreet.com)
4 points by i_don_t_know 8mo ago|0 comments
24.
by i_don_t_know 8mo ago
I remember seeing a Mandelbrot program for the C64 where half the image was computed on the floppy drive because it's basically the same computer as the main C64. I think it had a 6502 instead of a 6510 and different memory. I believe
25.
by i_don_t_know 9mo ago
I haven't used LLVM in ages. I think it injects references to functions in the CRT when you do certain operations in your code. _fltused is one of them, and I think _ftol? or something like that for floating point numbers is another on
26.
by i_don_t_know 9mo ago
I'm German, I don't speak Dutch. But I was able to follow a Dutch tour guide in Den Haag just fine when she was explaining things in Dutch. She kindly repeated everything in English for my benefit (I was the only foreigner) even t
27.
by i_don_t_know 9mo ago
> Does it make sense to change direction at this point? I envy PhDs working on self-driving cars and rockets and AI. You don’t need a PhD to work on rockets. Well, you might depending on what you want to do. There are a lot of software o
28.
by i_don_t_know 10mo ago
I'm having a lot of fun running Fedora in a VM with UTM on my MacBook (an old Intel one). You might try that if you already have an M1 MacBook.
29.
by i_don_t_know 10mo ago
I believe Kochenderfer et.al.'s book "Algorithms for decision making" is also about reinforcement learning and related approaches. Free PDFs are available at https://algorithmsbook.com
30.
by i_don_t_know 10mo ago
It’s the title of the blog post and I didn’t want to change it. But yes, it seems to focus on the specific subset of hardware engineering that’s control systems.

More ›