🔗 Concatenative Programming - matmat · Scour

Weekly Bookmarks

inkdroid.org·1d

📚MARC Archaeology

A simple text file beats complex skill systems for AI coding agents

the-decoder.com

·1d

⚡Proof Automation

Circumstantial Complexity, LLMs and Large Scale Architecture

datagubbe.se·1d·

Discuss: Lobsters, Hacker News

⚙️Proof Engineering

MiquelNasarre/chaotic: Chaotic ― 3D renderer for your crazy math projects in C++. Minimal bloat, minimal complexity, maximal fun!

github.com·17h·

Discuss: Hacker News

📟Terminal Physics

Sixteen Claude AI agents working together created a new C compiler

arstechnica.com·2d·

Discuss: r/programming, r/technews

🏗️Compiler Archaeology

dev.to·22h·

Discuss: DEV

✨Effect Handlers

ChatGPT vs. Logic: Why AI Code is Slower

dev.to·2d·

Discuss: DEV

🌊Streaming Algorithms

Text classification with Python 3.14's zstd module • Max Halford

maxhalford.github.io·3d·

Discuss: Lobsters, Hacker News

📝Text Compression

Simple LLM Native Todo System on OpenCode

danielwkiwi.mataroa.blog·4d·

Discuss: Hacker News

🌳Incremental Parsing

Pascal-J/type-system-j: adds an optional type system to J language

github.com·5d·

Discuss: Lobsters

🎯Gradual Typing

Jacob Boxerman - Declarative, Reproducible Emacs with straight.el and use-package

jakebox.github.io·2d·

Discuss: Lobsters, Hacker News

🐚Bash Combinators

Font Rendering from First Principles

mccloskeybr.com·1d·

Discuss: Hacker News

🔤Font Archaeology

So whats the next word, then? Almost-no-math intro to transformer models

matthias-kainer.de·3d·

Discuss: Hacker News

🧠Intelligence Compression

🎲 Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes

gavinhoward.com·4d

🦀Rust Verification

ahead-of-time wasm gc in wastrel

wingolog.org·2d·

Discuss: Lobsters, Hacker News

⚙️WASM Runtime

Recursive Deductive Verification: A framework for reducing AI hallucinations

news.ycombinator.com·21h·

Discuss: Hacker News

⚖️Hoare Logic

Layered Modal ML: Syntax and Full Abstraction

arxiv.org·5d

🌳Context free grammars

Executive Function as Code: using (Doom) Emacs to script my brain

milly.kittycloud.eu·3d·

Discuss: Hacker News, r/selfhosted

🌳Incremental Parsing

An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories

arxiv.org·3d

✨Effect Handlers

The control layer for AI

blog.dottxt.ai·2d·

Discuss: Hacker News

🔒WASM Capabilities

Loading more...