Agile and Coding: Please don't break things
📦Opam
Flag this post
Lowering in Reverse
🧩Parser Combinators
Flag this post
I Use AI
🔤Language Design
Flag this post
Mastering Python’s Loop Else Block: A Beginner’s Guide to For and While Loops
📐Hoare Logic
Flag this post
A beginner's guide to the Flux-Kontext-Fast model by Prunaai on Replicate
🔀OCaml Multicore
Flag this post
HACI: A Haptic-Audio Code Interface to Improve Educational Outcomes for Visually Impaired Introductory Programming Students
arxiv.org·1d
🔲Cellular Automata
Flag this post
Non-Asymptotic Optimization and Generalization Bounds for Stochastic Gauss-Newton in Overparameterized Models
arxiv.org·1d
📐Linear Algebra
Flag this post
Belief Dynamics Reveal the Dual Nature of In-Context Learning and Activation Steering
arxiv.org·4d
📚Automata Learning
Flag this post
Zero-RAG: Towards Retrieval-Augmented Generation with Zero Redundant Knowledge
arxiv.org·4d
🧩Parser Combinators
Flag this post
Hemorica: A Comprehensive CT Scan Dataset for Automated Brain Hemorrhage Classification, Segmentation, and Detection
arxiv.org·1d
🧩Separation Logic
Flag this post
80 Days of Python Challenges: How I Turned Consistency into Progress
λFunctional Programming
Flag this post
Capacity Review: The AI Workflow Engine That Understands Vibe Coding (2025)
🤖Program Synthesis
Flag this post
Thinking Like a Student: AI-Supported Reflective Planning in a Theory-Intensive Computer Science Course
arxiv.org·3d
💻CS
Flag this post
MedDChest: A Content-Aware Multimodal Foundational Vision Model for Thoracic Imaging
arxiv.org·1d
🕸️Graph Theory
Flag this post
Open-weight training practices and implications for CoT monitorability
lesswrong.com·4d
🧪Property-Based Testing
Flag this post
Loading...Loading more...