Hacker Newsnew | past | comments | ask | show | jobs | submit | corysama's favoriteslogin
1.
TorchLean: Formalizing Neural Networks in Lean (leandojo.org)
104 points by matt_d 6 days ago | 20 comments
2.
Right-sizes LLM models to your system's RAM, CPU, and GPU (github.com/alexsjones)
299 points by bilsbie 5 days ago | 70 comments
3.
Verified Spec-Driven Development (VSDD) (gist.github.com)
210 points by todsacerdoti 6 days ago | 118 comments
4.
Pi – A minimal terminal coding harness (pi.dev)
608 points by kristianpaul 10 days ago | 307 comments
5.
Show HN: Chaos Monkey but for Audio Video Testing (WebRTC and UDP) (github.com/mdsadiqmd)
40 points by MdSadiqMd 12 days ago | 2 comments
6.
Show HN: TLA+ Workbench skill for coding agents (compat. with Vercel skills CLI) (github.com/younes-io)
41 points by youio 12 days ago | 4 comments
7.
Show HN: Maths, CS and AI Compendium (github.com/henryndubuaku)
88 points by HenryNdubuaku 18 days ago | 26 comments
8.
Monosketch (monosketch.io)
876 points by penguin_booze 22 days ago | 140 comments
9.
Formally Verifying PBS Kids with Lean4 (shadaj.me)
68 points by shadaj 32 days ago | 5 comments
10.
Mousefood – Build embedded terminal UIs for microcontrollers (github.com/ratatui)
244 points by orhunp_ 37 days ago | 47 comments
11.
San Francisco Graffiti (walzr.com)
214 points by walz 40 days ago | 242 comments
12.
Show HN: C From Scratch – Learn safety-critical C with prove-first methodology (github.com/speytech)
72 points by william1872 41 days ago | 12 comments
13.
Extracting verified C++ from the Rocq theorem prover at Bloomberg (bloomberg.github.io)
129 points by clarus 46 days ago | 39 comments
14.
Electricity use of AI coding agents (simonpcouch.com)
119 points by linolevan 45 days ago | 65 comments
15.
Linux kernel framework for PCIe device emulation, in userspace (github.com/cakehonolulu)
239 points by 71bw 46 days ago | 83 comments
16.
Interpreter – Offline screen translator for Japanese retro games (github.com/bquenin)
93 points by bane 64 days ago | 13 comments
17.
Ohm Editor (ohmjs.org)
42 points by andsoitis 3 months ago | 8 comments
18.
The Department of War just shot the accountants and opted for speed (steveblank.com)
304 points by ridruejo 3 months ago | 496 comments
19.
High-performance 2D graphics rendering on the CPU using sparse strips [pdf] (github.com/laurenzv)
281 points by PaulHoule 3 months ago | 35 comments
20.
Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
375 points by vitalnodo 3 months ago | 144 comments
21.
Recursive macros in C, demystified (once the ugly crying stops) (h4x0r.org)
149 points by eatonphil 4 months ago | 87 comments
22.
Resolution limit of the eye – how many pixels can we see? (nature.com)
65 points by bookofjoe 4 months ago | 56 comments
23.
Affinity Studio now free (affinity.studio)
1217 points by dagmx 4 months ago | 793 comments
24.
Show HN: Cuq – Formal Verification of Rust GPU Kernels (github.com/neelsomani)
94 points by nsomani 4 months ago | 63 comments
25.
Fast calculation of the distance to cubic Bezier curves on the GPU (pkh.me)
157 points by ux 4 months ago | 33 comments
26.
Control your Canon Camera wirelessly (github.com/julianschroden)
94 points by nklswbr 5 months ago | 22 comments
27.
SGI demos from long ago in the browser via WASM (github.com/sgi-demos)
253 points by yankcrime 5 months ago | 76 comments
28.
Claude can sometimes prove it (galois.com)
219 points by lairv 5 months ago | 69 comments
29.
Show HN: A store that generates products from anything you type in search (anycrap.shop)
1184 points by kafked 5 months ago | 333 comments
30.
FFglitch, FFmpeg fork for glitch art (ffglitch.org)
331 points by captain_bender 5 months ago | 46 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: