📐 Type Theory - hello · Scour

Incremental Lambda Calculus λFunctional Programming

inc-lc.github.io·4d·Hacker News

Non-monomorphized generics in Rust 🔀Crossbeam

gist.github.com·1d·r/rust

Intent-aligned Formal Specification Synthesis via Traceable Refinement 🎭Program Synthesis

arxiv.org·18h

Everything Should Be Typed: Scalar Types Are Not Enough 📦Serde

sot.dev·1d·Lobsters, Hacker News, r/programming, r/rust

FlowChecker: Support destructuring params in typed functions ❗Thiserror

github.com·6d

Awesome List Updated on Apr 12, 2026 🔧Abseil

trackawesomelist.com·2d

ArkType: The Parse-Don't-Validate Sequel I Didn't Know I Needed ⚙️SWC

cekrem.github.io·5d

Beyond Static Analysis: Proving Automotive Cybersecurity and Functional Safety 🔬Static Analysis

embedded.com·6d

Helper–exploiter polymorphism with ecological inheritance 🎯Hindley-Milner

pnas.org·6d

VulWeaver: Weaving Broken Semantics for Grounded Vulnerability Detection 📡SonarQube

arxiv.org·18h

$\lambda_A$: A Typed Lambda Calculus for LLM Agent Composition 💎Refinement Types

arxiv.org·18h

HarshithReddy01/redos-analyzer: Static analysis tool that detects and automatically fixes ReDoS vulnerabilities in Python using sre_parse AST analysis. ⚡Ruff

github.com·6d·Hacker News

yogthos/chiasmus: Chiasmus is an MCP server that gives language models access to formal verification 🏗️Cranelift

github.com·5d

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference 🔗Dependent Types

arxiv.org·6d

A Gradual Probabilistic Lambda Calculus λFunctional Programming

arxiv.org·6d

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery 🔍KLEE

arxiv.org·5d

A Global Model Structure for $\mathbb{K}$-Linear $\infty$-Local Systems ∘Category Theory

arxiv.org·6d

PROMISE: Proof Automation as Structural Imitation of Human Reasoning 🧮SMT Solvers

arxiv.org·6d

Branching Out: Existential External Choice in Effpi 📦Folly

arxiv.org·5d

An Empirical Analysis of Static Analysis Methods for Detection and Mitigation of Code Library Hallucinations 🔬Static Analysis

arxiv.org·4d