🎲 Property Testing - abnv · Scour

Wheeler Bisimulations

arxiv.org·8h

🔍Type Inference

SWE Context Bench: A Benchmark for Context Learning in Coding

arxiv.org·8h

🔄Subinterpreters

How to Fake a Robotics Result

itcanthink.substack.com·2d·

Discuss: Substack

🌊Loop Invariant Motion

🚀 OLSRT v1.2: A Powerful Runtime for All Programming Languages!

dev.to·1d·

Discuss: DEV

The Most Dangerous Thing AI Gives Engineers: False Confidence

dev.to·12h·

Discuss: DEV

🚂Error Propagation

multi-module.org·2d

Chasing a Zig AVR Segfault Down to LLVM

sourcery.zone·2d·

Discuss: r/Zig

💬Error Messages

Tower of Structured Excited States from Measurements

link.aps.org·4d

✨Effect Inference

Agentic Coding and the Problem of Oracles

epkconsulting.substack.com·2d·

Discuss: r/programming

Private Data Space Model

privatedata.space·5d

🪢Rope Data Structures

cocoatype/barc-generator: A web-based barcode generator, built with SwiftWasm and Preact

github.com·2d

🚂Cranelift IR

Using Rust to Delete Gitignored Cruft

forrestthewoods.com·2d

🔒Rust Borrowing

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

forrestthewoods.com·2d

🔒Rust Borrowing

AI Makes the Easy Part Easier and the Hard Part Harder

blundergoat.com·2d·

Discuss: Hacker News, Hacker News, r/programming

🎮Language Ergonomics

Sparse Sum‑of‑Squares Certification for High‑Dimensional Stochastic Control Systems — ### Abstract High‑dimensional stochastic control systems—such as ...

freederia.com·3d

⚡Control Synthesis

The Adventures of a Pythonista in Schemeland/29

artima.com·2d

🧼Lisp Hygiene

Structured outputs on Amazon Bedrock: Schema-compliant AI responses

aws.amazon.com·3d

📋JSON Parsers

Tip of the Week #143: C++11 Deleted Functions (<code>= delete</code>)

abseil.io·2d

🔧Scheme Macros

On the Tension Between Object-Oriented and Generic Programming in C++

artima.com·2d

🗂️Type Indexing

What Should Go Into the C++ Standard Library

abseil.io·2d

🧸Toy Compilers

Loading more...