Get Stronger by Greasing the Groove
artofmanliness.com·13h·
Discuss: Hacker News
🏔️climbing
Flag this post
Agile and Coding: Please don't break things
davidvujic.blogspot.com·1d·
Discuss: Hacker News
📦Opam
Flag this post
HackedGPT: Novel AI Vulnerabilities Open the Door for Private Data Leakage
tenable.com·3d·
Discuss: Hacker News
🌐Network Protocols
Flag this post
I Use AI
ben.stolovitz.com·3d·
Discuss: Hacker News
🔤Language Design
Flag this post
Mastering Python’s Loop Else Block: A Beginner’s Guide to For and While Loops
dev.to·2d·
Discuss: DEV
📐Hoare Logic
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
80 Days of Python Challenges: How I Turned Consistency into Progress
dev.to·2d·
Discuss: DEV
λFunctional Programming
Flag this post
Capacity Review: The AI Workflow Engine That Understands Vibe Coding (2025)
danielkliewer.com·3d·
Discuss: Hacker News
🤖Program Synthesis
Flag this post
Belief Dynamics Reveal the Dual Nature of In-Context Learning and Activation Steering
arxiv.org·4d
📚Automata Learning
Flag this post
DEER: Disentangled Mixture of Experts with Instance-Adaptive Routing for Generalizable Machine-Generated Text Detection
arxiv.org·4d
🧩Parser Combinators
Flag this post
Zero-RAG: Towards Retrieval-Augmented Generation with Zero Redundant Knowledge
arxiv.org·4d
🧩Parser Combinators
Flag this post
The Riddle of Reflection: Evaluating Reasoning and Self-Awareness in Multilingual LLMs using Indian Riddles
arxiv.org·4d
🧮SMT Solvers
Flag this post
Quantifying Uncertainty in Multi-Agent Reinforcement Learning via Spectral Decomposition
dev.to·1d·
Discuss: DEV
🔍CBMC
Flag this post
Open-weight training practices and implications for CoT monitorability
lesswrong.com·4d
🧪Property-Based Testing
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
Sable and Able: A Tale of Two ASIs
lesswrong.com·3d
🔲Cellular Automata
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
Writing an LLM from scratch, part 26 – evaluating the fine-tuned model
gilesthomas.com·4d·
Discuss: Hacker News
📚Automata Learning
Flag this post