N
Hacker Next
new
past
show
ask
show
jobs
submit
login
211
▲
Why don't people use formal methods? (2019)
(
hillelwayne.com
)
128 points by
Thom2503
3 days ago
|
117 comments
212
▲
Steel Bank Common Lisp version 2.6.7
(
sbcl.org
)
276 points by
tmtvl
5 days ago
|
166 comments
213
▲
JEP 401: Value Objects (Preview) merged to OpenJDK master
(
github.com
)
236 points by
mfiguiere
3 days ago
|
168 comments
214
▲
Playing Original Xbox Game Discs on a PC. Real Backward Compatibility
(
gdox.korze.org
)
15 points by
korze
1 days ago
|
2 comments
215
▲
Unearthing my 1996 windowed OS in machine code for Am29000 homebrew computer
(
nanochess.org
)
36 points by
nanochess
2 days ago
|
2 comments
216
▲
KOReader
(
koreader.rocks
)
747 points by
Cider9986
4 days ago
|
245 comments
217
▲
Getopt() but Friendlier
(
unix.dog
)
4 points by
fanf2
7 hours ago
|
0 comments
218
▲
Smevals: A small eval suite for evaluating models, prompts, and harnesses
(
simonwillison.net
)
4 points by
seahorseemoji
18 hours ago
|
1 comment
219
▲
Saber-toothed cats became inbred–and struggled to move–before they went extinct
(
science.org
)
69 points by
gmays
3 days ago
|
32 comments
220
▲
Pgtestdb's template cloning approach to testing is fast
(
brandur.org
)
67 points by
brandur
1 days ago
|
49 comments
221
▲
How to Do Great Work (2023)
(
paulgraham.com
)
89 points by
tosh
1 days ago
|
69 comments
222
▲
Logic for Programmers
(
logicforprogrammers.com
)
214 points by
_doctor_love
4 days ago
|
47 comments
223
▲
NIST Develops New Standards to Safeguard Computers Against Quantum Threats
(
nist.gov
)
4 points by
birdculture
7 hours ago
|
0 comments
224
▲
California to destroy 420000 peach trees. Del Monte closes canning facilities
(
ubirataonline.com.br
)
6 points by
NoRagrets
12 hours ago
|
0 comments
225
▲
I flagged two research papers for fake authors and both were accepted as orals
(
geospatialml.com
)
273 points by
volumes94
3 days ago
|
157 comments
226
▲
A GTK4 SSH-askpass in Zig
(
xn--gckvb8fzb.com
)
67 points by
surprisetalk
2 days ago
|
27 comments
227
▲
AT&T CEO Says He Can't Deploy Robocall Blockers Without FCC Approval. He's Wrong (2016)
(
web.archive.org
)
27 points by
dredmorbius
21 hours ago
|
11 comments
228
▲
The AI Aesthetic
(
blog.jim-nielsen.com
)
376 points by
montroser
3 days ago
|
176 comments
229
▲
RFC 8890 – The Internet is for End Users (2020)
(
mnot.net
)
130 points by
notarobot123
3 days ago
|
42 comments
230
▲
Azulejo
(
en.wikipedia.org
)
190 points by
Amorymeltzer
5 days ago
|
64 comments
231
▲
SQLite in Production: Optimizing WAL Mode, Concurrency, and VFS Layers
(
micrologics.org
)
258 points by
ankitg12
4 days ago
|
77 comments
232
▲
Show HN: CostPerPrompt – Live AI API pricing and real-workload cost calculators
(
costperprompt.com
)
20 points by
ahmed_hassan7
17 hours ago
|
8 comments
233
▲
The Art of Decision-Making (2019)
(
newyorker.com
)
46 points by
EndXA
2 days ago
|
3 comments
234
▲
Moore's Law for Everything (2021)
(
moores.samaltman.com
)
8 points by
eatitraw
19 hours ago
|
2 comments
235
▲
GCC steering committee announces AI policy
(
lwn.net
)
352 points by
arto
3 days ago
|
427 comments
236
▲
Orca-Bench: How Ready Are Language Model Agents for Oncall?
(
arxiv.org
)
30 points by
yruzin
2 days ago
|
11 comments
237
▲
A $500 RL fine-tune of a 9B open model beat frontier models on catalog review
(
fermisense.com
)
340 points by
ilreb
6 days ago
|
127 comments
238
▲
A Taxonomy of R&D Orgs
(
analogue.press
)
4 points by
arbesman
19 hours ago
|
0 comments
239
▲
Read this before you buy that TV streaming stick
(
krebsonsecurity.com
)
808 points by
speckx
3 days ago
|
545 comments
240
▲
Self-hosting Kimi K3: 20% more hardware cost, 20% better task resolution
(
aistack.imec-int.com
)
157 points by
flifenstein
4 days ago
|
47 comments
Rendered at 18:52:57 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.