BlogViral

Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problem https://ift.tt/uU584ip September 27, 2026 at 12:00AM

Show HN: I couldn't deal with another Claude Code tab https://aidash.dev/ September 26, 2026 at 01:22AM

Show HN: Encryption as a Service Hello, I’m looking for some criticism. I’m also looking for some people to help test this service. https://rypt.dev/ September 25, 2026 at 11:36PM

Show HN: Treepeat – Code similarity detection using Tree-sitter treepeat is a tool that finds similarities in your codebase. Find duplicate code blocks meaningful to the language (classes/functions), not just lines. Find near-duplicates: ignore whitespace, strings, high level AST nodes such as function and names. Find structurally similar code: anonymize identifiers, constants, etc. Pull requests welcome: This is very much an proof of concept - I'm happy with it, but I haven't supported very many languages at present. Languages supported: astro, bash, css, go, html, javascript, lua, markdown (plus codeblocks), python, sql, typescript, java, kotlin, rust, yaml https://ift.tt/NgqaC7P September 22, 2026 at 11:53PM

The New Home of Muni Routle By Michael Roccaforte You can play Muni Routle any time, including while you wait for your bus or train. Call it a match made in transit heaven. Muni Routle’s official home is now the SFMTA website. It's a Transit Month surprise and the perfect game to play during your next adventure on Muni. It’s also a fun way to master Muni’s expansive system. Our website is just the right place for that. Our new favorite game is born Muni Routle was created in 2024 by River Honer, a software engineer who studied Urban Planning at San Francisco State University. She was living in London at the time and was inspired by Metrodle... Published 2026-09-24T00:00:00Z https://ift.tt/gFbilL9

Show HN: Scalar.dev – Python/SQLite server-rendered starter app, no build step Hi HN, I'm Felipe. AI-assisted coding is great, but complexity is still complexity. The more you have it, the harder it is to keep the system sane and changes safe over time. I've built this project because I wanted to have a different foundation for my apps - one that started simple, with no external dependencies, and that made the code stay easy to understand as it grows and cheap to modify. Simplicity in the stack is a means to absorb the business complexity without turning the project into an unmaintainable mess. This foundation is a Python server-rendered app (no build step, no SPA), and as a starter app it comes with some basic features that most apps will need (Authentication, AI chat, Settings, Clients/Tasks as a demo crud). The foundation is free (MIT), and there are also two paid options if you want more features. Looking forward to hear your feedback! https://getscalar.dev/ September 24, 2...