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ยท1h
๐Automata Learning
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
๐งฎ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ยท1d
ฮปFunctional Programming
Flag this post
Reflection for Aggregates (2020)
๐ขAlgebraic Data Types
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ยท7h
๐ง Automated Reasoning
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
What are you doing this weekend?
๐Nix Language
Flag this post
GHC 9.14.1-rc1 is now available
๐๏ธDune
Flag this post
Scalable Static Analysis Framework โ hardening large C++ codebases (LLVM/Apple)
๐ฌStatic Analysis
Flag this post
Loading...Loading more...