Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·18h·
Discuss: r/javascript, r/programming
λLambda Encodings
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.com·16h·
Discuss: Hacker News
✨Effect Handlers
Flag this post
Function Calling in LangChain: Turning Chatbots into Enterprise Copilots
dev.to·4h·
Discuss: DEV
⚡SMT Applications
Flag this post
GHC: From Bug to Merge
neilmitchell.blogspot.com·6h·
Discuss: Hacker News
🔤Type Theory
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·3h·
Discuss: Hacker News
📊Static Analysis
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·18h·
Discuss: Substack
🧬Functional Programming
Flag this post
Arranging the PIC Parterre
rastamouse.me·1d
🔗Static Linking
Flag this post
Concurrency Step-by-Step: Conforming to Protocols
massicotte.org·3d·
Discuss: Hacker News
🌐Protocol Synthesis
Flag this post
Show HN: Everything it took to run an LLM at 10k tok/s on H200s
relace.ai·11h·
Discuss: Hacker News
📏Code Metrics
Flag this post
[$] Fil-C: A memory-safe C implementation
lwn.net·1d
🦀Rust Borrowing
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·1d
💻Programming languages
Flag this post
A Short Introduction to Categorical Logic
youtube.com·43m
🔀Category Theory
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·13h·
Discuss: Substack
💻Programming languages
Flag this post
Making MLS More Decentralized
blog.phnx.im·18h·
Discuss: Hacker News
🌳Archive Merkle Trees
Flag this post
Do you know what really happens when you run kubectl apply?
medium.com·3h
📦Container Security
Flag this post
dbt Labs Open Sources MetricFlow: An Independent Schema for Data Interoperability
thenewstack.io·15h
🏷️Metadata Standards
Flag this post
Top 6 API Architecture Styles
blog.algomaster.io·42m
⚡gRPC
Flag this post
Fixing Type Hints for Callable Objects with Custom Signatures in Dagster
dev.to·1d·
Discuss: DEV
🦀Rust Verification
Flag this post
Opportunistic Mutation in Roc
roc-lang.org·1d·
Discuss: Hacker News
📏Code Metrics
Flag this post
Antonio Cuni: Inside SPy, part 1: Motivations and Goals
antocuni.eu·11h·
Discuss: Hacker News
🎯Gradual Typing
Flag this post