🌳 Pattern Match Compilation - abnv · Scour

SEAL: Symbolic Execution with Separation Logic (Competition Contribution)

arxiv.org·3d

🎯Symbolic Execution

Adaptive Protein Tokenization

arxiv.org·21h

🔤Language Tokenizers

Rebuilding the spellchecker

zverok.space·2d

⚡Tokenizer Benchmarks

Uncovering Hidden Informations

whiteravendev.itch.io·1d

🔍Execution Tracing

An API for deterministic procedural generation (same seed = same output)

goldenseed-api.vercel.app·1d·

Discuss: r/proceduralgeneration

🎲Test Generators

Finding the needle in the logstack: Reducing LLM context with TF-IDF

eliseomartelli.it·4d

Fail Fast, Refactor Often - Escaping the Defensive Terraform Trap

blog.techdecline.dev·1d

Chasing a Zig AVR Segfault Down to LLVM

sourcery.zone·2d·

Discuss: r/Zig

💬Error Messages

theprogrammersparadox.blogspot.com·3d·

Discuss: Hacker News

I Built a Context7 Local-First Alternative With Claude Code

dev.to·1d·

Discuss: DEV

🔄Incremental Lexing

Software development is full of invisible choices.

dev.to·15h·

Discuss: DEV

🎮Language Ergonomics

Level up your C++ with Packt books

meetingcpp.com·2d

abdimoallim/alloc: A header-only C allocator library

github.com·1d·

Discuss: Hacker News, r/C_Programming

🧠Memory Allocators

Automatic Programming Returns

cyber-omelette.com·3d·

Discuss: Hacker News, Hacker News, r/programming

🎭Program Synthesis

AWS Lambda with Rust and Closure Syntax

aws.amazon.com·1d·

Discuss: r/rust

🔗Borrowing Extensions

Have I hardened against LLMs?

baldurbjarnason.com·15h·

Discuss: Hacker News

🧠Memory Ordering

Looking at binary trees in C++

meetingcpp.com·2d

🤐Zipper Structures

LLMs could be, but shouldn't be compilers

alperenkeles.com·3d·

Discuss: Lobsters, Hacker News

🌱Minimal Languages

An Introduction to XML Data Binding in C++

artima.com·2d

📋Template Compilers

How We Built a 99% Accurate Invoice Processing System Using OCR and LLMs

pub.towardsai.net

·1d

Loading more...