News for October 2025
ptreview.sublinear.info·1d
🌸Bloom Filters
Flag this post
Creating Lisp Systems
🏭Code Generation
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·1d
💎Refinement Types
Flag this post
Lowering in Reverse
buttondown.com·1d
🔥DataFusion
Flag this post
Beyond Scarcity: How LLM-Driven Synthetic Data Generation is Reshaping AI
pub.towardsai.net·5h
💬Prompt Engineering
Flag this post
Protest: An ergonomic, powerful, and feature-rich property testing library with minimal boilerplate.
A Claude Code Command for Hypothesis
📦Serde
Flag this post
[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.love·14h
🔨Incremental Compilation
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.com·4d
🐍Python
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·1d
λFunctional Programming
Flag this post
From Vibe Coding to Informed Development: How Codalio PRD Transforms Your Cursor Workflow
🎨API Design
Flag this post
are-dependent-types-actually-erased
🔗Dependent Types
Flag this post
Radar Trends to Watch: November 2025
oreilly.com·22h
🎭Program Synthesis
Flag this post
Loading...Loading more...