🎲 Property Testing - abnv · Scour

How to Fake a Robotics Result

itcanthink.substack.com·1d·

Discuss: Substack

🌊Loop Invariant Motion

multi-module.org·1d

A Farewell to ActionScript

dev.to·3h·

Discuss: DEV

📚Stack Languages

5 AI Coding Patterns That Actually Work (2026 Edition)

dev.to·14h·

Discuss: DEV

🎭Program Synthesis

Chasing a Zig AVR Segfault Down to LLVM

sourcery.zone·1d·

Discuss: r/Zig

💬Error Messages

Large Language Model Reasoning Failures

arxiv.org·11h

✅Type Checking

A/B test yourself vs code agent | Artur Kęsik

arturkesik.com·3d·

Discuss: Hacker News

🎮Language Ergonomics

Agentic Coding and the Problem of Oracles

epkconsulting.substack.com·1d·

Discuss: r/programming

Tower of Structured Excited States from Measurements

link.aps.org·3d

✨Effect Inference

Beyond Function-Level Analysis: Context-Aware Reasoning for Inter-Procedural Vulnerability Detection

arxiv.org·11h

🌳Pattern Match Compilation

Private Data Space Model

privatedata.space·4d

🪢Rope Data Structures

The Machine Learned Our Language

medium.com·2d·

Discuss: r/programming

🧠Semantic Parsing

AI Makes the Easy Part Easier and the Hard Part Harder

blundergoat.com·1d·

Discuss: Hacker News, Hacker News, r/programming

🎮Language Ergonomics

Tip of the Week #126: `make_unique` is the new `new`

abseil.io·1d

🔄Copy Propagation

marzhall/BBL: A couple of tools for OpenEdge ABL

github.com·2d

Using Rust to Delete Gitignored Cruft

forrestthewoods.com·1d

🔒Rust Borrowing

*META‑Discover: An Automated Knowledge‑Graph‑Driven Pipeline for Emergent Topological Invariants in High‑Dimensional Random Simplicial Complexes*

freederia.com·2d

🪢Rope Data Structures

YS Testing Part 2

yamlscript.org·2d

Import AI 444: LLM societies; Huawei makes kernels with AI; ChipBench

jack-clark.net·2h

🪜Recursive Descent

Should small Rust structs be passed by-copy or by-borrow?

forrestthewoods.com·1d

🔒Rust Borrowing

Loading more...