Roadmap for Improving the Type Checker
๐ฏGADT
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท1d
โก๏ธCategory Theory
Flag this post
Evidence on language model consciousness
lesswrong.comยท18h
๐Automata Learning
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท2d
๐งฎZ3 Solver
Flag this post
My first fifteen compilers (2019)
โ๏ธCompiler Design
Flag this post
Java Generics and Collections โข Maurice Naftalin & Stuart Marks โข GOTO 2025
youtube.comยท2d
ฮปFunctional Programming
Flag this post
Reflection for Aggregates (2020)
๐ขAlgebraic Data Types
Flag this post
The Python Coding Stack: And Now You Know Your ABC
thepythoncodingstack.comยท9h
๐ฌStatic Analysis
Flag this post
AI as Mathematical Muse: Unlocking the Universe's Secrets Together
๐ขComputability Theory
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
๐ขAlgebraic Data Types
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock โ Part 1
aws.amazon.comยท1d
๐ง Automated Reasoning
Flag this post
Engineering a Rust optimization quiz
fasterthanli.meยท11h
โ๏ธNixified Development
Flag this post
A Three-Stage Bayesian Transfer Learning Framework to Improve Predictions in Data-Scarce Domains
arxiv.orgยท1d
๐Automata Learning
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.orgยท1d
๐CBMC
Flag this post
Smaller Surfaces
๐Refinement Types
Flag this post
Loading...Loading more...