frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Show HN: Cocytus – an esolang where freezes after N accesses

https://github.com/fireside25a-beep/Cocytus
3•natgrish•2h ago
Malbolge was the first programming language I ever tried. Cocytus is my tribute to it (with engineering inside).

It was named after 9th circle of Dante’s Hell, and its 4 zones are semantics, i.e in Judecca every memory address has an access budget and when it runs out, its freezes.

Also the compiler is made in Cocytus and compiles itself until output is byte to byte identical across 3 stages.

Generally useless in purpose. Happy to answer your questions!

Show HN: Reladraw – A diagram language where you decide where to place things

https://github.com/reladraw/reladraw
34•jpwalsh234•2h ago•9 comments

Show HN: A Claude Code skill to analyze your chess games

https://github.com/brumar/chess-postmortem-skills
62•brumar•4h ago•44 comments

Show HN: Jev Plays Pokémon Red

https://jev-pokemon.vercel.app/
247•pancomplex•1d ago•104 comments

Show HN: Cocytus – an esolang where freezes after N accesses

https://github.com/fireside25a-beep/Cocytus
3•natgrish•2h 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•3h ago•0 comments

Show HN: Jev predicting your life choices

https://quiz.seek.ws/
3•sdrth•3h ago•2 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/
86•emurlin•2d ago•30 comments

Show HN: Jevgpt – reinventing the wheel with another wheel

24•kunggaochicken•2d ago•2 comments

Show HN: Koi.rest – watch some fish and regain your balance

https://koi.rest
221•hxii•1d ago•60 comments

Show HN: AgentRun: DSL to turn agents into workflows

https://github.com/Parcha-ai/agentrun
47•miguelrios•3d 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: Agentic CUDA Kernel Optimizer

https://github.com/bertaye/agentic-cuda-optimizer
36•bertaye•1d ago•11 comments

Show HN: Print Graph Paper

https://printgraphpaper.app/
6•artiomartiom•12h ago•0 comments

Show HN: Make cursed fonts like Times New Bastard

https://bastardica.mitpit.com
852•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•14h ago•0 comments

Show HN: Most Hated Tools

https://www.mosthatedtools.app/
31•leonagano•2d ago•20 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: Jevlang. delegate every if/while condition to Jev

https://github.com/RoyWiggins/jevlang
4•roywiggins•16h ago•0 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