⚙ Programming Language Design - akshaysiramdas

λType Theory Academic

arxiv.org·

Strict stability of extension types

λType Theory Academic

arxiv.org·

dsecurity49/safe-migrate: A CI/CD infrastructure tool that prevents PostgreSQL database migrations from causing catastrophic locks in production.

⚙DevOps Code

github.com··r/PostgreSQL

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

⚙Instruction Set Code

github.com··Hacker News

Synthics: Synthetic Physics-like Datasets for Machine Learning

🌊Computational Fluid Dynamics Academic

arxiv.org·

Reversible Numeric Composite Key (RNCK)

λType Theory Academic

arxiv.org·

A Normative Intermediate Representation for ASP-Based Compliance Reasoning

λType Theory Academic

arxiv.org·

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

🌐Distributed Systems Academic

arxiv.org·

Provably Auditable and Safe LLM Agents from Human-Authored Ontologies

λType Theory Academic

arxiv.org·

Christian-Katzmann/app-it: A Claude Code + Codex skill that turns a local project into a macOS Dock-launchable app — native window, its own icon, no Electron. [The Windows version is in BETA]

⚙Instruction Set Code

github.com··r/SideProject

The Biomimetic Architecture of Software 4.0

🤖AI Academic

arxiv.org·

Incremental Computation for Efficient Programmable Inference in Probabilistic Programs

λType Theory Academic

arxiv.org·

Why Muon Outperforms Adam: A Curvature Perspective

🤖AI Academic

arxiv.org··DEV

Focus is Motivation

Mental causation is not load-bearing

When Types Intersect and Effects Get Handled

Strict stability of extension types

dsecurity49/safe-migrate: A CI/CD infrastructure tool that prevents PostgreSQL database migrations from causing catastrophic locks in production.

Synthics: Synthetic Physics-like Datasets for Machine Learning

Reversible Numeric Composite Key (RNCK)

A Normative Intermediate Representation for ASP-Based Compliance Reasoning

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

Provably Auditable and Safe LLM Agents from Human-Authored Ontologies

Christian-Katzmann/app-it: A Claude Code + Codex skill that turns a local project into a macOS Dock-launchable app — native window, its own icon, no Electron. [The Windows version is in BETA]

The Biomimetic Architecture of Software 4.0

Incremental Computation for Efficient Programmable Inference in Probabilistic Programs

Why Muon Outperforms Adam: A Curvature Perspective