Strict alternation of data and behaviour in Smalltalk
eighty-twenty.org·13h
📞Session Types
Coping with Complexity
slott56.github.io·4d
🔗Concatenative Programming
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Portia – open-source framework that makes it easy to build Agentic AI workflows
quiz.businessexplain.com·4h·
Discuss: Hacker News
👑Isabelle
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·4d·
Discuss: Hacker News, r/programming
💻Programming languages
Threaded Code
muforth.dev·12h·
Discuss: Hacker News
🦀Rust Macros
Explaining software and computational methods
blog.khinsen.net·22h·
Discuss: Hacker News
📝Concrete Syntax
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.com·6h
💻Local LLMs
Proficient Python: A free interactive online course
blog.pamelafox.org·2d·
Discuss: www.blogger.com, Hacker News
🔗Concatenative Programming
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·3d·
Discuss: Hacker News
🔗Functional Compilers
Getting an LLM to set its own temperature
amanvir.com·23h·
Discuss: Hacker News
🐛Fuzzing
Godel's Incompleteness Theorem
news.ycombinator.com·6h·
Discuss: Hacker News
🔤Type Theory
Exploring High Efficiency Web Analysis Results（1750876031390300）
dev.to·4h·
Discuss: DEV
🌊Stream Processing
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.org·18h
🔍Type Inference
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·5h·
Discuss: Hacker News
⚡Proof Automation
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·21h·
Discuss: Hacker News
🦀Rust Macros
Struggling with lambda functions? Learn them in 3 easy steps.
dev.to·4d·
Discuss: DEV
λLambda Encodings
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·15h
⬆️Lambda Lifting