Stop Slopware
Stop Slopware IF THIS LINK WAS FOR YOU I know sites like these can feel dismissive and passive-aggressive. But this isn’t meant to be an attack, just a shove in the right direction. If someone thinks your project is slopware, don’t despair, you have a chance to fix your work and prove them wrong! SLOPWARE […]
Test, Don’t (Just) Verify
AI is making formal verification go mainstream. AI-assisted mechnical proving companies are raising funds on billion dollar valuations, new people are trying proof assistants, overwhelmingly Lean, at unprecedented rates. Models achieve fascinating results in competitions previously considered to contain some of the hardest problems in the world, such as IMO, ICPC, Putnam; as well as […]
What Is (AI) Glaze?
Generative AI models have changed the way we create and consume content, particularly images and art. Diffusion models such as MidJourney and Stable Diffusion have been trained on large datasets of scraped images from online, many of which are copyrighted, private, or sensitive in subject matter. Many artists have discovered significant numbers of their art […]
Ryanair fined €256M over ‘abusive strategy’ to limit ticket sales by OTAs
Ryanair has been fined €256m (£223m) by Italy’s competition authority for abusing its dominant market position to limit sales of tickets by online travel agents. The authority said Europe’s largest airline had “implemented an abusive strategy to hinder travel agencies” via an “elaborate strategy” of technical obstacles for agents and passengers to make it difficult […]
What are the best engineering blogs with real-world depth (no fluff)?
I’m looking for examples of high-quality engineering blog posts—especially from tech company blogs, that go beyond surface-level explanations. Specifically interested in posts that: 1. Explain technical concepts clearly and concisely 2. Show real implementation details, trade-offs, and failures 3. Are well-structured and readable 4. Tie engineering decisions back to business or product outcomes Any standout […]
Show HN: GeneGuessr – a daily biology web puzzle
How to Play GeneGuessr Welcome to GeneGuessr! This is the protein of the day. Can you figure out which gene made it? You will see spoiler bars that cover valuable hints. Tap the spoiler bar to reveal a hint underneath. Look up your favorite gene with the search bar. Submit it as your first guess. […]
Carnap – A formal logic framework for Haskell
Background Carnap is a free and open software framework written in Haskell for teaching and studying formal logic. Carnap powers logic courses at dozens of colleges and universities around the world. If you’re a student in a course that uses Carnap, please follow the links at the top of the page to log in and […]
Instant database clones with PostgreSQL 18
Have you ever watched long running migration script, wondering if it’s about to wreck your data? Or wish you can “just” spin a fresh copy of database for each test run? Or wanted to have reproducible snapshots to reset between runs of your test suite, (and yes, because you are reading boringSQL) needed to reset […]
10 years bootstrapped: €6.5M revenue with a team of 13
As 2025 comes to a close, it’s once again time to reflect. It’s been another packed twelve months, and it’s great to look back at everything we achieved, day by day. (Yes, we’re patting ourselves on the back. It’s our blog, we’re allowed to.) Want to take a walk down memory lane? Here are previous […]
Show HN: CineCLI – Browse and torrent movies directly from your terminal
📡 YTS API Status 🟢 API STATUS: ACTIVE & OPERATIONALAll CineCLI features are fully functional. Browse, inspect, and launch movie torrents directly from your terminal.Fast. Cross-platform. Minimal. Beautiful. ✨ Features 🔍 Search movies from YTS 🎥 View detailed movie information 🧲 Launch magnet links directly into your torrent client 📦 Download .torrent files if preferred […]