💻 Programming languages - matmat · Scour

When Types Intersect and Effects Get Handled

💻programming languages Academic

Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

lix.polytechnique.fr·

a topos-oriented language with a content-addressed lattice heap

📝Compiler Design

yon-lang.org··Hacker News

AWS can now mathematically prove your VMs are isolated

💻Operating System, OS

thenewstack.io·

Proof System Timelines

📐Proof Assistants Blog

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

💻programming languages Code

github.com··Hacker News

Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones

🧬Functional Programming News

developing.dev·

Programming Languages Course Reboot, 2026

💻CS Reference

docs.google.com··Lobsters, Hacker News

The Orchard Bug and the Unfolding Cybersecurity Reckoning

🛡Cybersecurity News Blog

bengoertzel.substack.com··Substack

𝜇⁢𝜆⁢ϵ⁢𝛿-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities

💻CS Academic

arxiv.org··Lobsters

Syntax-driven Incremental Program Verification of Matching Logic Properties

🛡️Archive Verification Academic

Formal verification of the S-two AIR

✅Formal Methods Academic

Discovering Multiscale Deep Formulas in Complex Systems via Neural-Guided Lambda Calculus

💻CS Academic

Abduction Prover in Isabelle/HOL

👑Isabelle/HOL Academic

Strict stability of extension types

🔤Type Theory Academic

A Normative Intermediate Representation for ASP-Based Compliance Reasoning

⚙️Operational Semantics Academic

The Biomimetic Architecture of Software 4.0

🕵Intelligence Academic

Provably Auditable and Safe LLM Agents from Human-Authored Ontologies

💻CS Academic

GCD: Garbled, Corrected, Demonstrandum -- Fixing and Proving Go's Extended GCD Implementation

📋Formal Verification Academic

Incremental Computation for Efficient Programmable Inference in Probabilistic Programs

💻CS Academic

No more posts from matmat's subscribed feeds.

Scour all 25255 feeds Learn more about Feeds

Log in to enable infinite scrolling