💻 programming languages

📐Type Theory Academic

arxiv.org·

DABO — What If Agents Didn't Need the Cloud Most of the Time...

🏗️Compiler Design Code

github.com··r/SideProject

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

✅Formal Verification

lix.polytechnique.fr·

Temple, AST, and Protocols

🔧Functional Programming

mitchellhanberg.com·

Proof System Timelines

✅Formal Verification Blog

klatz.co·

Trust No Skill: Integrity Verification for AI Agent Supply Chains

🏗️Compiler Design Blog

unit42.paloaltonetworks.com·

Running Dialyzer for Elixir Projects in GitHub Actions

🔧Functional Programming Blog

stratus3d.com·

Secure Code Review Using AI without burning tokens

🏗️Compiler Design Blog

medium.com·

Introducing Lightstep UQL to PromQL Translator

🏗️Compiler Design Blog

engineering.zalando.com·

Software Engineering is the new Manufacturing Engineering

🏗️Compiler Design

halecraft.org··Hacker News

I bet everything on eight weeks: solo #1 on MTEB English v2

🏗️Compiler Design Blog

sentimark.ai··Hacker News

cryspen/hax: A Rust verification tool

✅Formal Verification Code

github.com··Lobsters

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

🔧Functional Programming Academic

arxiv.org··Lobsters

What is AI SAST?

🔍Static Analysis Blog

aikido.dev·

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

✅Formal Verification Academic

arxiv.org·

kerbelp/metatron: Metatron is a self-hosted system that captures a codebase's real implementation decisions — preferred patterns, rejected approaches, edge cases, internal conventions — as structured priors, and serves them to coding agents over MCP (Model Context Protocol). The goal: an agent writes code like a senior engineer who already knows the codebase

🏗️Compiler Design Code

github.com··Hacker News

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

Strict stability of extension types

DABO — What If Agents Didn't Need the Cloud Most of the Time...

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

Temple, AST, and Protocols

Proof System Timelines

Trust No Skill: Integrity Verification for AI Agent Supply Chains

Running Dialyzer for Elixir Projects in GitHub Actions

Secure Code Review Using AI without burning tokens

Introducing Lightstep UQL to PromQL Translator

Software Engineering is the new Manufacturing Engineering

I bet everything on eight weeks: solo #1 on MTEB English v2

cryspen/hax: A Rust verification tool

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

What is AI SAST?

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