PHP Almost Generics: Guided Journey Through the Official Compile-Time Proposal
doganoo.medium.com·9h·
Discuss: Hacker News
🪆Embedded DSLs
Speeding Up NestJS Tests with DB Transactions
medium.com·22h·
Discuss: Hacker News
🧪Compiler Testing
Optimising A Rust Keyboard Firmware's Key Storage Implementation by Flattening Tree-like Structs
rgoulter.com·5h·
Discuss: r/rust
🦀MIR Optimization
Creating a database of motivated proofs
gowers.wordpress.com·17h·
Discuss: Hacker News
⚖️Inference Rules
Clean Design, Strong Client: The way of the Elasticsearch's Java SDK
dev.to·1d·
Discuss: DEV
🔧API Design
GPT-5’s Enhanced Reasoning Comes With a Steep Hidden Cost
thenewstack.io·6m
🎭Program Synthesis
IDfRA: Self-Verification for Iterative Design in Robotic Assembly
arxiv.org·11h
🎭Program Synthesis
Checking extracted rules in Neural Networks
arxiv.org·11h
⚖️Inference Rules
AC^0[p]-Frege Cannot Efficiently Prove that Constant-Depth Algebraic Circuit Lower Bounds are Hard
arxiv.org·11h
🧮Theorem Provers
Verifying User Interfaces using SPARK Ada: A Case Study of the T34 Syringe Driver
arxiv.org·11h
📜Bytecode Interpreters
Building Great AI Agents Is a Path Exploration Problem
verdik.substack.com·17m·
Discuss: Substack
🚶Tree-walking
Reflecting on the State of Rehearsal-free Continual Learning with Pretrained Models
arxiv.org·11h
🗺️Region Inference
SignalLLM: A General-Purpose LLM Agent Framework for Automated Signal Processing
arxiv.org·11h
✨Gleam
CompileBench: Can AI Compile 22-year-old Code?
simonwillison.net·19h
🎯99-Line Tools
Proof Rules for MetaSMT
philipzucker.com·1d
🧮Theorem Provers
Quartic Quantum Speedups for Planted Inference
journals.aps.org·2h
🧩Constraint Solvers
Spiffy: Multiplying Diffusion LLM Acceleration via Lossless Speculative Decoding
arxiv.org·11h
🗺️Region Inference
Theory Meets Practice for Bit Vectors Supporting Rank and Select
arxiv.org·11h
🎯Bit Vectors
Vanishing of Schubert coefficients in probabilistic polynomial time
arxiv.org·11h
🧮Combinator Calculus
LiteRSan: Lightweight Memory Safety Via Rust-specific Program Analysis and Selective Instrumentation
arxiv.org·11h
🔒Rust Borrowing