SOLID Principles for Python Developers
dev.to·16h·
Discuss: DEV
🎭Racket Modules
Automated Test Generation with Custom Claude Commands: Architecting Scalable Testing for Modern Node.js Applications
dev.to·10h·
Discuss: DEV
🎲Test Generators
Semantic Dictionary Encoding
falvotech.com·16h·
Discuss: Hacker News
🗂️Type Indexing
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·16h·
Discuss: www.blogger.com
🔮Lisp Interpreters
Efficient Polynomial Identity Testing Over Nonassociative Algebras
arxiv.org·3h
🔢Algebraic Datatypes
Introducing the Constexpr Debugger
blog.jetbrains.com·23h·
Discuss: Lobsters, Hacker News, Hacker News, r/cpp
🔍Debugging Compilers
Issue 489
haskellweekly.news·4d·
Discuss: Hacker News
👑Dependent Haskell
Balance between refactoring and inheritance in your code
github.com·19h·
Discuss: Hacker News
🧪Compiler Testing
Rustlantis: Randomized Differential Testing of the Rust Compiler
plf.inf.ethz.ch·11h·
Discuss: Hacker News
🏗️Cranelift
Is Recursion in LLMs a Path to Efficiency and Quality?
pub.towardsai.net·7h
🪜Recursive Descent
What Does -> Mean in Python Function Definitions?
realpython.com·17h
🌊Gradual Typing
Swift 6.2 Released
swift.org·21h
🦉Swift Interpreters
Learn How to Use Transformers with HuggingFace and SpaCy
towardsdatascience.com·18h
📊Pratt Parsers
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·23h
🪢Rope Data Structures
Death of a lens(man)
dev.to·1d·
Discuss: DEV
🔗Lexical Scoping
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·4d·
Discuss: Hacker News
🔮Type Inference Visualization
Beyond the Hype: Why Your AI Assistant Might Be Sabotaging Your Architecture
medium.com·1d·
Discuss: Hacker News
🛡️Error Ergonomics
A formal proof of C∞ISRT
bsky.app·1d·
Discuss: r/LessCredibleDefence
♾️Codata Types
Arguzz: Testing zkVMs for Soundness and Completeness Bugs
arxiv.org·3h
🧪Testing Compilers
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·18h·
Discuss: Hacker News
🌱Minimal Lisps