computer science, automata, theory, computation

Opportunistically Parallel Lambda Calculus
dl.acm.org·4h·
Discuss: Hacker News
🔗Functional Compilers
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·9h
🔗Combinatory Logic
Flag this post
Friday 21 November - 11am
informatics.ed.ac.uk·15h
💻Programming languages
Flag this post
GenAI for Computing Careers: A Sunny Take
cacm.acm.org·12h
📏Code Metrics
Flag this post
A Short Introduction to Categorical Logic
youtube.com·22h
🔀Category Theory
Flag this post
Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.com·8h
🔧RISC-V Assembler
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·13h
λLambda Formalization
Flag this post
AI and the Power of Nonuniform Circuits
blog.computationalcomplexity.org·1d·
🎞️Tape Combinatorics
Flag this post
Fully-Specified Algorithms for JOSE and COSE is now RFC 9864
self-issued.info·4h
🔑Cryptographic Protocols
Flag this post
De Bruijn Numerals
text.marvinborner.de·12h·
Discuss: Hacker News
λLambda Encodings
Flag this post
AI Scientists History
diffuse.one·12h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Flag this post
ESTIMED_hackathon1_SSSUP
hackster.io·14h
🔒WASM Capabilities
Flag this post
Edge-Computing AI for Medical Devices
link.springer.com·2h
🌊Stream Processing
Flag this post
Issue 496
haskellweekly.news·14h
🔗Functional Compilers
Flag this post
👨‍🍳 Part 4: Coroutines Waiters Who Listen
dev.to·11h·
Discuss: DEV
🌊Stream Processing
Flag this post
Turing Machine Visualization (2016)
turingmachine.io·3d·
Discuss: Hacker News
🎞️Tape Combinatorics
Flag this post
Ajla Tutorial
ajla-lang.cz·2h·
Discuss: Hacker News
💧Liquid Types
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·1d·
Discuss: Substack
🧬Functional Programming
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·1d·
λLambda Encodings
Flag this post