Login
故事
< prev
page 7
more >
Loading...
780
Leanstral: Open-source agent for trustworthy coding and formal proof engineering
(mistral.ai)
by
Poudlardo
4 days ago |
192 comments
14
The Power of Playtesting in the Classroom
(landenlove.com)
by
LandenLove
4 days ago |
9 comments
171
Edge.js: Run Node apps inside a WebAssembly sandbox
(wasmer.io)
by
syrusakbary
3 days ago |
46 comments
1454
Kagi Translate now supports LinkedIn Speak as an output language
(translate.kagi.com)
by
smitec
4 days ago |
341 comments
204
The math that explains why bell curves are everywhere
(quantamagazine.org)
by
ibobev
4 days ago |
124 comments
106
A ngrok-style secure tunnel server written in Rust and Open Source
(github.com)
by
joaoh82
2 days ago |
36 comments
336
Show HN: Claude Code skills that build complete Godot games
(github.com)
by
htdt
4 days ago |
205 comments
81
Kagi is contemplating the removal of the assistant from its professional tier
(kagifeedback.org)
by
EbNar
2 days ago |
106 comments
1003
Bill C-22, the Lawful Access Act: Dangerous backdoor surveillance risks remain
(michaelgeist.ca)
by
opengrass
5 days ago |
332 comments
274
Show HN: Will my flight have Starlink?
by
bblcla
2 days ago |
361 comments
3
Structural Friction: A metric for human coordination cost
by
davidvartanian
10 hours ago |
discuss
41
A BEAM-native personal autonomous AI agent built on Elixir/OTP
(github.com)
by
ahamez
2 days ago |
1 comments
125
Show HN: Pgit – A Git-like CLI backed by PostgreSQL
(oseifert.ch)
by
ImGajeed76
4 days ago |
61 comments
37
A comprehensive database of categories and their properties
(catdat.app)
by
mathgenius
2 days ago |
1 comments
219
Beyond has dropped “meat” from its name and expanded its high-protein drink line
(plantbasednews.org)
by
rmason
4 days ago |
587 comments
409
Death to Scroll Fade
(dbushell.com)
by
PaulHoule
2 days ago |
208 comments
10
Getting Ziggy with It – Re: Factor
(re.factorcode.org)
by
birdculture
12 hours ago |
1 comments
468
Get Shit Done: A meta-prompting, context engineering and spec-driven dev system
(github.com)
by
stefankuehnel
3 days ago |
252 comments
179
Building a Shell
(healeycodes.com)
by
ingve
3 days ago |
39 comments
55
Launch HN: Kita (YC W26) – Automate credit review in emerging markets
by
rheamalhotra1
3 days ago |
14 comments
84
Stdwin: Standard window interface by Guido Van Rossum [pdf]
(ir.cwi.nl)
by
ivanbelenky
3 days ago |
55 comments
6
Chuck Norris Has Died
(nytimes.com)
by
smugma
7 hours ago |
2 comments
32
An industrial piping contractor on Claude Code [video]
(twitter.com)
by
mighty-fine
2 days ago |
4 comments
86
Show HN: Tmux-IDE, OSS agent-first terminal IDE
(tmux.thijsverreck.com)
by
thijsverreck
2 days ago |
37 comments
387
Unsloth Studio
(unsloth.ai)
by
brainless
3 days ago |
82 comments
572
Every layer of review makes you 10x slower
(apenwarr.ca)
by
greyface-
4 days ago |
316 comments
75
How the Eon Team Produced a Virtual Embodied Fly
(eon.systems)
by
LopRabbit
5 days ago |
23 comments
229
Lazycut: A simple terminal video trimmer using FFmpeg
(github.com)
by
masterpos
4 days ago |
65 comments
24
The miracle of PowerToys, Microsoft's last great Windows app
(fastcompany.com)
by
Foe
18 hours ago |
10 comments
22
FastAPI-compatible Python framework with Zig HTTP core; 7x faster
(github.com)
by
vaibhav3002
2 days ago |
8 comments