Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.com·3d·
Discuss: Hacker News
🎯Type Theory
The pirate-based logic of Rust shared references
ais523.me.uk·1d·
Discuss: Lobsters, Hacker News, r/programming
🔒Rust Borrowing
List Vs. Tuple: Understanding The Differences In Python - Maine News Online
mainenewsonline.com·1d
🐍CPython Internals
If all the world were a monorepo
jtibs.substack.com·5h·
Discuss: Substack
📦Monorepos
SOLID Principles for Python Developers
dev.to·23h·
Discuss: DEV
🎭Racket Modules
Automated Test Generation with Custom Claude Commands: Architecting Scalable Testing for Modern Node.js Applications
dev.to·17h·
Discuss: DEV
🎲Test Generators
Semantic Dictionary Encoding
falvotech.com·23h·
Discuss: Hacker News
🗂️Type Indexing
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·23h·
Discuss: www.blogger.com
🔮Lisp Interpreters
Introducing the Constexpr Debugger
blog.jetbrains.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/cpp
🔍Debugging Compilers
Issue 489
haskellweekly.news·5d·
Discuss: Hacker News
👑Dependent Haskell
Balance between refactoring and inheritance in your code
github.com·1d·
Discuss: Hacker News
🧪Compiler Testing
Rustlantis: Randomized Differential Testing of the Rust Compiler
plf.inf.ethz.ch·17h·
Discuss: Hacker News
🏗️Cranelift
LLM in the Middle: A Systematic Review of Threats and Mitigations to Real-World LLM-based Systems
arxiv.org·10h
🔍ML Language
Learn How to Use Transformers with HuggingFace and SpaCy
towardsdatascience.com·1d
📊Pratt Parsers
What Does -> Mean in Python Function Definitions?
realpython.com·1d
🌊Gradual Typing
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·1d
🪢Rope Data Structures
🎲 Python to Bootstrap OpenShift Gitops
stephennimmo.com·30m
🚂Cranelift Backend
Death of a lens(man)
dev.to·2d·
Discuss: DEV
🔗Lexical Scoping
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·5d·
Discuss: Hacker News
🔮Type Inference Visualization
Asynchronous Exceptions in Practice (2017)
simonmar.github.io·19h·
Discuss: Hacker News
🔗Concurrency Primitives