Reflection for Aggregates (2020)
akrzemi1.wordpress.com·12h·
Discuss: Lobsters, Hacker News
🗂️Type Indexing
Flag this post
Exploring Python Logic: How to Turn Conditions into Code
dev.to·1d·
Discuss: DEV
🧩Prolog
Flag this post
Context Engineering: The Foundation for Reliable AI Agents
thenewstack.io·6h
🏛️Elm Architecture
Flag this post
Making Mathematical Reasoning Adaptive
paperium.net·21h·
Discuss: DEV
🏗️MLIR
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·1h·
Discuss: Hacker News
🌳B+ Trees
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·2d·
Discuss: Substack
⚡functional programming
Flag this post
Using the expand and contract pattern for schema changes
prisma.io·6h·
Discuss: Hacker News
🔄Copy Propagation
Flag this post
7 AI Study Workflows Developers Use to Learn Faster (Prompt Recipes Included)
coursiv.io·16h·
Discuss: DEV
💬Interactive REPLs
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·22h
🔗Category Theory
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·2d·
Discuss: Hacker News
🔪Program Slicing
Flag this post
Making Every 5x5 Nonogram: Part 1
patreon.com·5h·
Discuss: Hacker News
🪢Rope Data Structures
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·9h·
Discuss: Hacker News
🎭Racket Modules
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·8h·
Discuss: Hacker News
📡Protocol Stacks
Flag this post
Issue 496
haskellweekly.news·1d
👑Dependent Haskell
Flag this post
The Structure of Data
theprogrammersparadox.blogspot.com·7h·
Discuss: theprogrammersparadox.blogspot.com
🪢Rope Data Structures
Flag this post
How to validate business logic
event-driven.io·3d
✅Configuration Validation
Flag this post
Building Up And Sanding Down
endler.dev·1d
🔧API Design
Flag this post
I Tried Beating LeetCode Like a Game. It Actually Worked.
dev.to·6h·
Discuss: DEV
🌳Tree Walking
Flag this post
The case against boolean logic
abuseofnotation.github.io·1d·
Discuss: Hacker News
⚖️Inference Rules
Flag this post
Three Meanings of Reference
sandordargo.com·17h·
Discuss: Hacker News, r/cpp
📇Symbol Tables
Flag this post