frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

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