📏 Linear Logic - matmat · Scour

intersection type in nLab

ncatlab.org·1d

🧮Algebraic Datatypes

The Container paradox: Why the Inference Cloud Demands a “Decoupled” Database

digitalocean.com·1d

🗄️Database Sharding

Double Maths First Thing: Issue 4B

aperiodical.com·9h

Functional Optics for Modern Java

blog.scottlogic.com·2d

💧Liquid Types

Simplifying assertions with lenses

blog.ploeh.dk·2d

🔗Functional Compilers

VERIFY-RL: Verifiable Recursive Decomposition for Reinforcement Learning in Mathematical Reasoning

arxiv.org·1d

⚔️Lean Tactics

Zero-Trust Data Warehousing for Agentic AI: Why Trusting the Pipeline No Longer Scales

hackernoon.com·1d

⚙️Batch Processing

The proof theory and semantics of second-order (intuitionistic) tense logic

arxiv.org·2d

👑Isabelle/HOL

DASL: Web Tiles

dasl.ing·23h·

Discuss: Hacker News

🌐Web Standards

Differential Logic • 2

inquiryintoinquiry.com·5d

⚖️Constraint Logic

Architecture of SQLite

sqlite.org·5h·

Discuss: Hacker News

🗄️SQLite Internals

The State of Agentic Graph RAG

localoptimumai.substack.com·1d·

Discuss: Substack

🧮Datalog Systems

HTTP/2 From Scratch: Part 1

kmcd.dev·6h

Standardizing HLSL

devblogs.microsoft.com·1d·

Discuss: Lobsters, Hacker News

🖥️Terminal Renaissance

Differential Logic • 1

inquiryintoinquiry.com·6d

⚖️Constraint Logic

Domain Specific Languages

martinfowler.com·1d

🗣️Domain-Specific Languages

What Functional Programmers Get Wrong About Systems

iankduncan.com·1d·

Discuss: Lobsters, Hacker News, r/programming

⚖️Verification Calculi

Lean 4 and the Curry–Howard correspondence

wildonblog.wordpress.com·1d

⚔️Lean Theorem

I let Claude Code with 150 offensive security MCP tools loose on my homelab

credrelay.com·4h·

Discuss: Hacker News

🏠Homelab Pentesting

Show HN: Deterministic linguistic enrichment pipeline for Node.js

npmjs.com·1d·

Discuss: Hacker News

🌀Brotli Internals

Loading more...