fp.
show
Open in hackernews
Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problem
https://github.com/stormj-UH/spivak-lean
2
•
jsLavaGoat
•
2h ago
Show HN: A Claude Code skill to analyze your chess games
https://github.com/brumar/chess-postmortem-skills
59
•
brumar
•
3h ago
•
40 comments
Show HN: Reladraw – A diagram language where you decide where to place things
https://github.com/reladraw/reladraw
9
•
jpwalsh234
•
2h ago
•
0 comments
Show HN: Jev Plays Pokémon Red
https://jev-pokemon.vercel.app/
244
•
pancomplex
•
1d ago
•
98 comments
Show HN: Cocytus – an esolang where freezes after N accesses
https://github.com/fireside25a-beep/Cocytus
3
•
natgrish
•
1h ago
•
0 comments
Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problem
https://github.com/stormj-UH/spivak-lean
2
•
jsLavaGoat
•
2h ago
•
0 comments
Show HN: Jev predicting your life choices
https://quiz.seek.ws/
2
•
sdrth
•
2h ago
•
1 comments
Show HN: Hacker Atlas - A map of what Hacker News talks about
https://hackeratlas.com/
77
•
andrearitossa
•
1d ago
•
25 comments
Show HN: Make math automatic with Mathy
https://gmays.com/making-math-automatic-with-mathy/
101
•
gmays
•
5d ago
•
36 comments
Show HN: I checked 1M free proxies – 1 in 5 working ones injected scripts
https://github.com/maximilianfeix/proxy-scraper
4
•
taventix
•
5h ago
•
1 comments
Show HN: Ekselio – Loveable for finance workflows (local first)
https://www.gptbeyond.com/try?home=1
18
•
kdautaj
•
22h ago
•
4 comments
Show HN: Whiteboard (YC W26) – An open-source IDE for thoughtful software design
https://github.com/devdotfast/whiteboard
407
•
sidharthkmenon
•
2d ago
•
139 comments
Show HN: Air-gapped file encryption as self-decrypting HTML page
https://cms-sfx-demo.apeleg.com/
85
•
emurlin
•
2d ago
•
30 comments
Show HN: Jevgpt – reinventing the wheel with another wheel
23
•
kunggaochicken
•
2d ago
•
2 comments
Show HN: Koi.rest – watch some fish and regain your balance
https://koi.rest
220
•
hxii
•
1d ago
•
60 comments
Show HN: AgentRun: DSL to turn agents into workflows
https://github.com/Parcha-ai/agentrun
47
•
miguelrios
•
2d ago
•
12 comments
Show HN: Treepeat – Code similarity detection using Tree-sitter
https://github.com/dsummersl/treepeat
69
•
91awebsi
•
4d ago
•
8 comments
Show HN: Print Graph Paper
https://printgraphpaper.app/
6
•
artiomartiom
•
11h ago
•
0 comments
Show HN: Agentic CUDA Kernel Optimizer
https://github.com/bertaye/agentic-cuda-optimizer
36
•
bertaye
•
1d ago
•
11 comments
Show HN: Make cursed fonts like Times New Bastard
https://bastardica.mitpit.com
851
•
MitPitt
•
2d ago
•
123 comments
Show HN: I discovered roads in the US across > 1000 themes
https://road-about-a-theme.pinedesk.biz/
12
•
91awebsi
•
1d ago
•
8 comments
Show HN: Recurse – Develop and deploy specialist agents faster
https://recurse.run
5
•
ozankabak
•
21h ago
•
4 comments
Show HN: Hamilton – a no-internet Android health dashboard, named after my dog
https://play.google.com/store/apps/details?id=com.gads.hamilton&hl=en_US
11
•
hamilton_app
•
1d ago
•
12 comments
Show HN: Gutcheck, grep for meaning with a local CPU model
https://github.com/sfmqrb/gutcheck
4
•
sfmqrb
•
13h ago
•
0 comments
Show HN: Most Hated Tools
https://www.mosthatedtools.app/
31
•
leonagano
•
2d ago
•
20 comments
Show HN: Jevlang. delegate every if/while condition to Jev
https://github.com/RoyWiggins/jevlang
4
•
roywiggins
•
15h ago
•
0 comments
Show HN: Avoid smooth spinners, use low-FPS spinners
https://nh2.me/low-fps-spinners/low-fps-spinners.html
23
•
nh2
•
1d ago
•
27 comments
Show HN: Drop – A rootless Linux sandbox with gVisor support
https://droprun.sh/
189
•
mixedbit
•
4d ago
•
63 comments
Show HN: Paper-docx – agent-native Python-docx fork with 78% fewer DOCX failures
https://github.com/paper-instruments/paper-docx
6
•
i_rush_carriers
•
1d ago
•
0 comments
Show HN: JevBench, a reproducible benchmark for typed decision models
https://benchmarkheaven.com/jev-models
148
•
florianstandhar
•
4d ago
•
38 comments
Show HN: Doom or Bloom, map your AI worldview
https://www.doom-or-bloom.com
56
•
transitivebs
•
1d ago
•
48 comments
Load More