Login
故事
< prev
page 6
more >
Loading...
62
Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4
(abhamra.com)
by
todsacerdoti
6 days ago |
3 comments
15
Show HN: I treated my brain like a buggy server and wrote a patch (Shi-Mo Model)
(github.com)
by
ShiMo_Protocol
a day ago |
5 comments
141
Spaced repetition for efficient learning (2019)
(gwern.net)
by
tsenturk
2 days ago |
58 comments
430
Instant database clones with PostgreSQL 18
(boringsql.com)
by
radimm
3 days ago |
162 comments
149
Show HN: Turn raw HTML into production-ready images for free
(html2png.dev)
by
alvinunreal
3 days ago |
80 comments
7
Algerian law declares France's colonisation a crime
(bbc.com)
by
teleforce
a day ago |
discuss
1549
Show HN: Jmail – Google Suite for Epstein files
(jmail.world)
by
lukeigel
6 days ago |
359 comments
5
Microsoft wants to replace its C and C++ codebase, perhaps by 2030
(theregister.com)
by
dangalf
8 hours ago |
4 comments
73
Could lockfiles just be SBOMs?
(nesbitt.io)
by
zdw
3 days ago |
59 comments
112
Carnap – A formal logic framework for Haskell
(carnap.io)
by
ravenical
3 days ago |
20 comments
36
The Inner-Platform Effect (2006)
(thedailywtf.com)
by
birdculture
4 days ago |
15 comments
221
Nabokov's guide to foreigners learning Russian
(twitter.com)
by
flaxxen
3 days ago |
468 comments
387
Lua 5.5
(lua.org)
by
km
4 days ago |
130 comments
194
AMD entered the CPU market with reverse-engineered Intel 8080 clone 50 years ago
(tomshardware.com)
by
ksec
2 days ago |
96 comments
251
Local AI is driving the biggest change in laptops in decades
(spectrum.ieee.org)
by
barqawiz
4 days ago |
252 comments
45
Ask HN: Pivot from SWE to What?
by
aupra
a day ago |
29 comments
ask
94
I rebuilt FlashAttention in Triton to understand the performance archaeology
(aminediro.com)
by
amindiro
5 days ago |
17 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
92
Towards a secure peer-to-peer app platform for Clan
(clan.lol)
by
throawayonthe
3 days ago |
27 comments
489
It's Always TCP_NODELAY
(brooker.co.za)
by
eieio
4 days ago |
175 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
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
37
Show HN: A local-first, reversible PII scrubber for AI workflows
(medium.com)
by
tjruesch
2 days ago |
13 comments
279
The biggest CRT ever made: Sony's PVM-4300
(dfarq.homeip.net)
by
giuliomagnifico
4 days ago |
184 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
21
Unix V4 Update
(irreal.org)
by
tsenturk
a day ago |
1 comments
492
The Illustrated Transformer
(jalammar.github.io)
by
auraham
4 days ago |
88 comments
5
Vulcain: HTTP/2 server push for fast and idiomatic client-driven REST APIs
(github.com)
by
fanf2
8 hours ago |
discuss