frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Show HN: C From Scratch – Learn safety-critical C with prove-first methodology

https://github.com/SpeyTech/c-from-scratch
4•william1872•2h ago
Seven modules teaching C the way safety-critical systems are actually built: MATH → STRUCT → CODE → TEST.

Each module answers one question: Does it exist? (Pulse), Is it normal? (Baseline), Is it regular? (Timing), Is it trending? (Drift), Which sensor to trust? (Consensus), How to handle overflow? (Pressure), What do we do about it? (Mode).

Every module is closed (no dependencies), total (handles all inputs), deterministic, and O(1). 83 tests passing.

Built this after 30 years in UNIX systems. Wanted something that teaches the rigour behind certified systems without requiring a decade of on-the-job learning first.

MIT licensed. Feedback welcome.

Show HN: StormWatch – Weather emergency dashboard with prep checklists

https://jeisey.github.io/stormwatch/
28•lotusxblack•7h ago•6 comments

Show HN: Open-source Figma design to code

https://github.com/vibeflowing-inc/vibe_figma
33•alepeak•20h ago•8 comments

Show HN: Reel Rogue – A browser roguelike (idler) about manipulating the odds

https://www.alt-qq.com/
3•qq-niklas•2h ago•0 comments

Show HN: Coi – A language that compiles to WASM, beats React/Vue

198•io_eric•4d ago•63 comments

Show HN: AI agent that searches the Cursor forum

https://cursor.trynia.ai/
2•jellyotsiro•2h ago•0 comments

Show HN: C From Scratch – Learn safety-critical C with prove-first methodology

https://github.com/SpeyTech/c-from-scratch
4•william1872•2h ago•0 comments

Show HN: Polymcp – Turn Any Python Function into an MCP Tool for AI Agents

14•justvugg•7h ago•4 comments

Show HN: Ask CLI – A simple tool to get help with commands from the terminal

https://github.com/david-minaya/ask
3•david-minaya•3h ago•0 comments

Show HN: I built a Mac OS App to upload your screenshots to S3

https://gofwd.to/screenfwd
2•RCM7•3h ago•0 comments

Show HN: Unicode Explorer – Explore, Search, and Export Unicode Characters

https://unicode-detector-nine.vercel.app/
4•SpyCoder77•3h ago•0 comments

Show HN: JSciPy – SciPy-inspired signal processing library for Java and Android

https://github.com/hissain/jscipy
7•hissain•6h ago•1 comments

Show HN: isometric.nyc – giant isometric pixel art map of NYC

https://cannoneyed.com/isometric-nyc/
1297•cannoneyed•2d ago•239 comments

Show HN: Pingaroo – a tiny native macOS menu bar app for network stats

https://github.com/mallochio/pingaroo
4•mallochio•5h ago•0 comments

Show HN: I made an app that blurs my screen when I slouch

https://tomjohnell.com/posturr-a-macos-app-that-blurs-your-screen-when-you-slouch/
3•tjohnell•5h ago•0 comments

Show HN: Kontra - data quality validator that avoids unnecessary full scans

https://github.com/Saevarl/Kontra
2•saevarl•5h ago•0 comments

Show HN: Text-to-video model from scratch (2 brothers, 2 years, 2B params)

https://huggingface.co/collections/Linum-AI/linum-v2-2b-text-to-video
154•schopra909•2d ago•24 comments

Show HN: Whosthere: A LAN discovery tool with a modern TUI, written in Go

https://github.com/ramonvermeulen/whosthere
272•rvermeulen98•1d ago•88 comments

Show HN: BrowserOS – "Claude Cowork" in the browser

https://github.com/browseros-ai/BrowserOS
86•felarof•2d ago•35 comments

Show HN: Remote workers find your crew

2•fcpguru•8h ago•5 comments

Show HN: S2-lite, an open source Stream Store

https://github.com/s2-streamstore/s2
76•shikhar•3d ago•19 comments

Show HN: I've been using AI to analyze every supplement on the market

https://pillser.com/
89•lilouartz•2d ago•47 comments

Show HN: New 3D Mapping website - Create heli orbits and "playable" map tours.

https://www.easy3dmaps.com/gallery
29•dobodob•1d ago•15 comments

Show HN: Giving Claude Code "hands" to deliver local files (P2P, No Cloud)

https://github.com/nuwainfo/ffl-mcp
3•bear330•14h ago•2 comments

Show HN: Sweep, Open-weights 1.5B model for next-edit autocomplete

https://huggingface.co/sweepai/sweep-next-edit-1.5B
528•williamzeng0•3d ago•151 comments

Show HN: Mastra 1.0, open-source JavaScript agent framework from the Gatsby devs

https://github.com/mastra-ai/mastra
213•calcsam•4d ago•70 comments

Show HN: Rails UI

https://railsui.com/
204•justalever•3d ago•110 comments

Show HN: ChartGPU – WebGPU-powered charting library (1M points at 60fps)

https://github.com/ChartGPU/ChartGPU
664•huntergemmer•3d ago•212 comments

Show HN: Synesthesia, make noise music with a colorpicker

https://visualnoise.ca
38•tevans3•2d ago•13 comments

Show HN: yolo-cage – AI coding agents that can't exfiltrate secrets

https://github.com/borenstein/yolo-cage
59•borenstein•3d ago•74 comments

Show HN: First Claude Code client for Ollama local models

https://github.com/21st-dev/1code
44•SerafimKorablev•2d ago•24 comments