progscrape: gist.github.com/marijnvanwezel/6a0cd3e79ef5684ab671586c202cc4de

Show HN: TypeScript as a proof assistant for intuitionistic propositional logic

2 months ago gist.github.com show typescript

magic namerefs

2 hours ago gist.github.com unix

Show HN: Container Use for Agents

18 hours ago github.com show

Show HN: Asciilator.com

2 days ago asciilator.com show

Show HN: Claude Composer

12 hours ago github.com show

Show HN: Fast Random Library for C++17

4 days ago github.com c++ show

Show HN: Gradle plugin for faster Java compiles

2 days ago github.com java show

Show HN: String Flux – Simplify everyday string transformations for developers

13 hours ago stringflux.io show

Show HN: Ephe – A minimalist open-source Markdown paper for today

2 days ago github.com show

Show HN: GPT image editing, but for 3D models

43 hours ago adamcad.com 3d gpt show

Show HN: Dungeon Newbie (an RPG game for total newbies)

5 days ago rodyne.com game show

Show HN: Agno – A full-stack framework for building Multi-Agent Systems

4 days ago github.com show

Show HN: Thriftled – DoorDash for local thrift stores (books and clothes first)

2 days ago thriftled.com show

A TypeScript banner

4 days ago deviantart.com javascript typescript

javascript or typescript

25 hours ago reddit.com javascript typescript

Show HN: Yet another tmux cheat sheet

4 days ago tmuxai.dev show

Show HN: A toy version of Wireshark

3 days ago news.ycombinator.com show

Show HN: Grab a Random ArXiv Paper

18 hours ago jepedersen.dk show

Show HN: Lambduck, a Functional Programming Brainfuck

12 hours ago imjakingit.github.io show

Show HN: MBCompass – Android Compass App

4 days ago github.com android show

Show HN: LLMFeeder – Browser extension to extract clean content for LLM context

2 days ago github.com llm show

Show HN: I built an OSINT tools directory

2 days ago r00m101.com show

Show HN: Verysmall.site – vibecode single page websites

45 hours ago verysmall.site show

Show HN: Patio – Rent tools, learn DIY, reduce waste

5 days ago patio.so show

Show HN: A toy version of Wireshark (student project)

3 days ago github.com show

Show HN: Hacker News historic upvote and score data

2 days ago hn.dunkirk.sh show

Show HN: Moon Phase Algorithms for C, Lua, Awk, JavaScript, etc.

4 days ago github.com algorithm awk c javascript lua show

Show HN: Slurm-web – open-source lightweight web UI for Slurm HPC/AI clusters

2 days ago slurm-web.com show web

Tests should not contain logic

3 days ago blog.snork.dev testing

Show HN: Kan.bn – An open-source alterative to Trello