Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
๐ฆRust Borrowing
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock โ Part 1
aws.amazon.comยท46m
โกProof Automation
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท18h
๐งฎAlgebraic Archives
Flag this post
What are you doing this weekend?
๐Static Analysis
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Functional Compilers
Flag this post
A Short Introduction to Categorical Logic
youtube.comยท1d
๐Category Theory
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
๐Combinatory Logic
Flag this post
Oops, My UUIDs Collided
๐งชBinary Fuzzing
Flag this post
Java Generics and Collections โข Maurice Naftalin & Stuart Marks โข GOTO 2025
youtube.comยท1d
ฮปLambda Formalization
Flag this post
Vibe coding needs a spec, too
stackoverflow.blogยท14h
๐Interface Evolution
Flag this post
Roadmap for Improving the Type Checker
๐งLiquid Types
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท22h
๐Decompilation
Flag this post
Down with template (or not)!
cedardb.comยท22h
๐ฏGradual Typing
Flag this post
Context Engineering: The Foundation for Reliable AI Agents
thenewstack.ioยท2h
๐Streaming Systems
Flag this post
Reflection for Aggregates (2020)
๐Type Safety
Flag this post
From Lossy to Lossless Reasoning
๐จCompilers
Flag this post
GHC 9.14.1-rc1 is now available
๐Functional Compilers
Flag this post
Loading...Loading more...