Login
故事
< prev
page 6
more >
Loading...
112
Carnap – A formal logic framework for Haskell
(carnap.io)
by
ravenical
3 days ago |
20 comments
221
Nabokov's guide to foreigners learning Russian
(twitter.com)
by
flaxxen
3 days ago |
468 comments
194
AMD entered the CPU market with reverse-engineered Intel 8080 clone 50 years ago
(tomshardware.com)
by
ksec
2 days ago |
95 comments
387
Lua 5.5
(lua.org)
by
km
4 days ago |
130 comments
9
Fish-Inspired Filter That Removes over 99% of Microplastics
(scitechdaily.com)
by
Gaishan
10 hours ago |
5 comments
251
Local AI is driving the biggest change in laptops in decades
(spectrum.ieee.org)
by
barqawiz
4 days ago |
252 comments
5
Bill Gates' Minesweeper addiction helped lead to the Xbox (2023)
(arstechnica.com)
by
Tomte
3 hours ago |
discuss
21
Unix V4 Update
(irreal.org)
by
tsenturk
21 hours ago |
1 comments
94
I rebuilt FlashAttention in Triton to understand the performance archaeology
(aminediro.com)
by
amindiro
5 days ago |
17 comments
92
Towards a secure peer-to-peer app platform for Clan
(clan.lol)
by
throawayonthe
3 days ago |
27 comments
62
Donald E. Knuth and Peter van Emde Boas on priority deques (1977) [pdf]
(staff.fnwi.uva.nl)
by
vismit2000
3 days ago |
5 comments
133
The Polyglot NixOS
(x86.lol)
by
todsacerdoti
6 days ago |
52 comments
321
iOS 26.3 brings AirPods-like pairing to third-party devices in EU under DMA
(macrumors.com)
by
Tomte
3 days ago |
315 comments
37
Show HN: A local-first, reversible PII scrubber for AI workflows
(medium.com)
by
tjruesch
2 days ago |
13 comments
489
It's Always TCP_NODELAY
(brooker.co.za)
by
eieio
4 days ago |
175 comments
151
Font with Built-In Syntax Highlighting (2024)
(blog.glyphdrawing.club)
by
california-og
3 days ago |
36 comments
1960
Backing up Spotify
(annas-archive.li)
by
vitplister
6 days ago |
688 comments
20
Show HN: WebPtoPNG – I built a WebP to PNG tool, everything runs in the browser
(webptopng.cc)
by
akseli_ukkonen
2 days ago |
19 comments
279
The biggest CRT ever made: Sony's PVM-4300
(dfarq.homeip.net)
by
giuliomagnifico
4 days ago |
184 comments
22
Netflix NFL streaming quality issues
(themirror.com)
by
tatersolid
20 hours ago |
6 comments
492
The Illustrated Transformer
(jalammar.github.io)
by
auraham
4 days ago |
88 comments
252
Debian's Git Transition
(diziet.dreamwidth.org)
by
all-along
4 days ago |
147 comments
30
Litex: Formal math for everyone – set theory examples with Lean comparison
(litexlang.com)
by
litexlang
7 days ago |
10 comments
10
Why Scandinavian Cabins Stayed Warm at -30°F While Modern Homes Freeze [video]
(youtube.com)
by
melenaboija
15 hours ago |
7 comments
22
Fabrication Techniques Using Myco-Materials
(encyclopedia.pub)
by
andsoitis
5 days ago |
4 comments
201
The ancient monuments saluting the winter solstice
(bbc.com)
by
1659447091
4 days ago |
97 comments
255
Ryanair fined €256M over ‘abusive strategy’ to limit ticket sales by OTAs
(theguardian.com)
by
aquir
3 days ago |
268 comments
152
More on whether useful quantum computing is “imminent”
(scottaaronson.blog)
by
A_D_E_P_T
5 days ago |
125 comments
256
Rue: Higher level than Rust, lower level than Go
(rue-lang.dev)
by
ingve
5 days ago |
267 comments
198
Test, don't just verify
(alperenkeles.com)
by
alpaylan
3 days ago |
138 comments