✓ Formal Methods - 2601

rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to come

💬REPL Design Code

github.com··Hacker News

Building a serializable database in Rust, and measuring what it costs

🗄️Database Internals

yahyaehsan.dev··Hacker News

Formal verification of the S-two AIR

🎭Program Synthesis Academic

arxiv.org·

15-150: Principles of Functional Programming

🔍Lens Libraries

brandonspark.github.io·

Amazon partnership establishes Cornell AI security initiative

🤖Code Generation News Academic

news.cornell.edu·

Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism

🗺️Region Inference Academic

arxiv.org·

Now available: Amazon EC2 M9g and M9gd instances powered by new AWS Graviton5 processors

🎭Program Synthesis Blog

aws.amazon.com··Hacker News

Correct-by-Construction Design of Timed Systems in Event-B

🔬Code Analysis Academic

arxiv.org·

Programming Languages Course Reboot, 2026

🔬Code Analysis Reference

docs.google.com··Lobsters, Hacker News

FOD#155: Continual Learning in LLMs: Why AI Models Need Sleep

🎭Program Synthesis

turingpost.com·

View from Bangladesh: India forcing people across the border is becoming a test of ties

🔬Code Analysis News

scroll.in·

Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies

🎯Finite Automata Academic

arxiv.org·

Amazon S3 Doesn't Hope Hardware Won't Fail. It Assumes It Already Has.

🏗️Systems Design Video

youtube.com··DEV

AWS’ powerful Graviton5 CPU makes its debut in new M9g and M9gd cloud instances

🎭Program Synthesis

siliconangle.com·

Less-relevant results

BuildByNexora/Kron: Kron makes application time reliable: persistent timers, run history, retries, crash recovery, and an experimental OpenRaft server mode.

📋Task Queues Code

github.com··DEV, r/rust

The Orchard Bug and the Unfolding Cybersecurity Reckoning

🎭Program Synthesis News Blog

bengoertzel.substack.com··Substack

Extending LLVM's BOLT-based Binary Analyser to Validate Stack Variable Initialisation

⚙️Compiler Design Blog

blog.quarkslab.com·

Abduction Prover in Isabelle/HOL

Researchers discover hidden chip threats and a way to stop them

New comment by wipaveeknecht in "Ask HN: Who is hiring? (June 2026)"

rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to come

Building a serializable database in Rust, and measuring what it costs

Formal verification of the S-two AIR

15-150: Principles of Functional Programming

Amazon partnership establishes Cornell AI security initiative

Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism

Now available: Amazon EC2 M9g and M9gd instances powered by new AWS Graviton5 processors

Correct-by-Construction Design of Timed Systems in Event-B

Programming Languages Course Reboot, 2026

FOD#155: Continual Learning in LLMs: Why AI Models Need Sleep

View from Bangladesh: India forcing people across the border is becoming a test of ties

Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies

Amazon S3 Doesn't Hope Hardware Won't Fail. It Assumes It Already Has.

AWS’ powerful Graviton5 CPU makes its debut in new M9g and M9gd cloud instances

BuildByNexora/Kron: Kron makes application time reliable: persistent timers, run history, retries, crash recovery, and an experimental OpenRaft server mode.

The Orchard Bug and the Unfolding Cybersecurity Reckoning

Extending LLVM's BOLT-based Binary Analyser to Validate Stack Variable Initialisation