❓
page 9 of active
dark mode
like terraform but in lean 4
Like Terraform, but in Lean 4
(ngrislain.github.io)
Ⓣ
·
6 points
·
2 comments
·
21½ hours ago 
by ngrislain
⏱️ 16 minutes
AI Cold Showers
(reyes.sh)
Ⓣ
Ⓑ
Ⓒ
·
77 points
·
12 comments
·
1 day ago 
by mooreds
⏱️ 3 minutes
i made a series of creativefake captchas
I made a series of creative/​fake captchas
(nuth.ing)
Ⓝ
·
2 points
·
1 comment
·
4¾ hours ago 
by SouthWestAtlas
i read all 22 gb of my codex conversations byte by byte 71 was screenshots
I read all 22 GB of my Codex conversations byte by byte. 71% was screenshots
(dzgapp.com)
3 points
·
1 comment
·
6¼ hours ago 
by yg1112
When was the last time RAM was this expensive?
(sk500.online)
Ⓝ
·
4 points
·
2 comments
·
6 hours ago 
by airhangerf15
⏱️ 3 minutes
GTP6-​Astra-​Low in Codex launched a rocket in Factorio, on track for next planet
(reddit.com)
3 points
·
2 comments
·
7¾ hours ago 
by psihius
Ask HN: Is JavaScript as insecure as ActiveX was at the peak?
Ⓝ
·
2 points
·
2 comments
·
5¼ hours ago 
by roschdal
what happened to compuserve
What Happened to Compuserve?
(dfarq.homeip.net)
Ⓣ
·
11 points
·
4 comments
·
7¾ hours ago 
by jnord
⏱️ 4 minutes
slimvim vim as one translation unit
Slim-​Vim: Vim as one translation unit
(github.com)
Ⓝ
·
1 point
·
0 comments
·
5½ hours ago 
by liszper
⏱️ 1 minute
show hn grith syscalllevel supervision for ai agents
Show HN: Grith – syscall-​level supervision for AI agents
(github.com)
3 points
·
1 comment
·
6½ hours ago 
by edf13
⏱️ 1 minute
show hn a kpa to psi converter for quick pressure conversions
Show HN: A kPa to PSI converter for quick pressure conversions
(kpatopsi.com)
Ⓝ
·
1 point
·
2 comments
·
5¾ hours ago 
by basharmalanwari
Training a GPT from scratch in C on a RISC-​V MCU with no FPU, in 37KB of code
(rvembedded.com)
Ⓝ
·
4 points
·
2 comments
·
6 hours ago 
by armstrongsubero
⏱️ 13 minutes
venus may have been temperate and potentially habitable for most of its history
Venus may have been temperate and potentially habitable for most of its history
(spacedaily.com)
2 points
·
2 comments
·
13¾ hours ago 
by bryanrasmussen
⏱️ 7 minutes
gnu radio world
GNU Radio World
(gnuradioworld.com)
Ⓝ
·
2 points
·
1 comment
·
6 hours ago 
by rfdsp
i believe in traditional gender roles
I Believe in Traditional Gender Roles
(substack.com)
1 point
·
1 comment
·
9 hours ago 
by Tomte
⏱️ 2 minutes
we rebuilt the old google analytics on top of ga4x27s data
We rebuilt the old Google Analytics on top of GA4's data
(github.com)
3 points
·
0 comments
·
8½ hours ago 
by LambrosPhotios
⏱️ 1 minute
outrageously small neural networks emergent basic reasoning at 6616 toksec pdf
Outrageously Small Neural Networks: Emergent Basic Reasoning at 6,616 tok/​SEC [pdf]
(huggingface.co)
4 points
·
3 comments
·
18¾ hours ago 
by Anon84
show hn cudagraphics in qemukvm vms without passing the nvidia card to them
Show HN: CUDA/​graphics in QEMU-​KVM VMs without passing the Nvidia card to them
(github.com)
4 points
·
2 comments
·
7½ hours ago 
by reindertpelsma
⏱️ 4 minutes
novus a selfimproving ai agent that lives on an android phone
Novus – A self-​improving AI agent that lives on an Android phone
(github.com)
2 points
·
1 comment
·
7¼ hours ago 
by RexHuang
⏱️ 2 minutes
DeepSeek/​Qwen are surprisingly well at generating code for DSCI pipelines
(deepseek.com)
4 points
·
3 comments
·
13¾ hours ago 
by melezhik
page 10
top new best classic
This page was generated in 703 milliseconds at 2026-09-08T19:52:17Z.