signa11

13 ms·

481.
Formal methods only solve half my problems(brooker.co.za)
78 points by signa11 10mo ago|30 comments
482.
A Solid Load of Bull(loup-vaillant.fr)
3 points by signa11 10mo ago|0 comments
483.
You Can't Trust Your Eyes to Tell You What's Real Anymore, Says Instagram Head(theverge.com)
7 points by signa11 10mo ago|2 comments
484.
Clinic-in-the-Loop: Eroom's Law(asimov.press)
2 points by signa11 10mo ago|0 comments
485.
Goodbye Sass(redblobgames.com)
3 points by signa11 10mo ago|1 comments
486.
by signa11 10mo ago
no one is talking about Erlang here ? i was / am under the impression that it is designed for these scenarios.
487.
by signa11 10mo ago
this was vibe-coded and then human improved. references to faster version of it are already provided.
488.
How Email Works: Behind the Screen(sushantdhiman.substack.com)
1 points by signa11 10mo ago|0 comments
489.
Asus ROG Laptops Are Broken by Design: A Forensic Deep Dive(drive.google.com)
5 points by signa11 10mo ago|1 comments
490.
by signa11 10mo ago
well, i haven't found better introduction to calculus than the 'calculus made easy' book by mr. silvanus-p-thompson. have been gifting the hardcopy of that book to all my friend's kids who are interested in these kinds o
491.
Goodbye SASS(redblobgames.com)
2 points by signa11 10mo ago|0 comments
492.
A Tour of Common Concurrent Hash Table Designs(bluuewhale.github.io)
4 points by signa11 10mo ago|0 comments
493.
Why are we worried about memory access semantics? Full barriers are enough?(devblogs.microsoft.com)
3 points by signa11 10mo ago|0 comments
494.
Concurrent Hash Table Designs(bluuewhale.github.io)
87 points by signa11 10mo ago|14 comments
495.
by signa11 10mo ago
dupe: https://news.ycombinator.com/item?id=46344548
496.
by signa11 10mo ago
dup: https://news.ycombinator.com/item?id=46389444
497.
Rob Pike Goes Nuclear over GenAI(imgur.com)
464 points by signa11 10mo ago|18 comments
498.
How Email Works(sushantdhiman.substack.com)
1 points by signa11 10mo ago|0 comments
499.
Going boldly into the COSMIC desktop environment(lwn.net)
3 points by signa11 10mo ago|0 comments
500.
A Curl 2025 Review(daniel.haxx.se)
5 points by signa11 10mo ago|0 comments
501.
(My) Second Year of the Linux Desktop (For Gaming)(blog.matthewbrunelle.com)
3 points by signa11 10mo ago|0 comments
502.
by signa11 10mo ago
yup exactly.
503.
by signa11 10mo ago
> ... I'm a pretty dedicated Linux user, but I'd argue that Windows NT is a far better technical architecture than GNU/Linux ... please do explain. thank you !
504.
Schrödinger's test: The /dev/mem case(elisa.tech)
3 points by signa11 10mo ago|0 comments
505.
Tieredsort: Header only, blazing fast (3-4x) C++17 sorting for numeric types(github.com)
7 points by signa11 10mo ago|4 comments
506.
Rex: Safe Rust Kernel Extensions for the Linux Kernel, in Place of eBPF(phoronix.com)
3 points by signa11 10mo ago|0 comments
507.
An uncomfortable but necessary discussion about the Debian bug tracker(nibblestew.blogspot.com)
3 points by signa11 10mo ago|0 comments
508.
Write code that you can understand when you get paged at 2am(pcloadletter.dev)
3 points by signa11 10mo ago|0 comments
509.
Unix "find" expressions compiled to bytecode(nullprogram.com)
6 points by signa11 10mo ago|0 comments
510.
When SIMD Fails: Floating Point Associativity(xania.org)
1 points by signa11 10mo ago|0 comments

More ›