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 […]
Show HN: Mysti – Claude, Codex, and Gemini debate your code, then synthesize
Your AI Coding team for VSCodeUse Claude Code, Codex, or Gemini — or combine any two in Brainstorm Mode and never hit bottlenecksWisdom of the crowd where the collective intelligence of several agents outperforms a single one. Providers • Brainstorm • Features • Quick Start • Config Install in Seconds From VS Code: Press Ctrl+P […]
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 […]
Some Junk Theorems in Lean
This is a small collection of formally verified junk theorems provable in Lean 4 + Mathlib that, in my experience, are quite surprising and upsetting to mathematicians who are not familiar with type theory (and in the case of Theorems 13 and 14, also to mathematicians who are familiar with type theory). See the main […]
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 […]