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
Teaching Probabilistic Machine Learning in the Liberal Arts: Empowering Socially and Mathematically Informed AI Discourse
arxiv.org·22h
🔲Cellular Automata
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
Fully-Specified Algorithms for JOSE and COSE is now RFC 9864
self-issued.info·4h
🔑Cryptographic Protocols
Flag this post
De Bruijn Numerals
λLambda Encodings
Flag this post
AI Scientists History
🏴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
Turing Machine Visualization (2016)
🎞️Tape Combinatorics
Flag this post
Ajla Tutorial
💧Liquid Types
Flag this post
Loading...Loading more...