Login
故事
< prev
page 8
more >
Loading...
58
Designing Predictable LLM-Verifier Systems for Formal Method Guarantee
(arxiv.org)
by
PaulHoule
3 days ago |
12 comments
55
Ask HN: Loneliness at 19, how to cope?
by
yresting
2 days ago |
95 comments
ask
8
Francesca Albanese and the Lonely Road of Defiance
(chrishedges.substack.com)
by
chmaynard
9 hours ago |
discuss
31
Koine
(github.com)
by
handfuloflight
5 days ago |
8 comments
163
Hungry Fat Cells Could Someday Starve Cancer
(ucsf.edu)
by
mrtnmrtn
3 days ago |
51 comments
308
Janet Jackson had the power to crash laptop computers (2022)
(devblogs.microsoft.com)
by
montalbano
4 days ago |
124 comments
148
Inside the proton, the ‘most complicated thing you could possibly imagine’ (2022)
(quantamagazine.org)
by
tzury
4 days ago |
61 comments
688
How we lost communication to entertainment
(ploum.net)
by
8organicbits
4 days ago |
394 comments
328
Ask HN: What did you read in 2025?
by
kwar13
5 days ago |
435 comments
ask
99
Splice a Fibre
(react-networks-lib.rackout.net)
by
matt-p
4 days ago |
43 comments
14
Cheap Solar Is Transforming Lives and Economies Across Africa
(nytimes.com)
by
JumpCrisscross
14 hours ago |
1 comments
440
Gpg.fail
(gpg.fail)
by
todsacerdoti
4 days ago |
353 comments
152
Show HN: Xcc700: Self-hosting mini C compiler for ESP32 (Xtensa) in 700 lines
(github.com)
by
isitcontent
5 days ago |
36 comments
929
Maybe the default settings are too high
(raptitude.com)
by
htk
5 days ago |
320 comments
27
Formulaic Delimiters in the Iliad and the Odyssey
(glthr.com)
by
glth
4 days ago |
13 comments
4
Show HN: Lazy-image – Node.js image library with static binaries (Rust/NAPI)
(github.com)
by
einshutoin
a day ago |
1 comments
30
Show HN: Zs3 – S3 server in ~1K lines of Zig, 250KB binary, zero dependencies
(github.com)
by
lulzx
2 days ago |
1 comments
10
Meta Superintelligence Labs acquires Manus AI for –$4B, 9 months after launch
(news.smol.ai)
by
swyx
a day ago |
2 comments
225
MiniMax M2.1: Built for Real-World Complex Tasks, Multi-Language Programming
(minimaxi.com)
by
110
5 days ago |
81 comments
131
Spherical Cow
(lib.rs)
by
Natfan
2 days ago |
20 comments
415
Show HN: Ez FFmpeg – Video editing in plain English
(npmjs.com)
by
josharsh
4 days ago |
197 comments
9
Mini Rack: The Homelab Rabbit Hole
(gquetel.fr)
by
todsacerdoti
2 days ago |
1 comments
6
New brain implant restores lost senses using light
(newatlas.com)
by
thunderbong
13 hours ago |
discuss
7
I gave Claude Code the ability to run its own radio show 24/7
(khaledeltokhy.com)
by
eltokh7
a day ago |
8 comments
206
Toll roads are spreading in America
(economist.com)
by
smurda
4 days ago |
682 comments
6
Experiments with Ableton-MCP
(jhurliman.org)
by
jhurliman
a day ago |
discuss
123
Unix "find" expressions compiled to bytecode
(nullprogram.com)
by
rcarmo
5 days ago |
18 comments
98
How we automated federal retirements
(ndstudio.gov)
by
caseysoftware
4 days ago |
98 comments
280
Rainbow Six Siege hacked as players get billions of credits and random bans
(shanethegamer.com)
by
erhuve
4 days ago |
150 comments
4
Binaries: I thunk therefore I am
(fzakaria.com)
by
ingve
a day ago |
discuss