Protest: An ergonomic, powerful, and feature-rich property testing library with minimal boilerplate.
I’ve indexed all Strange Loop conference talks so you can use semantic search to find relevant videos
🔨Compiler Design
Flag this post
From Zero to AI Agent: How I Built Codexa in 24 Hours with Mastra and Telex.im
💬Prompt Engineering
Flag this post
Lowering in Reverse
🔥DataFusion
Flag this post
Rust Foundation Maintainers Fund Announced For Long-Term Support To Rust Developers
phoronix.com·1d
🦀Rust Async
Flag this post
Switching from GPG to Age
🔒Security
Flag this post
Patching 68K Software – SimpleText
🔎Valgrind
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·14h
🧮SMT Solvers
Flag this post
Composing and Decomposing AI Functions (Tutorial with Python Examples)
🎭Program Synthesis
Flag this post
Gen AI Grows Up: Building Production-Ready Agents on the JVM • Rod Johnson • GOTO 2025
youtube.com·5h
📱Edge AI
Flag this post
Showcase: In Memoria - Rust core with TypeScript/NAPI interface for high-performance AI tooling
🔧Embedded Rust
Flag this post
A Claude Code Command for Hypothesis
✅Property Testing
Flag this post
Ruby and Its Neighbors: Smalltalk
💎Refinement Types
Flag this post
Loading...Loading more...