🌳 Pattern Match Compilation - abnv · Scour

The Condensate Theorem: Transformers are O(n), Not $O(n^2)$

arxiv.org·15h

🔍ML Language

Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set

arxiv.org·3d

🔒Rust Borrowing

Chain.io Launches AI Checks: Stop Hunting for Problems in Shipment Spreadsheets

prnewswire.com·7h

📮Message Queues

Show HN: Klint – Linux Kernel Security Scanner

saturnine.cc·14h·

Discuss: Hacker News

Automating Inference Optimizations with NVIDIA TensorRT LLM AutoDeploy

developer.nvidia.com·2h

🚂Cranelift IR

Manufacturing QMS Software

samrian.com·4h·

Discuss: Hacker News

✅Configuration Validation

*META‑Discover: An Automated Knowledge‑Graph‑Driven Pipeline for Emergent Topological Invariants in High‑Dimensional Random Simplicial Complexes*

freederia.com·3d

🪢Rope Data Structures

Compound Engineering: The Definitive Guide

kill-the-newsletter.com·4h

🚂Cranelift IR

Hoot: Scheme on WebAssembly

spritely.institute·2d·

Discuss: Hacker News

🌐Browser Compilers

You don't need RAG in 2026

ryanlineng.substack.com·1d·

Discuss: Substack

📝Text Algorithms

ValkDB/postgresparser: ANTLR-based PostgreSQL query parser for Go. Extracts tables, columns, joins, CTEs, parameters, DDL actions, and full column-usage metadata from SQL into a structured IR.

github.com·11h·

Discuss: Hacker News, r/devops, r/golang

🗃️Query Compilation

Linker Script Generation for Firmware Projects: A Primer

dnedic.github.io·59m·

Discuss: Hacker News

🔗Language Toolchains

5 AI Coding Patterns That Actually Work (2026 Edition)

dev.to·19h·

Discuss: DEV

🎭Program Synthesis

Performance Tip of the Week #9: Optimizations past their prime

abseil.io·1d

🚀Code Motion

Software Engineering with AI: Beyond Vibe-Coding

principalengineer.com·1d

🎭Program Synthesis

Unlocking the hidden power of unstructured data with AI

theregister.com·11h

🧠Semantic Parsing

How I Built My Project in Haskell

dev.to·1d·

Discuss: DEV

🌱Minimal Languages

Data Modeling for the Agentic Era: Semantics, Speed, and Stewardship

rilldata.com·4h·

Discuss: Hacker News

📏Linear Logic

Needed 10K prompts for my ML dataset, so I made this tool instead of copy-pasting for hours

promptanvil.com·1d·

Discuss: r/SideProject

💬Interactive REPLs

observation: the future of building software

hanspham.com·2h

🎮Language Ergonomics

Loading more...