fp.

Show HN: Oberon System 3 runs natively on Raspberry Pi 3 (with ready SD card)

https://github.com/rochus-keller/OberonSystem3Native/releases

24•Rochus•1h ago•1 comments

Show HN: ReverseYC

https://rocketplace.org/reverseyc

2•remarketme•45m ago•1 comments

Show HN: Formal – Formal verification for AI-generated code using Lean 4

https://github.com/yamafaktory/formal

3•yamafaktory•1h ago•0 comments

Show HN: ApplePy – Embed and Call Swift from Python (Like PyO3, but for Swift)

https://github.com/jagtesh/ApplePy

2•sheepscreek•1h ago•1 comments

Show HN: Telegram feed reader using DNS TXT records for Iran's Internet shutdown

https://github.com/sartoopjj/thefeed

2•znano•1h ago•1 comments

Show HN: Pardonned.com – A searchable database of US Pardons

458•vidluther•1d ago•251 comments

Show HN: Real-Time OLAP Infrastructure

https://modolap.com

3•ronfriedhaber•2h ago•0 comments

Show HN: Chunk – macOS menu bar time-blocking app with Claude AI integration

https://www.chunkapp.net

2•dudleyspence•2h ago•0 comments

Show HN: Android AI agent-assistant operating your apps (no adb,PC,root,etc.)

2•sshnaidm1•3h ago•1 comments

Show HN: Uncook, the Social Network for Food

https://uncook.xyz

3•moffers•3h ago•0 comments

Show HN: Minnow – minimal now pages via chat

https://minnow.social/

3•freshman_dev•3h ago•1 comments

Show HN: Toy Python Lisp interpreters based on the 1960 McCarthy paper

https://github.com/jhud/lisp

3•disconnection•4h ago•0 comments

Show HN: Bullseye2D – A Dart library for cross-platform 2D games

https://github.com/bullseye2d/bullseye2d

3•joemanaco•6h ago•0 comments

Show HN: FluidCAD – Parametric CAD with JavaScript

https://fluidcad.io/

148•maouida•1d ago•34 comments

Show HN: macpak (Homebrew Wrapper for macOS)

https://github.com/kavindujayarathne/macpak

3•atkavindu•7h ago•1 comments

Show HN: Waffle – Native macOS terminal that auto-tiles sessions into a grid

https://waffle.baby

36•olleeolleeollee•1d ago•11 comments

Show HN: A WYSIWYG word processor in Python

https://codeberg.org/chrisecker/miniword

84•chrisecker•1d ago•37 comments

Show HN: Eve – Managed OpenClaw for work

https://eve.new/login

69•zachdive•1d ago•36 comments

Show HN: A Better Internet

https://tomclancy.info/pages/abi-a-better-internet.html

9•tclancy•19h ago•3 comments

Show HN: Marimo pair – Reactive Python notebooks as environments for agents

https://github.com/marimo-team/marimo-pair

138•manzt•4d ago•34 comments

Show HN: Minimalist template for scientific and academic resumes

https://github.com/pmichaillat/latex-cv

3•reomgdfsrtr•11h ago•2 comments

Show HN: I built a Cargo-like build tool for C/C++

https://github.com/randerson112/craft

170•randerson_112•2d ago•166 comments

Show HN: CSS Studio. Design by hand, code by agent

https://cssstudio.ai

167•SirHound•3d ago•106 comments

Show HN: Keeper – embedded secret store for Go (help me break it)

https://github.com/agberohq/keeper

63•babawere•2d ago•33 comments

Show HN: Bitcoin and Quantum Computing – a three-part research series

https://bitcoinquantum.space

5•nvk•19h ago•1 comments

Show HN: Moon simulator game, ray-casting

https://mooncraft2000.com

113•JKCalhoun•5d ago•25 comments

Show HN: Druids – Build your own software factory

https://github.com/fulcrumresearch/druids

63•etherio•3d ago•15 comments

Show HN: Jarvis for Audio Engineers

https://soorf.xyz/

2•copypirate•15h ago•0 comments

Show HN: Brutalist Concrete Laptop Stand (2024)

https://sam-burns.com/posts/concrete-laptop-stand/

786•sam-bee•5d ago•238 comments

Show HN: Git why – log your agent reasoning trace along your code

https://hexapode.github.io/git-why/

9•pierre•17h ago•0 comments