Building a Rules Engine from First Principles
towardsdatascience.comยท9h
๐Combinatory Logic
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.orgยท1d
๐ปProgramming languages
Flag this post
Roadmap for Improving the Type Checker
๐งLiquid Types
Flag this post
A Short Introduction to Categorical Logic
youtube.comยท22h
๐Category Theory
Flag this post
Everything About Transformers
krupadave.comยท21h
๐Text Parsing
Flag this post
Friday 21 November - 11am
informatics.ed.ac.ukยท16h
๐ปProgramming languages
Flag this post
Java Generics and Collections โข Maurice Naftalin & Stuart Marks โข GOTO 2025
youtube.comยท13h
ฮปLambda Formalization
Flag this post
AI Experiments: Fast Inference with Groq and Third-Party Tools with Kimi K2 in TypingMind
macstories.netยท6h
๐Brotli Dictionary
Flag this post
Issue 496
haskellweekly.newsยท14h
๐Functional Compilers
Flag this post
De Bruijn Numerals
ฮปLambda Encodings
Flag this post
Show HN: sjl โ Simple JSON Logger for Rust
๐CBOR
Flag this post
Ajla Tutorial
๐งLiquid Types
Flag this post
Scalable Static Analysis Framework โ hardening large C++ codebases (LLVM/Apple)
๐Static Analysis
Flag this post
Context engineering
๐ง Intelligence Compression
Flag this post
Loading...Loading more...