abnv's Feed · Scour

Interesting things about the Lua interpreter

thesephist.com·18h

Programming Aphorisms

matklad.github.io·15h

🪄C Metaprogramming

January 2026 Monthly report | Alternative Rust Compiler for GCC

rust-gcc.github.io·1d·

Discuss: r/rust

🦀MIR Optimization

prettier/prettier: Prettier is an opinionated code formatter.

github.com·1d

✨Code Formatters

AFMTJ Model For In-Memory Computing (University of Arizona)

semiengineering.com·22h

🧠Memory Models

The Best AI Models for Coding: Accuracy, Integration, and Developer Fit

blog.jetbrains.com·5h

🎭Program Synthesis

Lean 4 and the Curry–Howard correspondence

wildonblog.wordpress.com·1d

📜Proof Languages

Why am I learning Clojure Script?

clojure-diary.gitlab.io·15h

Towards a Standard for JSON Document Databases

muratbuffalo.blogspot.com·1d·

Discuss: Blogger

📊Query Optimizers

B+-Tree Structure: How Order Is Maintained at Scale

dev.to·2d·

Discuss: DEV

An introduction to lockless algorithms [LWN.net]

lwn.net·2d

🎯Ring Buffers

en.wikipedia.org·1d

🔗Category Theory

Sneaky quokka: Testing and debugging with LLMs

honnibal.dev·1d

🧪Parser Testing

Well-Typed.Com: hs-bindgen 0.1-alpha release

well-typed.com·1d·

Discuss: Lobsters, Hacker News

Series-Parallel-Loop Decompositions of Control-flow Graphs

arxiv.org·1d

👑Dominator Analysis

Is this const str concat macro cursed or blessed?

docs.rs·1h·

Discuss: r/rust

🦀Rust Macros

Python's Dynamic Typing Problem

whileforloop.com·1d·

Discuss: Hacker News, r/programming

🌊Gradual Typing

LLM Performance in Astro, React, Tailwind and Cloudflare

10xbench.ai·18h·

Discuss: Hacker News

I got tired of copying AI output between tools, so I built a system to keep context intact

miniloop.ai·20h·

Discuss: DEV

🎭Program Synthesis

minikanren.org·2d·

Discuss: Lobsters

🧪Minicompilers

Loading more...