📐 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·17h

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

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

All of the String types 🪢Rope Data Structure

lambdalemon.gay·6d·Lobsters, Hacker News

TypeScript Utility Types That Actually Save Time in Production SaaS Code 🦕Deno

dev.to·1d·DEV

Awesome List Updated on Apr 12, 2026 🔧Abseil

trackawesomelist.com·2d

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

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

github.com·5d

MoonBit 0.9: Introducing First-Class Formal Verification ✓Formal Verification

moonbitlang.com·6d·Lobsters

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

arxiv.org·6d

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

SonarQube vs PMD: Java Static Analysis Compared (2026) 📡SonarQube

dev.to·5d·DEV

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

No more posts from hello's subscribed feeds.

Scour all 23983 feeds Learn more about Feeds