Login
故事
< prev
page 8
more >
Loading...
113
Carnap – A formal logic framework for Haskell
(carnap.io)
by
ravenical
4 days ago |
20 comments
85
How I think about Kubernetes
(garnaudov.com)
by
todsacerdoti
a day ago |
62 comments
183
The e-scooter isn't new – London was zooming around on Autopeds a century ago
(ianvisits.co.uk)
by
zeristor
3 days ago |
138 comments
22
Understanding the Northern Lights
(historytoday.com)
by
benbreen
8 days ago |
3 comments
252
Local AI is driving the biggest change in laptops in decades
(spectrum.ieee.org)
by
barqawiz
5 days ago |
255 comments
37
Salmon Recipe
(waveinscriber.com)
by
vitalnodo
3 days ago |
3 comments
62
Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4
(abhamra.com)
by
todsacerdoti
7 days ago |
3 comments
8
Waymo updates fleet in response to Bay Area outage chaos
(theregister.com)
by
raybb
15 hours ago |
discuss
490
It's Always TCP_NODELAY
(brooker.co.za)
by
eieio
5 days ago |
176 comments
99
Permission Systems for Enterprise That Scale
(eliocapella.com)
by
eliocs
3 days ago |
35 comments
389
Lua 5.5
(lua.org)
by
km
5 days ago |
131 comments
254
Debian's Git Transition
(diziet.dreamwidth.org)
by
all-along
5 days ago |
147 comments
152
More on whether useful quantum computing is “imminent”
(scottaaronson.blog)
by
A_D_E_P_T
6 days ago |
125 comments
134
The Polyglot NixOS
(x86.lol)
by
todsacerdoti
7 days ago |
53 comments
25
Claude Code changed my life
(spader.zone)
by
dboon
2 days ago |
9 comments
323
iOS 26.3 brings AirPods-like pairing to third-party devices in EU under DMA
(macrumors.com)
by
Tomte
5 days ago |
320 comments
201
The ancient monuments saluting the winter solstice
(bbc.com)
by
1659447091
5 days ago |
97 comments
256
Rue: Higher level than Rust, lower level than Go
(rue-lang.dev)
by
ingve
6 days ago |
269 comments
98
Governments in the West Are Turning Their Sights on VPNs
(nakedcapitalism.com)
by
indigodaddy
2 days ago |
52 comments
151
Show HN: Turn raw HTML into production-ready images for free
(html2png.dev)
by
alvinunreal
4 days ago |
80 comments
495
The Illustrated Transformer
(jalammar.github.io)
by
auraham
5 days ago |
88 comments
168
Games’ affordance of childlike wonder and reduced burnout risk in young adults
(games.jmir.org)
by
azalemeth
3 days ago |
132 comments
152
Font with Built-In Syntax Highlighting (2024)
(blog.glyphdrawing.club)
by
california-og
4 days ago |
36 comments
19
New York to require social media platforms to display mental health warnings
(reuters.com)
by
dredmorbius
a day ago |
4 comments
74
Could lockfiles just be SBOMs?
(nesbitt.io)
by
zdw
4 days ago |
60 comments
43
Spice: A 40-year old open-source success story (2011)
(edn.com)
by
stmw
3 days ago |
4 comments
222
Nabokov's guide to foreigners learning Russian
(twitter.com)
by
flaxxen
4 days ago |
474 comments
34
2D Signed Distance Functions
(iquilezles.org)
by
nickswalker
3 days ago |
discuss
92
Towards a secure peer-to-peer app platform for Clan
(clan.lol)
by
throawayonthe
4 days ago |
27 comments
218
Free Software Foundation receives historic private donations
(fsf.org)
by
pentagrama
3 days ago |
43 comments