⚙️ Compilers - hop1.ng.1357 · Scour

Teardown of AlphaFold codebase with a AST-free LLM-free static analysis engine ⚙️MLOps

squid-protocol.github.io·3d·Hacker News

Document type inference ✅Formal Verification

RAG-Enhanced Kernel-Based Heuristic Synthesis (RKHS): A Structured Methodology Using Large Language Models for Hardware Design 🪄Prompt Engineering

Training a Transformer to Compose One Step Per Layer (and Proving It) 🤖LLM

lesswrong.com·4d

std::__detail::_Compiler (3) Linux Manual Page ✅Formal Verification

systutorials.com·1d

Presentations: A Guide to React Compiler Rendering ✏️Code Editors

blog.isquaredsoftware.com·6d

An Empirical Study of Speculative Decoding on Software Engineering Tasks 🪄Prompt Engineering

warheart1984-ctrl/ul-language-vm: A minimal custom language runtime featuring a tokenizer, parser, bytecode compiler, and virtual machine. Designed for deterministic execution and as a foundational component of the AAIS architecture. 🤖AI

github.com·1d·r/Python

Bun’s Zig fork got 4x faster compilation times 🪄Prompt Engineering

FlowBot: Inducing LLM Workflows with Bilevel Optimization and Textual Gradients ✨LLMs

squid-protocol/gitgalaxy: An AST-free, LLM-free heuristic knowledge graph engine for deep repository intelligence. Map, secure, and modernize enterprise codebases across 50+ languages at extreme velocity 🕷️Web Crawling

github.com·1d·Hacker News

#643, April 27th 2026 💉Prompt Injection

llvmweekly.org·3d

A History of Live Programming (2013) 🪄Prompt Engineering

liveprogramming.github.io·3d·Hacker News

StratCraftsAI/NexusFix: A zero-alloc, compile-time hardened FIX engine built for sub-100ns execution. 🪝eBPF

github.com·2d·DEV

No Test Cases, No Problem: Distillation-Driven Code Generation for Scientific Workflows ⚙️MLOps

When Prompt Under-Specification Improves Code Correctness: An Exploratory Study of Prompt Wording and Structure Effects on LLM-Based Code Generation 🪄Prompt Engineering

Spinel: Ruby AOT Native Compiler ✏️Code Editors

github.com·6d·Lobsters, Hacker News

MEMCoder: Multi-dimensional Evolving Memory for Private-Library-Oriented Code Generation 🪄Prompt Engineering

Anchor – Lisp→C compiler, no GC, hygienic macros, Chez Scheme at compile time ✏️Code Editors

github.com·3d·Hacker News

CoRE: A Fine-Grained Code Reasoning Benchmark Beyond Output Prediction ✏️Code Editors

Log in to enable infinite scrolling