Login
故事
< prev
page 8
more >
Loading...
477
AI will make formal verification go mainstream
(martin.kleppmann.com)
by
evankhoury
9 hours ago |
232 comments
703
alpr.watch
(alpr.watch)
by
theamk
13 hours ago |
346 comments
523
No Graphics API
(sebastianaaltonen.com)
by
ryandrake
11 hours ago |
96 comments
447
Announcing the Beta release of ty
(astral.sh)
by
gavide
9 hours ago |
86 comments
24
VA Linux: The biggest dotcom IPO
(dfarq.homeip.net)
by
giuliomagnifico
6 days ago |
5 comments
384
GPT Image 1.5
(openai.com)
by
charlierguo
12 hours ago |
184 comments
576
Pricing Changes for GitHub Actions
(resources.github.com)
by
kevin-david
13 hours ago |
641 comments
51
Introduction to Software Development Tooling (2024)
(bernsteinbear.com)
by
vismit2000
5 hours ago |
4 comments
215
No AI* Here – A Response to Mozilla's Next Chapter
(waterfox.com)
by
MrAlex94
8 hours ago |
126 comments
121
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
(simonwillison.net)
by
pbowyer
7 hours ago |
68 comments
21
Show HN: Titan – JavaScript-first framework that compiles into a Rust server
(npmjs.com)
by
soham_byte
6 days ago |
8 comments
468
Mozilla appoints new CEO Anthony Enzor-Demeo
(blog.mozilla.org)
by
recvonline
16 hours ago |
721 comments
423
40 percent of fMRI signals do not correspond to actual brain activity
(tum.de)
by
geox
17 hours ago |
179 comments
6
Various locale mismatch scenarios in Windows clipboard text format synthesis
(devblogs.microsoft.com)
by
ibobev
5 days ago |
1 comments
399
Thin desires are eating life
(joanwestenberg.com)
by
mitchbob
a day ago |
162 comments
54
Dafny: Verification-Aware Programming Language
(dafny.org)
by
handfuloflight
7 hours ago |
23 comments
Sei AI (YC W22) Is Hiring
(ycombinator.com)
Sei AI (YC W22) Is Hiring
job
31
Testing a cheaper laminar flow hood
(chillphysicsenjoyer.substack.com)
by
surprisetalk
4 days ago |
6 comments
157
Japan to revise romanization rules for first time in 70 years
(japantimes.co.jp)
by
rgovostes
21 hours ago |
134 comments
10
A Guide to Magnetizing N48 Magnets in Ansys Maxwell
(blog.ozeninc.com)
by
peter_d_sherman
2 hours ago |
discuss
240
Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
(gamehistory.org)
by
wicket
17 hours ago |
39 comments
44
Show HN: Learn Japanese contextually while browsing
(lingoku.ai)
by
englishcat
5 hours ago |
24 comments
105
The World Happiness Report is beset with methodological problems
(yaschamounk.substack.com)
by
thatoneengineer
a day ago |
125 comments
174
Nvidia Nemotron 3 Family of Models
(research.nvidia.com)
by
ewt-nv
2 days ago |
32 comments
74
Chat-tails: Throwback terminal chat, built on Tailscale
(tailscale.com)
by
nulbyte
9 hours ago |
13 comments
100
Writing a blatant Telegram clone using Qt, QML and Rust. And C++
(kemble.net)
by
tempodox
15 hours ago |
58 comments
11
Twin suction turbines and 3-Gs in slow corners? Meet the DRG-Lola
(arstechnica.com)
by
PaulHoule
6 days ago |
3 comments
19
FTX insider Caroline Ellison has been moved out of prison
(businessinsider.com)
by
harambae
an hour ago |
2 comments
132
Show HN: Sqlit – A lazygit-style TUI for SQL databases
(github.com)
by
MaxTeabag
2 days ago |
19 comments
175
Rust GCC backend: Why and how
(blog.guillaume-gomez.fr)
by
ahlCVA
17 hours ago |
100 comments