Posted by ykhli 3 days ago
Show HN: I built a command line ASCII logo SVG generator for laser cutting github.com Posted by tackx 7 hours ago
Show HN: Dish: A lightweight HTTP and TCP socket monitoring tool written in Go github.com 28
Posted by serverlessmania 2 days ago
Show HN: Built an MCP server for direct sound design on my hardware synth github.com Posted by dandraper 2 hours ago
Show HN: Searchable encryption, SQL proxy for Postgres cipherstash.com Posted by arifliftos 3 hours ago
Show HN: Rabbit – AI That Uses the Browser to Do the Tasks You Hate runrabbit.ai Posted by MADEinPARIS 4 days ago
Show HN: Formal Verification for Machine Learning Models Using Lean 4 github.com 49
Posted by secretasiandan 10 hours ago
Show HN: Xorq – open-source Python-first Pandas-style pipelines github.com 14
80
Posted by tuxxness 6 hours ago
Show HN: FancyLock – Linux screenlock with videos. Wayland support coming soon github.com Posted by lucasr1b 18 hours ago
Show HN: I made a tool that builds your portfolio in seconds from GitHub. devfol.io 11
Posted by badcryptobitch 15 hours ago
Show HN: StoffelVM – A WIP VM for Multiparty Computation github.com Posted by mariocandela 11 hours ago
Show HN: SSH LLM Honeypot Caught a Threat Actor – Here's What I Learned beelzebub-honeypot.com Posted by kappasan 3 days ago
Show HN: A website for sharing the "Good, Bad, and Why"s of urban spaces dedede.de 87
Posted by unsolved73 13 hours ago
Show HN: YTS – Search YouTube from the CLI and watch videos in mpv gitlab.com