Proficient Python: Course Overview
proficientpython.com·9h
🔗Concatenative Programming
Strict alternation of data and behaviour in Smalltalk
eighty-twenty.org·9h
📞Session Types
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·8h·
Discuss: DEV
🧮Kolmogorov Complexity
Threaded Code
muforth.dev·7h·
Discuss: Hacker News
🦀Rust Macros
Coping with Complexity
slott56.github.io·4d
🔗Concatenative Programming
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·4h·
Discuss: DEV
📏Code Metrics
Why Dyad?: A Perspective for Modelica Users
juliahub.com·3h·
Discuss: Hacker News
💧Liquid Types
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
💻Local LLMs
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·1d·
Discuss: Hacker News
⚙️TLA+
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·14h
🔍Concolic Testing
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
What LLMs Know About Their Users
schneier.com·7h·
Discuss: Hacker News
💻Local LLMs
HariSekhon/DevOps-Bash-tools
github.com·16h
🐚Shell Automation
Building a Language Server
bullno1.com·2d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
The Bitter Lesson is coming for Tokenization
lucalp.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
PEGTL -- Parsing Expression Grammar Template Library
github.com·19h·
Discuss: Hacker News
🔗Parser Combinators
Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·9h·
Discuss: DEV
⚡Performance Tools
Rust: A language that grows with you, your career and your projects
kerkour.com·12h·
Discuss: Hacker News
🦀Rust Macros
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·4h·
Discuss: Hacker News
📋DFDL
Programming Entry Level: how to interpreter
dev.to·18h·
Discuss: DEV
🔗Lisp