Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·22h
🧮Algebraic Archives
Flag this post
Issue 496
haskellweekly.news·1d
🔗Functional Compilers
Flag this post
Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
dev.to·1d·
Discuss: DEV
🗺️Competency Maps
Flag this post
De Bruijn Numerals
text.marvinborner.de·1d·
Discuss: Hacker News
λLambda Encodings
Flag this post
Context Engineering: The Foundation for Reliable AI Agents
thenewstack.io·6h
🌊Streaming Systems
Flag this post
My Wishlist for PHP in 2026
stitcher.io·1d·
Discuss: Hacker News
📝Concrete Syntax
Flag this post
Ajla Tutorial
ajla-lang.cz·1d·
Discuss: Hacker News
💧Liquid Types
Flag this post
Breaking Monoliths Taught Me How to Fix Data
blog.matterbeam.com·10h·
Discuss: Hacker News
👁️Observatory Systems
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·2d·
Discuss: Substack
💻Programming languages
Flag this post
Context-Bench: Benchmarking LLMs on Agentic Context Engineering
letta.com·8h·
Discuss: Hacker News
🗣️Domain-Specific Languages
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·12h·
Discuss: Lobsters, Hacker News
🔒Type Safety
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·1h·
Discuss: Hacker News
⚡Homebrew CPUs
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·2d·
Discuss: Substack
🧬Functional Programming
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·8h·
Discuss: Hacker News
🔗Network Calculi
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·1d·
Discuss: Hacker News
🎯Gradual Typing
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·1h·
Discuss: Hacker News
👑Dependent Haskell
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·22h
💻Local LLMs
Flag this post
Olsrt – OverLab Streams Runtime
news.ycombinator.com·12h·
Discuss: Hacker News
🔒Linear Types
Flag this post
Process World, Object-Oriented Mind
aethermug.com·1d·
Discuss: Hacker News
🔩Systems Programming
Flag this post
The Epistemic Suite: A Post-Foundational Diagnostic Methodology for Assessing AI Knowledge Claims
arxiv.org·1d
🗺️Competency Maps
Flag this post