⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Help Shape the Theme for International Archives Week 2026!
ica.org·5h
⚖️Archive Ethics
Junior sysadmin’s first lines of code set off alarms. His next lot crashed the company
theregister.com·11h
🔓Hacking
Fortnight notes: 16 – 29 June
neilojwilliams.net·1d
🧬Bitstream Evolution
14.ai (YC W24) hiring founding engineers in SF to build a Zendesk alternative
14.ai·1h·
Discuss: Hacker News
🌀Brotli Internals
The Apache Iceberg v3 Table Spec
snowflake.com·4h·
Discuss: Hacker News
🔧KAITAI
Flux.1 Kontext Free Online: AI-Powered Image Editing
iflux.ai·5h·
Discuss: Hacker News
🗜️LZW Variants
Non-Transactional, Positive-Sum, and Multi-Turn
feld.com·3d·
Discuss: Hacker News
🔲Cellular Automata
Parameterized types in C using the new tag compatibility rule
nullprogram.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Untangling Lifetimes: The Arena Allocator
rfleury.com·2d·
Discuss: Hacker News
🧠Memory Allocators
ChatGPT, write my wedding vows: are we OK with AI in everyday life?
theguardian.com·2h
🎙️Whisper
Can Peter Pan Survive MT? A Stylometric Study of LLMs, NMTs, and HTs in Children's Literature Translation
arxiv.org·14h
🔤Character Classification
Zero-Cost Abstractions: What It Really Means in Rust
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing
A Developer’s Guide to Building Scalable AI: Workflows vs Agents
towardsdatascience.com·3d
⚡Proof Automation
Breaking Into Backend Development: Lessons from IBM’s Professional Certificate
dev.to·2d·
Discuss: DEV
🔐CBOR
my first open-source project
reddit.com·21h·
Discuss: r/golang
🔓Open Source Software
Ecma International approves ECMAScript 2025: What’s new?
2ality.com·4d·
Discuss: Hacker News
🎯Gradual Typing
Real Time Game Server Architecture Design Low Latency High Concurrency Technical Implementation（1751201311772400）
dev.to·1d·
Discuss: DEV
🦀Embedded Rust
Structured Attention Matters to Multimodal LLMs in Document Understanding
arxiv.org·14h
🤖Advanced OCR
Exploring the Nuances of JavaScript's 'this' Keyword
dev.to·22h·
Discuss: DEV
💻Programming languages
HarmonyOS Amount Converter Dev Notes & Pitfalls
dev.to·15h·
Discuss: DEV
🔤Unicode Normalization