Hardness of M-LWE with General Distributions and Applications to Leaky Variants
eprint.iacr.org·2d
🔐Cryptography
Friendship is My Writing Process
electricliterature.com·2h
🧮Programming Language Theory
How To Speak the Language of Your Top SEO Stakeholders — Whiteboard Friday
moz.com·6h
🧩Theorem Proving
Bill Belichick won’t headline North Carolina's weekly coach's radio show
nytimes.com·14h
🧫Cellular Automata
Materialize's Spring Hackathon: A Report
materialize.com·2d
🎲Probabilistic Programming
The Sorcerer's Apprentice
articles.pragdave.me·2d·
Discuss: Hacker News
🧩Theorem Proving
Show HN: I "hacked" Cursor and turned it into a general-purpose AI agent
viewerkit.com·20h·
Discuss: Hacker News
🧩Theorem Proving
How LLMs call tools and use the MCP integration
virtuslab.com·3d·
Discuss: r/programming
🧮Programming Language Theory
Is There Life After AI for Big Software?
finance.yahoo.com·18h
🤖Sci-Fi
Boston House Price Prediction Model
dev.to·2h·
Discuss: DEV
🎲Probabilistic Programming
Understanding Databases: A Comprehensive Guide to Types and Use Cases
dev.to·2h·
Discuss: DEV
🗄️Database Theory
Automated Verification of Proofs in the Universal Composability Framework with Markov Decision Processes
eprint.iacr.org·3d
✅Formal Verification
Requiem for a 10x Engineer Dream
architecture-weekly.com·4d·
Discuss: Hacker News, r/programming
🧩Theorem Proving
EGGCodec: A Robust Neural Encodec Framework for EGG Reconstruction and F0 Extraction
arxiv.org·2d
🎲Probabilistic Programming
Dev Log 05
dev.to·17h·
Discuss: DEV
🦀Rust
FastAPI: Why Developers Can’t Stop Talking About It
dev.to·1d·
Discuss: DEV
📦WebAssembly
HapticLLaMA: A Multimodal Sensory Language Model for Haptic Captioning
arxiv.org·4d
🧮Programming Language Theory
Most times I feel stupid, sometimes I feel like a fvkin smort person
reddit.com·1d·
Discuss: r/webdev
🧩Theorem Proving
My Top Open-Source AI Tools for Building Smarter in 2025
dev.to·7h·
Discuss: DEV
🧩Theorem Proving
LET-US: Long Event-Text Understanding of Scenes
arxiv.org·3d
🔗Parser Combinators