Thinking Thursday: A Good Teacher
denisegaskins.comΒ·2d
πŸ“Mathematical Art
Double Maths First Thing: Issue 2A
aperiodical.comΒ·3d
πŸ‘‘Isabelle
Scales as Multipermutations of 0 and 1 into Twelve Places
petecorey.comΒ·3dΒ·
Discuss: Lobsters
🎼Audio Lambda Calculus
Vitalik Buterin has reservations about Sam Altman’s World project
techcrunch.comΒ·2h
πŸš€Indie Hacking
Tang Nano 9K Series [tutorial]
learn.lushaylabs.comΒ·6hΒ·
Discuss: Hacker News
πŸ”FPGA Verification
Slashing CI Costs at Uber
uber.comΒ·3dΒ·
Discuss: Hacker News
πŸ”„Reproducible Builds
How Much Thinking Can a Team Handle?
innoq.comΒ·7hΒ·
Discuss: Hacker News
🧠Intelligence Compression
The Guide to the Foundation Models Framework
azamsharp.comΒ·3dΒ·
Discuss: Hacker News
Ξ»Lambda Formalization
daily quizzz
dev.toΒ·3dΒ·
Discuss: DEV
Ξ»Lambda Encodings
ProofBoard My Hackathon Journey with Bolt!
dev.toΒ·2dΒ·
Discuss: DEV
⚑Proof Automation
Boost Your Dev Workflow with AI Tools (Beginner-Friendly)
dev.toΒ·8hΒ·
Discuss: DEV
⚑Proof Automation
Machine Learning Fundamentals: anomaly detection project
dev.toΒ·2hΒ·
Discuss: DEV
πŸ‘οΈObservatory Systems
Opportunistic Osteoporosis Diagnosis via Texture-Preserving Self-Supervision, Mixture of Experts and Multi-Task Integration
arxiv.orgΒ·2d
πŸ‘οΈOCR Enhancement
⚑️ Stop Writing Flaky Tests: Your Foundational Guide to Async in Playwright
dev.toΒ·2dΒ·
Discuss: DEV
⚑Proof Automation
Build a High-Performance Crypto Rankings API with Go + Inngest + Redis in 25 Minutes
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”BitFunnel
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.orgΒ·4d
πŸ”Type Inference
Evolving Prompts In-Context: An Open-ended, Self-replicating Perspective
arxiv.orgΒ·4d
πŸ’»Programming languages
Want To Learn Artificial Intelligence Course From Genuine Institute?
dev.toΒ·11hΒ·
Discuss: DEV
🧠Machine Learning
Decoding the Human Language: An Introduction to Natural Language Processing (NLP) Fundamentals
dev.toΒ·1dΒ·
Discuss: DEV
πŸ“Text Parsing
Counterfactual Influence as a Distributional Quantity
arxiv.orgΒ·2d
🎯Arithmetic Coding Theory