∀ Lean4 - nmarshall · Scour

Hitchhiker's Guide to Logical Verification (2023 Edition) 🔗Dependent Types

lean-forward.github.io·5d·Hacker News

A shallow dive into formal verification ⚙️Alloy

vitalik.eth.limo·2d·Hacker News, Hacker News

Grokipedia selectively drawing on more right-leaning news sources, new study 🕸️Knowledge Graphs

tcd.ie·18h·Hacker News

Using algebra and LLMs to verify a flight-plan bug fix in Lean ⚙️Alloy

jameshaydon.github.io·2d·Lobsters, Hacker News, r/programming

Mathlib Initiative: Roadmap 💻Creative Coding

mathlib-initiative.org·5d·Hacker News

On maps 🗺️OpenStreetMap

fhoehl.com·18h·Hacker News

ouroboros can have a little ouroboros, as a treat 🍲Bone Broth

garnet.bearblog.dev·1d

207 - Coding Slow is Smooth, Coding Smooth is Fast 🔧Software Engineering

daily.tinyprojects.dev·19h·Hacker News

On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications ⚙️Alloy

proofsandintuitions.net·3d·Lobsters, Hacker News

Ask HN: Has anyone here ever rebuilt themselves in their late 30s? 💪Fitness

news.ycombinator.com·2d·Hacker News

How I burned 389K Claude Code cache-creation tokens before the real prompt 🔓Binary Exploitation

skinny.cloud·14h·Hacker News

How a Compiler Turns Your Code Into CPU Instructions ⚙️CPU Microarchitecture

siliconopera.com·2d

Intent could either be cybersecurity's next buzzword or breakthrough 🛡️Computer Security

strategyofsecurity.com·6d·Hacker News

Genius vs. Talent: Why playing it safe holds you back 🤖Cyberpunk

rogerwong.me·14h

Ethereum plans to move from BLS signatures to post quantum secure signatures ⚖️Consensus Networks

hashcloak.com·12h·Hacker News

Roundup of Events for Bootstrappers in May 2026 🔨Maker Spaces

bootstrappersbreakfast.com·2d·Hacker News

PyCon US 2026 Typing Summit Recap 🎭Gradual Typing

bernat.tech·6d·Lobsters, Hacker News

RE:RE: adults have lost the ability to smile 🚐Vanlife

musings101.bearblog.dev·1d

Less-relevant results

I stopped choosing between IDEs and built a hybrid workflow that uses the best of VS Code, Cursor, and Google Antigravity 🤖AI Coding Tools

xda-developers.com·16h

Claude Code's product lead talks usage limits, transparency, and the "lean harness" 🧩Low-code

arstechnica.com·5d·Hacker News, r/artificial

Log in to enable infinite scrolling