Build systems à la carte - 3236774.pdf
dl.acm.org·3h
🌱Forth Kernels
ECCFROG522PP: An Enhanced 522-bit Weierstrass Elliptic Curve
eprint.iacr.org·17h
🔗Hash Functions
GSoC 2025: Improving Core Clang-Doc Functionality
blog.llvm.org·1d
📋Tablegen
seqBench: A Tunable Benchmark to Quantify Sequential Reasoning Limits of LLMs
arxiv.org·10h
🌳Pattern Match Compilation
On the Existence and Complexity of Core-Stable Data Exchanges
arxiv.org·10h
📮Message Queues
Cactus Language • Mechanics 2
inquiryintoinquiry.com·22h
📋Backus-Naur Form
New C++ Conference Videos Released This Month - September 2025 (Updated To Include Videos Released 2025-09-15 - 2025-09-21)
reddit.com·22h·
Discuss: r/cpp
🎓Teaching Compilers
Proof Rules for MetaSMT
philipzucker.com·1d
🧮Theorem Provers
Quantum Simulation Programming via Typing
arxiv.org·10h
🏗️Minimal Compilers
Fast, Accurate and Interpretable Graph Classification with Topological Kernels
arxiv.org·10h
🗺️Graph Traversal
SignalLLM: A General-Purpose LLM Agent Framework for Automated Signal Processing
arxiv.org·10h
✨Gleam
Building a Debugger • Sy Brand & Tim Misiak
buzzsprout.com·1d·
Discuss: r/programming
🔍Debugging Compilers
Discovering Software Parallelization Points Using Deep Neural Networks
arxiv.org·10h
🚀Code Motion
Leading the 2025 DeFi Revolution with AI and Multi-Chain Technology
dev.to·7h·
Discuss: DEV
🌊Reactive Languages
A non-smooth regularization framework for learning over multitask graphs
arxiv.org·10h
🪜Recursive Descent
Improving Large Language Models Function Calling and Interpretability via Guided-Structured Templates
arxiv.org·10h
📊Pratt Parsers
Building sub-100ms autocompletion for JetBrains IDEs
blog.sweep.dev·3d·
Discuss: Hacker News
🩺Compiler Diagnostics
Adaptive Kernel Design for Bayesian Optimization Is a Piece of CAKE with LLMs
arxiv.org·10h
📋Tablegen
Identity Types
bartoszmilewski.com·1d·
Discuss: Hacker News
🎯Type Theory
My experience with AI as a front end developer
frontendundefined.com·1d·
Discuss: Hacker News
🎮Language Ergonomics