YHacker News
91.Show HN: QVAC SDK, a universal JavaScript SDK for building local AI applications
30 points by qvac 5 days ago | hide | 14 comments
92.Show HN: ReverseYC(rocketplace.org)
3 points by remarketme 2 days ago | hide | 3 comments
93.Show HN: Formal – Formal verification for AI-generated code using Lean 4(github.com)
4 points by yamafaktory 2 days ago | hide | 4 comments
94.Show HN: ApplePy – Embed and Call Swift from Python (Like PyO3, but for Swift)(github.com)
2 points by sheepscreek 2 days ago | hide | 2 comments
95.Show HN: Telegram feed reader using DNS TXT records for Iran's Internet shutdown(github.com)
2 points by znano 2 days ago | hide | 2 comments
96.Show HN: Real-Time OLAP Infrastructure(modolap.com)
4 points by ronfriedhaber 2 days ago | hide | discuss
97.Show HN: Chunk – macOS menu bar time-blocking app with Claude AI integration(chunkapp.net)
2 points by dudleyspence 2 days ago | hide | 1 comment
98.Show HN: Android AI agent-assistant operating your apps (no adb,PC,root,etc.)
2 points by sshnaidm1 2 days ago | hide | 2 comments
99.Show HN: Uncook, the Social Network for Food(uncook.xyz)
4 points by moffers 2 days ago | hide | 2 comments
100.Show HN: Minnow – minimal now pages via chat(minnow.social)
3 points by freshman_dev 2 days ago | hide | 1 comment
101.Show HN: Toy Python Lisp interpreters based on the 1960 McCarthy paper(github.com)
3 points by disconnection 2 days ago | hide | discuss
102.Show HN: macpak (Homebrew Wrapper for macOS)(github.com)
3 points by atkavindu 2 days ago | hide | 7 comments
103.Show HN: Zeroclawed: Secure Agent Gateway(github.com)
8 points by bglusman 4 days ago | hide | 3 comments
104.Show HN: Steadcast – Free Mac podcast player for learning, not background noise(steadcast.co)
7 points by steadcast 4 days ago | hide | 2 comments
105.Show HN: Minimalist template for scientific and academic resumes(github.com)
3 points by reomgdfsrtr 2 days ago | hide | 2 comments
106.Show HN: Sash – tiny macOS utility to reliably cycle through app windows(github.com)
5 points by dwg 4 days ago | hide | 8 comments
107.Show HN: The Universe in One Chart(saminloes.com)
8 points by atleastoptimal 4 days ago | hide | discuss
108.Show HN: Jarvis for Audio Engineers(soorf.xyz)
3 points by copypirate 3 days ago | hide | discuss
109.Show HN: 500k+ events/sec transformations for ClickHouse ingestion(github.com)
13 points by super_ar 6 days ago | hide | 4 comments
110.Show HN: Linear RNN/Reservoir hybrid generative model, one C file (no deps.)(raw.githubusercontent.com)
7 points by adinhitlore 5 days ago | hide | 2 comments
111.Show HN: See what your employees are prompting LLMs (without network proxies)(privent.ai)
4 points by asilozyildirim 5 days ago | hide | discuss
112.Show HN: A living Vancouver. Connor is walking dogs at the SPCA this morning(brasilia-phi.vercel.app)
4 points by auran 3 days ago | hide | 1 comment
113.Show HN: FeedSense – A private recommendation system built from your own sources
7 points by langtang1996 4 days ago | hide | 1 comment
114.Show HN: Logoshi, a brand kit generator for solo founders(logoshi.com)
5 points by sjdegraeve 5 days ago | hide | 1 comment
115.Show HN: Docker-whisper: Self-hosted Whisper speech-to-text server (OpenAI API)(github.com)
6 points by hwdsl2 3 days ago | hide | 1 comment
116.Show HN: Zoneless – Open-source Stripe Connect clone with $0.002 fees using USDC(github.com)
15 points by tinyprojects 5 days ago | hide | 7 comments
117.Show HN: The Musical Manifold [pdf](esenbilproductions.replit.app)
2 points by ersinesen 3 days ago | hide | 4 comments
118.Show HN: I'm organizing a vibe coding game dev competition(vibej.am)
7 points by pieterhg 3 days ago | hide | discuss
119.Show HN: GNU Grep as a PHP Extension(github.com)
5 points by hparadiz 4 days ago | hide | discuss
120.Show HN: Bunqueue – Saga workflow engine for Bun with embedded SQLite(bunqueue.dev)
3 points by kernelvoid 3 days ago | hide | discuss
More