🔄 Subinterpreters - abnv · Scour

[2004.00731] Small object arguments, plus-construction, and left-exact localizations

arxiv.org·6h

↕️Bidirectional Types

Craig Interpolation in Program Verification

arxiv.org·15h

⚡Partial Evaluation

purpose is but the slave to memory - Chapter 1 - syllic

archiveofourown.org·17h

🧠Memory Models

How Wix Built AI-Driven Incident Response at Scale with ClickHouse and Wild Moose

clickhouse.com·7h

🛡️Error Ergonomics

Less focused work with AI

flowingdata.com·11h

🎭Program Synthesis

models - A fast CLI and TUI for browsing AI models and coding agents.

terminaltrove.com·1h

🔮Type Inference Visualization

Gemini in Gmail is saving my time by perfecting the art of ghosting

androidpolice.com·8h

📝Rope Editors

Compound Engineering: The Definitive Guide

kill-the-newsletter.com·1d

🚂Cranelift IR

Let Lambda Come Over

yamlscript.org·3d

λLambda Calculus

Build a Compiler in Five Projects

kmicinski.com·3d

🎭Racket Modules

Local-First AI: How SLMs are Fixing the Latency Gap 💻✨

dev.to·1d·

Discuss: DEV

🏰Capability Machines

Beyond RAG: Building an AI Companion with "Deep Memory" using Knowledge Graphs

dev.to·1d·

Discuss: DEV

💬Smalltalk VMs

The control layer for AI

blog.dottxt.ai·3d·

Discuss: Hacker News

🔀Control Structures

What AI Security Research Looks Like When It Works

aisle.com·9h

🎯Symbolic Execution

Tutorial on Agentic Engine

pori.vanangamudi.org·1d·

Discuss: r/LocalLLaMA

Designing Effective Multi-Agent Architectures

oreilly.com·1d

📋Task Queues

The wonders of cooperative inheritance, or using super in Python 3

artima.com·2d

🎭Racket Modules

AI Coding Is a Framework—Use It Like a Library

piglei.com·13h·

Discuss: Hacker News, r/programming

🎭Program Synthesis

Guide: Getting started with choosing a Machine Learning CLIP Model for Smart Search · immich-app/immich

github.com·20h

On the Tension Between Object-Oriented and Generic Programming in C++

artima.com·2d

🗂️Type Indexing

Loading more...