@anon
sign up
@anon
sign up
pull down to refresh
Why Gelsinger was wrong for Intel
bcantrill.dtrace.org/2024/12/08/why-gelsinger-was-wrong-for-intel/
34 sats
\
1 comment
\
@hn
9 Dec 2024
tech
related
Intel's $475M error: the silicon behind the Pentium division bug
www.righto.com/2024/12/this-die-photo-of-pentium-shows.html
29 sats
\
0 comments
\
@hn
28 Dec 2024
tech
How AI on Microcontrollers Works: Operators and Kernels
danielmangum.com/posts/ai-microcontrollers-operators-kernels/
11 sats
\
0 comments
\
@hn
5 Jul
tech
Escaping the Chrome Sandbox Through DevTools
ading.dev/blog/posts/chrome_sandbox_escape.html
120 sats
\
0 comments
\
@hn
17 Oct 2024
tech
Why I Chose Common Lisp
blog.djhaskin.com/blog/why-i-chose-common-lisp/
105 sats
\
0 comments
\
@hn
12 Jan
tech
OpenMPTCProuter: Aggregate and encrypt multiple internet connections using MPTCP
www.openmptcprouter.com/
11 sats
\
0 comments
\
@hn
23 Nov 2024
tech
The Art of Lisp and Writing
www.dreamsongs.com/ArtOfLisp.html
10 sats
\
0 comments
\
@hn
15 Jun
tech
Shardines: SQLite3 Database-per-Tenant with ActiveRecord
blog.julik.nl/2025/04/a-can-of-shardines
49 sats
\
0 comments
\
@hn
27 Apr
tech
Machine-Assisted Proof by Terence Tao [pdf]
www.ams.org/notices/202501/rnoti-p6.pdf
172 sats
\
0 comments
\
@hn
28 Dec 2024
tech
Kimi K1.5: Scaling Reinforcement Learning with LLMs
github.com/MoonshotAI/Kimi-k1.5
14 sats
\
0 comments
\
@hn
21 Jan
tech
A study on how turtles navigate using the Earth’s magnetic field
www.unc.edu/posts/2025/02/12/dancing-turtles-unlock-scientific-discovery/
127 sats
\
0 comments
\
@hn
14 Feb
tech
Peano arithmetic is enough, because Peano arithmetic encodes computation
math.stackexchange.com/a/5075056/6708
10 sats
\
0 comments
\
@hn
14 Jun
tech
Hunt for Red October 1990 (2016)
www.modelshipsinthecinema.com/2016/12/hunt-for-red-october-1990.html
46 sats
\
0 comments
\
@hn
10 Apr
tech
Making memcpy(NULL, NULL, 0) well-defined
developers.redhat.com/articles/2024/12/11/making-memcpynull-null-0-well-defined
25 sats
\
0 comments
\
@hn
11 Dec 2024
tech
Matters Computational Ideas, Algorithms, Source Code – Jorg Arndt [pdf]
www.jjj.de/fxt/fxtbook.pdf
85 sats
\
0 comments
\
@hn
7 Mar
tech
The Dark Side of the Moomins
www.newstatesman.com/culture/books/2025/04/dark-side-of-the-moomins-tove-jansson
10 sats
\
0 comments
\
@hn
13 Apr
tech
Ghosts in the ROM (2012)
www.nycresistor.com/2012/08/21/ghosts-in-the-rom/
21 sats
\
0 comments
\
@hn
26 Jun 2024
tech
Sunset Geometry (2016)
www.shapeoperator.com/2016/12/12/sunset-geometry/
24 sats
\
0 comments
\
@hn
15 Mar
tech
Unsupervised Elicitation of Language Models
arxiv.org/abs/2506.10139
10 sats
\
0 comments
\
@hn
14 Jun
tech
Computing with Time: Microarchitectural Weird Machines
cacm.acm.org/research-highlights/computing-with-time-microarchitectural-weird-machines/
11 sats
\
0 comments
\
@hn
25 Nov 2024
tech
Optimizing a WebGPU Kernel to 1TFLOP of Performance
zanussbaum.substack.com/p/optimizing-a-webgpu-matmul-kernel
21 sats
\
0 comments
\
@hn
11 Nov 2024
tech
Monitor your security cameras with locally processed AI
frigate.video/
120 sats
\
0 comments
\
@hn
5 Aug
tech
more