Login
故事
< prev
page 1
more >
Loading...
535
AI will make formal verification go mainstream
(martin.kleppmann.com)
by
evankhoury
10 hours ago |
269 comments
727
alpr.watch
(alpr.watch)
by
theamk
15 hours ago |
353 comments
561
No Graphics API
(sebastianaaltonen.com)
by
ryandrake
12 hours ago |
101 comments
495
Announcing the Beta release of ty
(astral.sh)
by
gavide
11 hours ago |
91 comments
44
VA Linux: The biggest dotcom IPO
(dfarq.homeip.net)
by
giuliomagnifico
6 days ago |
10 comments
18
Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025
(plasticsoldierreview.com)
by
YeGoblynQueenne
4 days ago |
5 comments
Subsets (YC S23) is hiring engineers in Copenhagen, Denmark
(workatastartup.com)
Subsets (YC S23) is hiring engineers in Copenhagen, Denmark
job
407
GPT Image 1.5
(openai.com)
by
charlierguo
14 hours ago |
191 comments
261
No AI* Here – A Response to Mozilla's Next Chapter
(waterfox.com)
by
MrAlex94
10 hours ago |
140 comments
601
Pricing Changes for GitHub Actions
(resources.github.com)
by
kevin-david
14 hours ago |
665 comments
66
Introduction to Software Development Tooling (2024)
(bernsteinbear.com)
by
vismit2000
6 hours ago |
4 comments
481
Mozilla appoints new CEO Anthony Enzor-Demeo
(blog.mozilla.org)
by
recvonline
18 hours ago |
735 comments
429
40 percent of fMRI signals do not correspond to actual brain activity
(tum.de)
by
geox
18 hours ago |
179 comments
435
Thin desires are eating life
(joanwestenberg.com)
by
mitchbob
a day ago |
172 comments
25
Show HN: Titan – JavaScript-first framework that compiles into a Rust server
(npmjs.com)
by
soham_byte
6 days ago |
12 comments
139
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
(simonwillison.net)
by
pbowyer
9 hours ago |
85 comments
19
A Guide to Magnetizing N48 Magnets in Ansys Maxwell
(blog.ozeninc.com)
by
peter_d_sherman
4 hours ago |
1 comments
8
Various locale mismatch scenarios in Windows clipboard text format synthesis
(devblogs.microsoft.com)
by
ibobev
5 days ago |
2 comments
176
Japan to revise romanization rules for first time in 70 years
(japantimes.co.jp)
by
rgovostes
a day ago |
143 comments
66
Dafny: Verification-Aware Programming Language
(dafny.org)
by
handfuloflight
9 hours ago |
24 comments
62
Show HN: Learn Japanese contextually while browsing
(lingoku.ai)
by
englishcat
7 hours ago |
29 comments
247
Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
(gamehistory.org)
by
wicket
19 hours ago |
39 comments
186
Nvidia Nemotron 3 Family of Models
(research.nvidia.com)
by
ewt-nv
2 days ago |
32 comments
32
Testing a cheaper laminar flow hood
(chillphysicsenjoyer.substack.com)
by
surprisetalk
4 days ago |
7 comments
112
The World Happiness Report is beset with methodological problems
(yaschamounk.substack.com)
by
thatoneengineer
a day ago |
132 comments
107
Writing a blatant Telegram clone using Qt, QML and Rust. And C++
(kemble.net)
by
tempodox
16 hours ago |
64 comments
40
FTX insider Caroline Ellison has been moved out of prison
(businessinsider.com)
by
harambae
3 hours ago |
13 comments
79
Chat-tails: Throwback terminal chat, built on Tailscale
(tailscale.com)
by
nulbyte
10 hours ago |
13 comments
134
Show HN: Sqlit – A lazygit-style TUI for SQL databases
(github.com)
by
MaxTeabag
2 days ago |
19 comments
14
Twin suction turbines and 3-Gs in slow corners? Meet the DRG-Lola
(arstechnica.com)
by
PaulHoule
6 days ago |
4 comments