💻 Programming languages - emschwartz · Scour

Portland PLV Group 🧮SMT Solvers

plv.cs.pdx.edu·5d

samth/gradual-typing-bib: A bibliography on Gradual Typing 📏Linear Types

github.com·1d·Lobsters

Formal Verification Gates for AI Coding Loops 📐TLA+

news.ycombinator.com·4h·Hacker News

Erasing Existentials 🧩Types

wolfgirl.dev·15h·Lobsters, Hacker News

Introduction to Lean for Programmers 🧮SMT Solvers

towardsdatascience.com·1d

Eliminating reversals from cubical type theories 🧩Types

Formal Verification Gates for AI Coding Loops 📐TLA+

reubenbrooks.dev·13h·Hacker News

Lambda Diagrams 🗂️Code Indexing

NULL BITMAP by Justin Jaffray via buttondown.com·2d·Hacker News

Semantic conventions for generative AI systems ✨Gemini

opentelemetry.io·6d

How a Compiler Turns Your Code Into CPU Instructions ⚙Rust Compiler Internals

siliconopera.com·2d

hica in comparison to Rust ⚙Rust Compiler Internals

cladam.github.io·5d·r/rust

[2605.21337] Multicategorical Semantics for Untyped Effects 🧩Types

We are reaching the structural limits of probabilistic code generation 📐TLA+

logicalintelligence.com·2d·r/SoftwareEngineering, r/artificial

Hitchhiker's Guide to Logical Verification (2023 Edition) 🔁Finite Automata

lean-forward.github.io·5d·Hacker News

Prolog Coding Horror 🔁Finite Automata

metalevel.at·3d·Hacker News

Joy & Curiosity #86 🪄Prompt Engineering

registerspill.thorstenball.com·3d

Optimizing Optimizations, Declaratively: Optimizing the Higher-Order Functions in Mathematical Optimization with egglog 🧮SMT Solvers

On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications 📐TLA+

proofsandintuitions.net·3d·Lobsters, Hacker News

Position: A Three-Layer Probabilistic Assume-Guarantee Architecture Is Structurally Required for Safe LLM Agent Deployment 📐TLA+

Less-relevant results

theory uplift differentially benefits safety & is underleveraged 📐Progressive Enhancement

lesswrong.com·7h

Log in to enable infinite scrolling