๐Ÿ”ฌ Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Genesis CCA: Special Effects and Final Polish
bumbershootsoft.wordpress.comยท7h
๐Ÿ“ผRetro Games
Show HN: Santa Paravia En Fiumaccio' in WebAssembly
g5t.deยท9hยท
Discuss: Hacker News
๐Ÿ“ฐRSS Archaeology
Valuing Assets with Different Volatilities
niklasbuschmann.github.ioยท3dยท
Discuss: Hacker News
๐ŸŽฏArithmetic Coding Theory
Can U.S. Math Research Survive NSF Funding Cuts?
scientificamerican.comยท1d
๐Ÿ“šArchive Mathematics
Zig's new Writer
openmymind.netยท3dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ’งLiquid Types
Shift Left Meets Kafka: Testing Event-Driven Microservices (2024)
signadot.comยท1dยท
Discuss: Hacker News
๐ŸŒŠStreaming Systems
NIH Is Far Cheaper Than The Wrong Dependency
lewiscampbell.techยท2dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ“Code Metrics
Chatting with the doctor: First (surprising) experience with the TI messenger
heise.deยท7h
๐Ÿ•ธ๏ธWASM Archives
The Architecture of Open Source Applications (Volume 1) Battle for Wesnoth
aosabook.orgยท2dยท
Discuss: Hacker News
๐Ÿ”’WASM Capabilities
Situated Software (2004)
web.archive.orgยท3dยท
Discuss: Hacker News
๐Ÿš€Indie Hacking
In Defense of Not-Invented-Here Syndrome
joelonsoftware.comยท1dยท
Discuss: Hacker News
โš–๏ธEmulation Ethics
Build with Gemini - One Piece Avatar Image Generator ๐Ÿดโ€โ˜ ๏ธ
dev.toยท9hยท
Discuss: DEV
๐Ÿ“ธPNG Optimization
Outbound Modeling for Inventory Management
arxiv.orgยท3d
๐Ÿ”—Constraint Handling
Unpacking Go Slices: 3 Common Gotchas You Need to Know
dev.toยท2dยท
Discuss: DEV
โฌ†๏ธLambda Lifting
Post-Quantum Cryptography in Kubernetes
kubernetes.ioยท2d
๐Ÿ”Quantum Security
How to Add Generative UI to Any React App in 5 Minutes
dev.toยท2dยท
Discuss: DEV
๐Ÿ”—Concatenative Programming
Web-Browsing LLMs Can Access Social Media Profiles and Infer User Demographics
arxiv.orgยท2d
โš–๏ธFeed Ranking
From Novelty to Imitation: Self-Distilled Rewards for Offline Reinforcement Learning
arxiv.orgยท1d
๐Ÿ“ŠLearned Metrics
AI Quietly Getting Stronger: How Many Jobs Has It Already Taken?
dev.toยท1dยท
Discuss: DEV
๐Ÿค–AI Translation
You can get unfathomably rich building AI. Should you?
vox.comยท1d
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing