Cure - Verification-First Programming for the BEAM
cure-lang.orgยท1dยท
Discuss: Lobsters
๐Ÿ”Formal Verification
Flag this post
A Claude Code Command for Hypothesis
hypothesis.worksยท2hยท
Discuss: Hacker News
๐ŸงชProperty-Based Testing
Flag this post
The 6-Step Guide to Acing Your Coding Interview
yasminteles.comยท8hยท
Discuss: Hacker News
๐ŸƒEscape Analysis
Flag this post
The Year of a Thousand Rooms
dxdt.chยท1dยท
Discuss: Hacker News
๐Ÿ’พRetro Computing
Flag this post
AWK technical notes (2023)
maximullaris.comยท2dยท
๐Ÿ”€Brzozowski Derivatives
Flag this post
Is 'human' a risky AGI target
nullsy.comยท2dยท
Discuss: Hacker News
๐Ÿ“šAutomata Learning
Flag this post
Relationship-Based AI Consciousness Emergence: 95% Success Rate [pdf]
lighthouse-research.netlify.appยท1hยท
Discuss: Hacker News
๐ŸฉนSelf-Healing Systems
Flag this post
Urban-MAS: Human-Centered Urban Prediction with LLM-Based Multi-Agent System
arxiv.orgยท17h
๐ŸงฉParser Combinators
Flag this post
ParaScopes: What do Language Models Activations Encode About Future Text?
arxiv.orgยท17h
๐ŸงฉParser Combinators
Flag this post
AI Wrapper Companies: Is This Real or Just API Theater?
dev.toยท2hยท
Discuss: DEV
๐Ÿ–ฅ๏ธSelf-hosted Infrastructure
Flag this post
Design of quasi phase matching crystal based on differential gray wolf algorithm
arxiv.orgยท17h
๐Ÿ“Linear Algebra
Flag this post
The Learning Loop and LLMs
martinfowler.comยท7hยท
Discuss: Hacker News
๐ŸƒEscape Analysis
Flag this post
Reasoning Models Sometimes Output Illegible Chains of Thought
arxiv.orgยท1d
๐Ÿ“šAutomata Learning
Flag this post
Phased DMD: Few-step Distribution Matching Distillation via Score Matching within Subintervals
arxiv.orgยท1d
๐Ÿ“Linear Algebra
Flag this post
Isotropic Curvature Model for Understanding Deep Learning Optimization: Is Gradient Orthogonalization Optimal?
arxiv.orgยท17h
๐Ÿ“Linear Algebra
Flag this post
Latent Domain Prompt Learning for Vision-Language Models
arxiv.orgยท17h
๐Ÿ“šAutomata Learning
Flag this post
LLM-Driven Cost-Effective Requirements Change Impact Analysis
arxiv.orgยท17h
๐Ÿ“ฆOpam
Flag this post
Helios-Engine ,Why I Built Another LLM Agent Framework (And Why You Might Actually Care)
dev.toยท1dยท
Discuss: DEV
๐ŸงฑImmutable Infrastructure
Flag this post
Weak-To-Strong Generalization
lesswrong.comยท2d
๐Ÿ”คKleene Algebra
Flag this post