fp.

Show HN: MDV – a Markdown superset for docs, dashboards, and slides with data

https://github.com/drasimwagan/mdv

102•drasim•13h ago•37 comments

Show HN: SmallDocs – Markdown without the frustrations

67•FailMore•3d ago•30 comments

Show HN: I made a calculator that works over disjoint sets of intervals

https://victorpoughon.github.io/interval-calculator/

295•fouronnes3•1d ago•50 comments

Show HN: AI Subroutines – Run automation scripts inside your browser tab

https://www.rtrvr.ai/blog/ai-subroutines-zero-token-deterministic-automation

37•arjunchint•1d ago•8 comments

Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean

https://github.com/mmaaz-git/sostactic

6•mmaaz•6h ago•0 comments

Show HN: Smol machines – subsecond coldstart, portable virtual machines

https://github.com/smol-machines/smolvm

449•binsquare•1d ago•136 comments

Show HN: Figma-style visual editor for multi-agent choreography

https://github.com/dance-of-tal/dot-studio

2•monarchjuno•5h ago•0 comments

Show HN: PanicLock – Close your MacBook lid disable TouchID –> password unlock

https://github.com/paniclock/paniclock/

246•seanieb•1d ago•109 comments

Show HN: Sfsym – Export Apple SF Symbols as Vector SVG/PDF/PNG

https://github.com/yapstudios/sfsym

24•olliewagner•1d ago•7 comments

Show HN: AWS's Kiro just got an Open source Codex

https://github.com/thabti/kirodex

4•sovietism•6h ago•0 comments

Show HN: Stage – Putting humans back in control of code review

https://stagereview.app/

119•cpan22•2d ago•106 comments

Show HN: Coelanox – auditable inference runtime in Rust (BERT runs today)

https://www.coelanox.com/

2•Shark1n4Suit•8h ago•0 comments

Show HN: MacMind – A transformer neural network in HyperCard on a 1989 Macintosh

https://github.com/SeanFDZ/macmind

155•hammer32•2d ago•42 comments

Show HN: OCI MicroVMs for Proxmox VE

https://github.com/rcarmo/pve-microvm

7•rcarmo•10h ago•3 comments

Show HN: Praxis – Lab data to publication-ready figures in one Python package

https://github.com/zmtsikriteas/praxis

2•zmtsikriteas•10h ago•0 comments

Show HN: DOMPrompter – click a DOM element, get a structured AI coding prompt

4•witnote•11h ago•0 comments

Show HN: I can't write Python. It works anyway

https://github.com/Wewoc/Garmin_Local_Archive

6•Wewoc•20h ago•4 comments

Show HN: WebGL Liminal Space

https://liminal-dwsw5.ondigitalocean.app/

2•5fc3b4•11h ago•0 comments

Show HN: SPICE simulation → oscilloscope → verification with Claude Code

https://lucasgerads.com/blog/lecroy-mcp-spice-demo/

119•_fizz_buzz_•2d ago•32 comments

Show HN: Rapid-MLX – Run local LLMs on Mac, 2-3x faster than alternatives

https://github.com/raullenchai/Rapid-MLX

6•raullen•14h ago•0 comments

Show HN: Marky – A lightweight Markdown viewer for agentic coding

https://github.com/GRVYDEV/marky

70•GRVYDEV•2d ago•35 comments

Show HN: Pyra – a Python toolchain experiment inspired by uv and Bun

https://github.com/treyorr/pyra

8•trey-orr•1d ago•3 comments

Show HN: Home Memory – A local DB of my house, down to cables and pipes

https://github.com/impactjo/home-memory

52•impactjo•2d ago•13 comments

Show HN: Pvm – A TUI to browse and run commands across multiple Python venvs

https://github.com/Higangssh/pvm

5•swq115•16h ago•0 comments

Show HN: Llama.cpp Tutorial 2026: Run GGUF Models Locally on CPU and GPU

10•anju-kushwaha•1d ago•2 comments

Show HN: Libretto – Making AI browser automations deterministic

https://github.com/saffron-health/libretto

131•muchael•3d ago•57 comments

Show HN: Link Shortener – Itlinks.me

https://itlinks.me

2•IgorStojanov•17h ago•3 comments

Show HN: I built Panda to get up to 99% token savings

https://github.com/AssafWoo/homebrew-pandafilter

4•AssafPetronio•19h ago•3 comments

Show HN: Hiraeth – AWS Emulator

https://github.com/SethPyle376/hiraeth

39•ozarkerD•3d ago•9 comments

Show HN: I turned my MacBook notch into a live Claude Code dashboard

https://github.com/devmegablaster/Notch-Pilot

7•devmegablaster•1d ago•1 comments