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ยท1d
โกProof Automation
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท1d
๐งฎAlgebraic Archives
Flag this post
What are you doing this weekend?
๐Static Analysis
Flag this post
Issue 496
haskellweekly.newsยท2d
๐Functional Compilers
Flag this post
OpenAI pilots Aardvark for automated security reviews in code
the-decoder.comยท7h
๐Indie Hacking
Flag this post
A Short Introduction to Categorical Logic
youtube.comยท2d
๐Category Theory
Flag this post
Text rendering and effects using GPU-computed distances
blog.pkh.meยท4h
๐Mathematical Art
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท2d
๐Combinatory Logic
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
๐Linear Types
Flag this post
Oops, My UUIDs Collided
๐งชBinary Fuzzing
Flag this post
Java Generics and Collections โข Maurice Naftalin & Stuart Marks โข GOTO 2025
youtube.comยท2d
ฮปLambda Formalization
Flag this post
Creating AI Agents with Mastra and Typescript
โ๏ธTLA+
Flag this post
Roadmap for Improving the Type Checker
๐งLiquid Types
Flag this post
Speedrunning an RL Environment
โ๏ธLean Tactics
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท1d
๐Decompilation
Flag this post
Down with template (or not)!
cedardb.comยท1d
๐ฏGradual Typing
Flag this post
Context Engineering: The Foundation for Reliable AI Agents
thenewstack.ioยท1d
๐Streaming Systems
Flag this post
Loading...Loading more...