kqr's Feed · Scour

Property-based testing as executable specs for agentic coding

kiro.dev·2h·

Discuss: Hacker News

🎲Property-Based Testing

4 Emacs packages that replaced everyday apps for me

howtogeek.com·1d

What's up with Haskell's do notation?

slightknack.dev·11h

crfb.org·1h

💳personal finance

Get Started with NixOS

nixos-and-flakes.thiscute.world·1d

How Analysts Translate Messy Data, DAX, and Dashboards into Action Using Power BI

dev.to·10h·

Discuss: DEV

📉Data Visualization

POPL-KF: A Pose-Only Geometric Representation-Based Kalman Filter for Point-Line-Based Visual-Inertial Odometry

arxiv.org·23h

🧭Inertial Navigation

A Note on Flat Abstract Syntax Trees

gist.github.com·9h·

Discuss: Hacker News

🔗Parser Combinators

Testing software in the era of coding agents

garymm.org·13h·

Discuss: Hacker News

🔴Test-Driven Development

Performance Tip of the Week #53: Precise C++ benchmark measurements with Hardware Performance Counters

abseil.io·2d

⚙️Performance Profiling

plrg-bristol/advanced-haskell-2026: Resources for the 2026 Advanced Haskell seminar series at Bristol

github.com·8h

Beyond the Restart — The Era of Agentic Self-Healing Microservices

dev.to·11h·

Discuss: DEV

⚡Circuit Breakers

Sign up or login to customize your feed and get personalized topic recommendations

We studied 70 countries’ economic data for the last 60 years and something big about market crashes changed 25 years ago

fortune.com

·1d

📊Economic History

Should You Stop Contributing To Your IRA?

humbledollar.com·2h

💳personal finance

andywingo/wastrel: WebAssembly-to-C compiler

codeberg.org·6h

Simplifying assertions with lenses

blog.ploeh.dk·14h

✅Property Testing

Ergodicity of an Adaptive MCMC Sampler under a Probability Bound

arxiv.org·23h

An introduction to lockless algorithms [LWN.net]

lwn.net·16h

😴Lazy Evaluation

Lean 4 and the Curry–Howard correspondence

wildonblog.wordpress.com·9h

The Adventures of a Pythonista in Schemeland/28

artima.com·2d

🔮Lisp Macros

Loading more...