sakras

22 ms·

151.
by sakras 4y ago
> Things are going to get boring, old and non-original very quickly. I’d say they already have. I have half a mind to write a HN front end that filters out any posts with the phrases “GPT”, “LLM”, and “AI”.
152.
by sakras 4y ago
I think it's difficult on Intel to be fully free because of Intel ME. As far as I know, it's not possible to fully be rid of it, so you'll always have some proprietary blob running a possible backdoor. If you want to be fully
153.
by sakras 4y ago
People who write in books: what do you write? I remember being forced to write on sticky notes in high school, and trying several times afterwards, and I just don’t get it. I see the phrase “engaging with the writing” thrown around by propo
154.
by sakras 4y ago
I could be wrong, but doesn’t that violate the supremacy clause, since opening letters is a federal offense?
155.
by sakras 4y ago
I definitely agree. I think somewhere along the way we went from solving problems to bickering about _how_ to solve problems. I feel there are now plenty of languages now that exist purely for aesthetic reasons (C++, Swift, etc) rather than
156.
by sakras 4y ago
> To me the article read as if our job was to make every bit of code as fast as possible. My interpretation was that he thinks the baseline for performance is too low. There are kind of two parts to performance: non-pessimization and opt
157.
by sakras 4y ago
I’m afraid I don’t understand. If you want one process to signal to another that data is available, you have the receiver block on a condition variable. When the sender writes its data it signals the condition variable. This is all handled
158.
by sakras 4y ago
> With shared memory in particular, the issue gets tricky around signalling and locking aka indicating to other processes when new info is available, and when another process is accessing the data. POSIX has mutex and condition variable,
159.
by sakras 4y ago
That’s a good point, having a nice usable smartphone kind of requires selling your soul to a devil at the moment. I’ve sold mine to Apple, and despite the closed nature of its ecosystem, I am very happy with the day-to-day experience. Is it
160.
by sakras 4y ago
Honestly, I’ve recently come to the realization that life is too short for things that “work” but don’t bring joy to use. Don’t torture yourself with this phone you hate, just splurge on a new one you’ll like.
161.
by sakras 4y ago
If you’re only heavily using one of the cores, that core is free to use a lot more power, and can probably push its clock speed much higher than if this were an all-core workload. So I’d actually expect the opposite, that the ampere would b
162.
by sakras 4y ago
I always imagined Fuchsia as a server OS, not a replacement for Linux on Android. Wouldn't their KataOS/Sparrow project be more relevant to Android?
163.
by sakras 4y ago
As someone who’s never messed with a theorem prover but would like to, would it make sense to start with Lean? How is it different from Coq? And is Coq worth learning before Lean?
164.
by sakras 4y ago
> The first is performance. Although there aren't, to the best of my knowledge, modern performance numbers, it is reasonable to assume that recursive descent parsing is generally faster than LR parsing. Why is this safe to assume? M
165.
by sakras 4y ago
Locality is good during merge but there’s no parallelism - there’s a data dependency between the previous and next iteration because we don’t know which pointer we’re supposed to advance. I think it’s still unclear whether this necessarily
166.
by sakras 4y ago
I used a Hall Effect sensor on my robotics team and it caused nothing but issues. We were using it to PID our motors to be the same speed. I think there might’ve been some kind of interference from the motors, but I’m not sure. We ended up
167.
by sakras 4y ago
Wow, thank you for doing this! I’ve been wanting to write TLA+ in emacs for a while now, but the lack of syntax highlighting has been forcing me back to the (IMO) clunky TLA+ toolbox. With emacs-treesitter coming in emacs 29, I’ll finally b
168.
by sakras 4y ago
According to [1], 88% of the speedup given by OOO processors is due to speculation, and the reordering in the case of cache misses attributed around 10% of the speedup. If OOO in general gives around a 50% speedup compared to in-order desig
169.
by sakras 4y ago
I’m not convinced that’ll bring about any significant change. Any power savings from switching to a RISC from x86 is coming from simplifying the instruction decoder, which seems to be about 15-20% if we compare the Ampere Altra to a compara
170.
by sakras 4y ago
How did a candy crush link reduce malware infections? Also as an aside, that link _kept coming back_ on my laptop (but not my desktop oddly).
171.
by sakras 4y ago
Maybe you have this project confused with another one? This is an ordinary exposed-pipeline VLIW machine with a novel “temporal addressing” scheme rather than named registers. There’s no mention of reversible computation.
172.
by sakras 4y ago
The Mill has on the order of 20 hours of specifics, in this YouTube playlist: https://youtube.com/playlist?list=PLFls3Q5bBInj_FfNLrV7gGdVt...
173.
by sakras 4y ago
Ah I still remember the good old days of TotalBiscuit, checking the options menu for an FOV slider for every game. I legitimately think that if it wasn’t for him, we’d still be in this rut of lazy ports. May he rest in peace.
174.
by sakras 4y ago
To be honest though, the Civilization games in particular are badly implemented. I had no end of similar issues with Civ V and Beyond Earth (didn’t play the earlier ones). I do agree with the general sentiment, but I find Civilization to be
175.
by sakras 4y ago
I guess it really depends on what your program is doing. In my system, everything I do is linked to how I use my memory and its layout (so much that I don’t use malloc/free, just my own arena allocator), so I wouldn’t be able to avoid
176.
by sakras 4y ago
I recently started a project in pure C (coming from writing C++ professionally for a few years). I love it. Honestly, the biggest advantage for me is the massive reduction in mental overhead. In C++, every single line introduces something t
177.
by sakras 4y ago
What we’re talking about is mmap-ing files vs doing some anonymous mapping and manually reading files. Anonymous mappings don’t incur all the TLB shootdowns that mmap’d files do.
178.
by sakras 4y ago
The Ice Lake chips being benchmarked against are server chips, while the 7950X Zen 4 chip used is a consumer chip. So while Ice Lake has been out for a while, it’s also several times more expensive. It’s also worth noting that it took Intel
179.
by sakras 4y ago
When Andy rages about databases using mmap, he means using it to replace the buffer pool. In theory, it provides exactly what the database needs by paging the data in and out on demand. In practice this scales poorly to large number of thre
180.
by sakras 4y ago
I think the most interesting part of this project is the fault tolerance. I can’t say I’ve seen any other projects do this, but it seems reasonable to want checkpointing during a long computation. Another thing I like is that conceptually i

More ›