⚡ Const Evaluation - emschwartz · Scour

igrishaev/any: Objects for smart comparison in tests.

github.com·1h

The 185-Microsecond Type Hint

blog.sturdystatistics.com·14h·

Discuss: Lobsters, Hacker News, r/programming

CIll: CTI-Guided Invariant Generation via LLMs for Model Checking

arxiv.org·1d

🧮SMT Solvers

Zig `hexagon-linux-none` target cross compilation

ziggit.dev·5h

📄File Formats

The Rust Calling Convention We Deserve

mcyoung.xyz·1d·

Discuss: Hacker News

⚙Rust Compiler Internals

`derive_parser` – Automatically derive a parser from your syntax tree

github.com·1d·

Discuss: r/rust

📝Markdown Parsers

tokio.rs·20h

A Number with a Shadow

campedersen.com·1d

Refining Almost-Safe Value Functions on the Fly

arxiv.org·1d

🧮SMT Solvers

I Fuzzed, and Vibe Fixed, the Vibed C Compiler

john.regehr.org·17h·

Discuss: Lobsters, Hacker News

⚙Rust Compiler Internals

Shipping specialization: a story of soundness

aturon.github.io·1d

⚙Rust Compiler Internals

Extending Formal Verification to Sequential Circuits (U. of Bremen)

semiengineering.com·19h

TypeScript Decorators: From Basics to Advanced

slicker.me·1d·

Discuss: r/typescript

Why does @field work for declarations?

ziggit.dev·18h

🔒Borrow Checker

🐥 Optimizing nested array operations in PHP: from O(3n) to O(n)

yellowduck.be·1d

🏹Apache Arrow

State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more

philipzucker.com·1d

🧮SMT Solvers

Implementing Burger-Dybvig: finding the shortest decimal that round-trips to the original IEEE 754 bits, with ECMA-262 tie-breaking

lattice-substrate.github.io·23h·

Discuss: r/programming

🔢Algebraic Data Types

getopt: Go package for POSIX/GNU-style command line parsing

pkg.go.dev·16h·

Discuss: Lobsters

Gotchas — Fortran Programming Language

fortran-lang.org·2d

💻Programming languages

Making Verifpal Easier to Reason About

symbolic.software·2d

🔍Binary Analysis

Loading more...