frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Show HN: Growl Owl 2 RL Reasoner

https://github.com/Trivyn/growl
3•jcadam•1h ago
GROWL is an OWL 2 RL reasoner I've made using a programming language I've been working on that emphasizes contracts (called SLOP).

Blog post on GROWL: https://jamesadam.me/blog/introducing-growl/

The Repo: https://github.com/Trivyn/growl

The custom language transpiles to C, so the generated C source and Makefile are included in the repo.

I built this to integrate into a Knowledge Graph product I'm working on (hence the Rust bindings), but thought I'd open source the reasoner.

Show HN: Echo, an iOS SSH+mosh client built on Ghostty

https://replay.software/updates/introducing-echo
45•sgottit•57m ago•19 comments

Show HN: VectorNest responsive web-based SVG editor

https://ekrsulov.github.io/vectornest/
50•ekrsulov•4h ago•16 comments

Show HN: Formally verified FPGA watchdog for AM broadcast in unmanned tunnels

https://github.com/Park07/amradio
39•anonymoosestdnt•4h ago•13 comments

Show HN: CEL by Example

https://celbyexample.com/
49•bufbuild•5h ago•21 comments

Show HN: Strava for Claude Code

https://straude.com/
2•ohong•7m ago•0 comments

Show HN: Trust Protocols for Anthropic/OpenAI/Gemini

https://www.mnemom.ai
23•alexgarden•3h ago•11 comments

Show HN: I'm launching a LPFM radio station

https://www.kpbj.fm/
77•solomonb•23h ago•46 comments

Show HN: A browser-based search engine with 25ms query latency

https://github.com/JustaNormalComputer-Guy/JustaNormalComputer-Guy.github.io
3•lipzo14•1h ago•2 comments

Show HN: Keystone – configure Dockerfiles and dev containers for any repo

https://github.com/imbue-ai/keystone
6•thad_imbue•1h ago•0 comments

Show HN: Design Token Spec Implemented

https://github.com/dispersa-core/dispersa
3•daschaa•1h ago•0 comments

Show HN: Growl Owl 2 RL Reasoner

https://github.com/Trivyn/growl
3•jcadam•1h ago•0 comments

Show HN: Wakapadi – Meet locals and travelers nearby and join free walking tours

https://www.wakapadi.io/
2•CodePapi_•1h ago•0 comments

Show HN: Hardware.dog: automated schematic and PCB review

https://www.hardware.dog/
2•ariwasch•1h ago•0 comments

Show HN: Breadboard – A modern HyperCard for building web apps on the canvas

https://breadboards.io/
68•simquat•2d ago•7 comments

Show HN: Nonograms – Friends-only puzzle room with replays and leaderboards

https://nonograms.siraben.dev/
5•siraben•2h ago•0 comments

Show HN: Agent Paperclip: A Desktop "Clippy" That Monitors Claude Code/Codex

https://github.com/fredruss/agent-paperclip
2•fredrussias•2h ago•0 comments

Show HN: Open Notes – Community Notes-style context for Discord

https://opennotes.ai/discord-bot
18•anateus•4d ago•4 comments

Show HN: DovahScript – A language for the Thu'um-powered developer

https://github.com/basteez/DovahScript
2•basteez•2h ago•0 comments

Show HN: I replaced Grafana+Prometheus with a Go binary and SSH for my VPSs

https://github.com/thobiasn/tori-cli
3•thobiasn•2h ago•0 comments

Show HN: AsteroidOS 2.0 – Nobody asked, we shipped anyway

https://asteroidos.org/news/2-0-release/index.html
444•moWerk•1d ago•64 comments

Show HN: Bubble sort on a Turing machine

https://github.com/purplejacket/bubble_sort_on_tm
11•purplejacket•4d ago•2 comments

Show HN: Nom – Turn GitHub activity into updates

https://beta.nomit.dev
2•Lws803•3h ago•0 comments

Show HN: LockFS

https://github.com/ghost-in-a-jar-00/LockFS
2•0xGhostInAJar•3h ago•1 comments

Show HN: The Answering Machine – A screenless AI phone for kids with questions

https://tdaltonc.github.io/the-answering-machine/
8•tdaltonc•3h ago•6 comments

Show HN: Syncpack v14, Monorepo CLI tool

https://syncpack.dev/
2•fold_left•45m ago•0 comments

Show HN: Pg-typesafe – Strongly typed queries for PostgreSQL and TypeScript

https://github.com/n-e/pg-typesafe
65•n_e•1d ago•32 comments

Show HN: I taught LLMs to play Magic: The Gathering against each other

https://mage-bench.com/
110•GregorStocks•1d ago•82 comments

Show HN: I built a "Socratic" AI to stop my daughter from copy-pasting homework

https://thinkqurio.com/
25•qurio_dev•2d ago•25 comments

Show HN: I Made a Programming Language with Python Syntax, zero-copy and C-Speed

https://github.com/CrimsonDemon567PC/Mantis
7•CrimsonDemon567•10h ago•7 comments

Show HN: TUI open-source Python tool for network discovery and port auditing

https://github.com/mennylevinski/network_scanner
2•mennylevinski•4h ago•0 comments