Login
故事
< prev
page 9
more >
Loading...
39
Combinatorial Games in Lean
(github.com)
by
wertyk
5 days ago |
4 comments
117
Show HN: Beautiful Type Erasure with C++26 Reflection
(ryanjk5.github.io)
by
RyanJK5
2 days ago |
58 comments
8
Rzk: A Proof Assistant for Synthetic ∞-Categories
(arxiv.org)
by
Jimmc414
a day ago |
discuss
15
Treating generic drugs as something special can wreck affordability
(46brooklyn.com)
by
toomuchtodo
a day ago |
1 comments
10
Accelerating Block Low-Rank Foundation Model Inference on MemoryConstrained GPUs
(dl.acm.org)
by
matt_d
18 hours ago |
discuss
86
British Steel taken into public ownership to protect 'vital' UK supply
(bbc.com)
by
clarionbell
8 hours ago |
163 comments
8
OpenBSD/loongson hardware platform retired
(undeadly.org)
by
peter_hansteen
10 hours ago |
1 comments
67
The Second Life of Sanskrit
(openthemagazine.com)
by
bookofjoe
5 days ago |
70 comments
6
Reverse-engineering a forgotten 80s arcade game for the Taito SJ System
(fippi.io)
by
fippi
18 hours ago |
1 comments
563
Apple's new SpeechAnalyzer API, benchmarked against Whisper and its predecessor
(get-inscribe.com)
by
get-inscribe
3 days ago |
238 comments
16
Odin 2 Portal Exploded
(github.com)
by
dcu
a day ago |
1 comments
6
We are officially writing a new version of Postgres. in Rust
(twitter.com)
by
tosh
6 hours ago |
1 comments
9
Google and Epic give up fighting – third-party Android app stores are coming
(theverge.com)
by
pmontra
9 hours ago |
discuss
544
Building and shipping Mac and iOS apps without opening Xcode
(scottwillsey.com)
by
speckx
3 days ago |
231 comments
28
Surprising lessons from my research scientist job search
(yongzx.github.io)
by
gmays
6 days ago |
3 comments
147
Linux on the Sega 32X. Who needs hardware synchronization primitives anyway?
(cakehonolulu.github.io)
by
cakehonolulu
3 days ago |
32 comments
107
Is x86 ready to ACE it?
(chipsandcheese.com)
by
mfiguiere
3 days ago |
31 comments
91
No Spanish reading crisis?
(commonreader.co.uk)
by
jruohonen
2 days ago |
137 comments
3
MongoDB v. FerretDB: When Open Source Compatibility Becomes a Patent Risk
(shujisado.org)
by
Brajeshwar
6 hours ago |
discuss
5
GPT-5.6 unexpected file deletions
(twitter.com)
by
lobo_tuerto
6 hours ago |
1 comments
153
The zero-cost fallacy: open-source software in the agentic era
(thoughtworks.com)
by
backlit4034
6 days ago |
134 comments
6
U.S. approval of giant 'space mirror' satellite alarms astronomers
(scientificamerican.com)
by
saikatsg
6 hours ago |
3 comments
38
Show HN: For 10 World Cups, my model's 2 favorites had the champion every time
(papers.ssrn.com)
by
fabioricardo7
a day ago |
52 comments
8
Kilo Code has been acquired by Anaconda
(anaconda.com)
by
doanbactam
19 hours ago |
3 comments
5
US-style tipping culture came to London
(londoncentric.media)
by
BerislavLopac
6 hours ago |
discuss
148
The Economics of Recursive Self-Improvement [pdf]
(elasticity.institute)
by
apsec112
3 days ago |
97 comments
8
Most Supreme Court Rulings Are Secretive Votes with Little Justification
(propublica.org)
by
hn_acker
8 hours ago |
2 comments
108
Microsoft Confirms Windows GDID Device Identifier That Cannot Be Disabled
(ghacks.net)
by
robtherobber
a day ago |
54 comments
4
Eric S. Raymond take on AI
(twitter.com)
by
lobo_tuerto
6 hours ago |
1 comments
99
World-First 'Super Alloy' Could Transform the Way Metals Are Made
(sciencealert.com)
by
tejohnso
7 days ago |
59 comments