🔬 programming language theory - 2601 · Scour

When Types Intersect and Effects Get Handled

📐Type Theory Academic

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

🔗Dependent Types

lix.polytechnique.fr·

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

⚙️Compiler Design

yon-lang.org··Hacker News

Proof System Timelines

✓Formal Methods Blog

GaussTrace: Provenance Analysis of 3D Gaussian Splatting Models with Evidence-based LLM Reasoning

💬Prompt Engineering Academic

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

🔍Type Inference News

developing.dev·

Using Ropes for Computation

📐Type Theory

wiki.xxiivv.com··Hacker News

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

📐Type Theory Academic

arxiv.org··Lobsters

Van Cleef & Arpels’ High Jewelry Draws on Age-old Fascination for Ancient Egypt

🔬Code Analysis News

·

RedAct: Redacting Agent Capability Traces for Procedural Skill Protection

🔓Binary Exploitation Academic

Provably Auditable and Safe LLM Agents from Human-Authored Ontologies

📐Type Theory Academic

Programming Languages Course Reboot, 2026

✓Formal Methods Reference

docs.google.com··Lobsters, Hacker News

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

📐Type Theory Academic

Less-relevant results

Focus is Motivation

📐Type Theory Blog

scotthyoung.com·

Strict stability of extension types

📐Type Theory Academic

Auto-Relate: A Unified Approach to Discovering Reliable Functional Relationships Leveraging Statistical Tests

🔢Algebraic Datatypes Academic

Incremental Computation for Efficient Programmable Inference in Probabilistic Programs

📐Type Theory Academic

Demand-Driven Vulnerability Detection for Cloud Security Posture Management: Removing Human Rule Authoring from the Disclosure-to-Protection Critical Path

⚖️Inference Rules Academic

Log in to enable infinite scrolling