Building a Rules Engine from First Principles
towardsdatascience.com·14h
🔗Combinatory Logic
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·10h·
Discuss: Hacker News
🔗Functional Compilers
Flag this post
A Short Introduction to Categorical Logic
youtube.com·1d
🔀Category Theory
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·4h
🧮Algebraic Archives
Flag this post
Vibe coding needs a spec, too
stackoverflow.blog·52m
🔌Interface Evolution
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·7h·
Discuss: Lobsters, Hacker News
💧Liquid Types
Flag this post
Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.com·14h
🔧RISC-V Assembler
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·6h·
Discuss: Hacker News, r/programming
🦀Rust Macros
Flag this post
Ajla Tutorial
ajla-lang.cz·8h·
Discuss: Hacker News
💧Liquid Types
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·3h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Flag this post
Fully-Specified Algorithms for JOSE and COSE is now RFC 9864
self-issued.info·10h
🔑Cryptographic Protocols
Flag this post
Exploring Python Logic: How to Turn Conditions into Code
dev.to·23h·
Discuss: DEV
🔗Constraint Handling
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·19h
λLambda Formalization
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·1d·
Discuss: Substack
💻Programming languages
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·1d·
Discuss: r/javascript, r/programming
λLambda Encodings
Flag this post
The Epistemic Suite: A Post-Foundational Diagnostic Methodology for Assessing AI Knowledge Claims
arxiv.org·1d
🗺️Competency Maps
Flag this post
Issue 496
haskellweekly.news·20h
🔗Functional Compilers
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·1d·
Discuss: Substack
🧬Functional Programming
Flag this post
HeraclesQL: A Python DSL for Writing Alerts
hudsonrivertrading.com·14h·
Discuss: Hacker News
✅Format Verification
Flag this post
Quantum-Resistant Federated Learning with Lattice-Based Homomorphic Encryption for Edge AI Systems
dev.to·23h·
Discuss: DEV
🔲Lattice Cryptography
Flag this post