Login
故事
< prev
page 3
more >
Loading...
99
Dafny: Verification-Aware Programming Language
(dafny.org)
by
handfuloflight
a day ago |
33 comments
48
AI capability isn't humanness
(research.roundtable.ai)
by
mdahardy
11 hours ago |
50 comments
209
Full Unicode Search at 50× ICU Speed with AVX‑512
(ashvardanian.com)
by
ashvardanian
2 days ago |
75 comments
583
Mozilla appoints new CEO Anthony Enzor-Demeo
(blog.mozilla.org)
by
recvonline
2 days ago |
883 comments
190
Rust GCC backend: Why and how
(blog.guillaume-gomez.fr)
by
ahlCVA
2 days ago |
121 comments
492
40 percent of fMRI signals do not correspond to actual brain activity
(tum.de)
by
geox
2 days ago |
201 comments
263
Purrtran – ᓚᘏᗢ – A Programming Language for Cat People
(github.com)
by
simonpure
4 days ago |
36 comments
248
Bonsai: A Voxel Engine, from scratch
(github.com)
by
jesse__
2 days ago |
43 comments
32
Living Particle System
(creative-art-points.vercel.app)
by
lovegrenoble
5 days ago |
3 comments
35
P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems
(github.com)
by
Davidbrcz
20 hours ago |
5 comments
62
Testing a cheaper laminar flow hood
(chillphysicsenjoyer.substack.com)
by
surprisetalk
5 days ago |
17 comments
131
Writing a blatant Telegram clone using Qt, QML and Rust. And C++
(kemble.net)
by
tempodox
2 days ago |
85 comments
71
VRChat: “There are more Japanese creators than all other countries combined”
(twitter.com)
by
numpad0
8 hours ago |
56 comments
94
Pizlix: Memory Safe Linux from Scratch
(fil-c.org)
by
nullbyte808
4 days ago |
26 comments
96
Chat-tails: Throwback terminal chat, built on Tailscale
(tailscale.com)
by
nulbyte
a day ago |
22 comments
13
Semiquincentennial $1 Coin Candidate Designs
(usmint.gov)
by
DustinEchoes
4 hours ago |
9 comments
14
OpenAI Is Maneuvering for a Government Bailout
(prospect.org)
by
boh
5 hours ago |
5 comments
121
The biggest heat pumps
(bbc.com)
by
rayhaanj
2 days ago |
175 comments
40
Playing Santa changed Bob Rutan profoundly
(esquire.com)
by
Lightbody
4 days ago |
15 comments
434
Ask HN: What Are You Working On? (December 2025)
by
david927
3 days ago |
1420 comments
ask
154
A2UI: A Protocol for Agent-Driven Interfaces
(a2ui.org)
by
makeramen
2 days ago |
68 comments
17
Short-Circuiting Correlated Subqueries in SQLite
(emschwartz.me)
by
emschwartz
17 hours ago |
discuss
124
FVWM-95 (2001)
(fvwm95.sourceforge.net)
by
mghackerlady
a day ago |
95 comments
84
Canada's Carney called out for 'utilizing' British spelling
(bbc.com)
by
haunter
2 days ago |
230 comments
50
Nvidia plans heavy cuts to GPU supply in early 2026
(overclock3d.net)
by
tareqak
11 hours ago |
19 comments
160
ArkhamMirror: Airgapped investigation platform with CIA-style hypothesis testing
(github.com)
by
ArkhamMirror
2 days ago |
56 comments
127
Overconsumption is a spiritual problem
(sherryning.com)
by
speckx
2 days ago |
97 comments
119
A brief history of Times New Roman
(typographyforlawyers.com)
by
tosh
2 days ago |
66 comments
27
Various locale mismatch scenarios in Windows clipboard text format synthesis
(devblogs.microsoft.com)
by
ibobev
6 days ago |
7 comments
275
Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
(gamehistory.org)
by
wicket
2 days ago |
45 comments