Hacker News
CSLib: A Focused Effort on Formalizing Computer Science in Lean
Article URL: https://www.cslib.io/
Comments URL: https://news.ycombinator.com/item?id=47096584
Points: 1
# Comments: 0
Steve Webber on Multics
Article URL: https://www.youtube.com/watch?v=0gzjrF9r6QA
Comments URL: https://news.ycombinator.com/item?id=47096582
Points: 1
# Comments: 0
Unlocking full-body human motor learning at scale
Article URL: https://amathislab.github.io/mm-blog/
Comments URL: https://news.ycombinator.com/item?id=47096580
Points: 1
# Comments: 0
A Bollywood Spy Thriller Crosses the India-Pakistan Divide
Article URL: https://www.bloomberg.com/news/articles/2026-02-20/bollywood-epic-dhurandhar-breaks-records-in-india-and-pakistan
Comments URL: https://news.ycombinator.com/item?id=47096574
Points: 1
# Comments: 0
Show HN: Velo – Open-source, keyboard-first email client in Tauri and Rust
I built Velo because I wanted Superhuman's speed and keyboard workflow without the $30/month price tag or sending all my data through someone else's servers.
Velo is a local-first desktop email client. Your emails live in a local SQLite database - no middleman servers, no cloud sync. It works offline and your data stays on your machine.
What makes it different:
- Keyboard-driven - Superhuman-style shortcuts (j/k navigate, e archive, c compose, /search). You can fly through your inbox without touching the mouse - Built with Tauri v2 + Rust backend - ~15MB binary, low memory usage, instant startup. Not another Electron app - Multi-account - Gmail (API) and IMAP/SMTP (Outlook, Yahoo, iCloud, Fastmail, etc.) - AI features (optional) - Thread summaries, smart replies, natural language inbox search. Bring your own API key (Claude, GPT, or Gemini). Results cached locally - Privacy-first - Remote images blocked by default, phishing link detection, SPF/DKIM/DMARC badges, sandboxed HTML rendering, AES-256-GCM encrypted token storage - Split inbox, snooze, scheduled send, filters, templates, newsletter bundling, quick steps, follow-up reminders, calendar sync
Tech stack: Tauri v2, React 19, TypeScript, SQLite + FTS5 (full-text search), Zustand, TipTap editor. 130 test files.
Available on Windows, macOS, and Linux. Apache-2.0 licensed.
GitHub: https://github.com/avihaymenahem/velo Site: https://velomail.app
I'm a solo developer and would love feedback, especially on UX, features you'd want, or if you run into issues. Happy to answer any questions about the architecture or Tauri v2 in general.
Comments URL: https://news.ycombinator.com/item?id=47096524
Points: 2
# Comments: 0
If Chatbots Can Replace Writers, It's Because We Made Writing Replaceable
Article URL: https://thewalrus.ca/if-chatbots-can-replace-writers-its-because-we-made-writing-replaceable/
Comments URL: https://news.ycombinator.com/item?id=47096522
Points: 2
# Comments: 0
What Is OAuth?
Article URL: https://leaflet.pub/p/did:plc:3vdrgzr2zybocs45yfhcr6ur/3mfd2oxx5v22b
Comments URL: https://news.ycombinator.com/item?id=47096520
Points: 4
# Comments: 0
Napkin Math
Article URL: https://github.com/sirupsen/napkin-math
Comments URL: https://news.ycombinator.com/item?id=47096510
Points: 2
# Comments: 0
The Rise and Fall of Scala: A Love Letter to the Language That Broke My Heart
Cord: Coordinating Trees of AI Agents
Article URL: https://www.june.kim/cord
Comments URL: https://news.ycombinator.com/item?id=47096466
Points: 7
# Comments: 0
Heaven Has a Physical Location, a Physicist Claims
Article URL: https://www.popularmechanics.com/science/a70423234/location-of-heaven/
Comments URL: https://news.ycombinator.com/item?id=47096459
Points: 2
# Comments: 3
Facebook Is Doing A-Okay
Note: I don't own any equity in Meta, or work there, or have a soft corner for them or their competition in any business category.
There's a way to view just your friends' and groups' updates without seeing all the AI doom scrolling stuff.
They are the largest peer to peer marketplace.
They are the most popular platform for organizing groups.
Apparently Facebook dating is popular (maybe someone can comment on that).
If anything, despite all the dark patterns on the Wall, they are only growing and finding new ways to grow more.
Comments URL: https://news.ycombinator.com/item?id=47096447
Points: 3
# Comments: 1
Show HN: Share Your Ideas with the Community
Article URL: https://novadev.vip/share/
Comments URL: https://news.ycombinator.com/item?id=47096442
Points: 1
# Comments: 0
Precise exceptions in relaxed architectures [video]
Article URL: https://www.youtube.com/watch?v=JkNgZz4bu1E
Comments URL: https://news.ycombinator.com/item?id=47096394
Points: 1
# Comments: 1
An Archaeological Dig Through the Extropian Archives
Article URL: https://mtabarrok.com/extropia-archaeology
Comments URL: https://news.ycombinator.com/item?id=47096391
Points: 1
# Comments: 0
India's Sarvam 105B LLM tops OCR benchmarks
Information Wants to Be Surveiled
Article URL: https://netwars.pelicancrossing.net/2026/02/20/information-wants-to-be-surveiled/
Comments URL: https://news.ycombinator.com/item?id=47096216
Points: 1
# Comments: 0
The Interest Rate on Your Codebase: A Financial Framework for Technical Debt
Article URL: https://www.chiply.dev/post-technical-debt
Comments URL: https://news.ycombinator.com/item?id=47096213
Points: 1
# Comments: 0
Claude Code's compaction discards data that's still on disk
Article URL: https://github.com/anthropics/claude-code/issues/26771
Comments URL: https://news.ycombinator.com/item?id=47096210
Points: 1
# Comments: 0
Show HN: Give your OpenClaw agent a face and voice with LiveKit and LemonSlice
For a fun side weekend project we gave our own OpenClaw agent called "Mahmut" a face and had a live interview with it. It went surprisingly well.
Here's a sneak peek from the interview: https://x.com/ptservlor/status/2024597444890128767
User speaks, Deepgram transcribes it, OpenClaw Gateway routes it to your agent, ElevenLabs turns the response into speech, and LemonSlice generates a lip synced avatar from the audio. Everything streams over LiveKit in real time.
Latency is about 1 to 2 seconds end to end depending on the LLM. The lip sync from LemonSlice honestly surprised us, it works way better than we expected.
The skill repo has a complete Python example, env setup, troubleshooting guide, and a Next.js frontend guide if you want to build your own web UI for it.
Comments URL: https://news.ycombinator.com/item?id=47096208
Points: 1
# Comments: 0
