⚙️ Compilers - hop1.ng.1357 · Scour

Two Compilers, One Moment ✏️Code Editors

intertwingly.net·5d·Hacker News

Leveraging LLMs for Multi-File DSL Code Generation: An Industrial Case Study 🪄Prompt Engineering

jessealama/thales: TypeScript compiler and JavaScript engine in Lean ✏️Code Editors

github.com·13h·Hacker News

Changes, New Features, and Fixes ✏️Code Editors

gcc.gnu.org·14h·Lobsters, Hacker News, r/cpp

The Final Form of Software Development ✅Formal Verification

blog.zksecurity.xyz·1d·Lobsters, Hacker News

Clojure on Fennel part three: parsing ✅Formal Verification

andreyor.st·3d·Hacker News

Coloring Code: How Compilers Use Graph Theory ✏️Code Editors

youtube.com·1d·Lobsters, Hacker News

ClassEval-Pro: A Cross-Domain Benchmark for Class-Level Code Generation ✏️Code Editors

New features in GCC 16: Improved error messages and SARIF output ✏️Code Editors

developers.redhat.com·2d·Hacker News, r/C_Programming, r/cpp

Spinel: Ruby AOT Native Compiler ✏️Code Editors

github.com·6d·Lobsters, Hacker News

"Parse, don't Validate" through the years with C++ ✏️Code Editors

derekrodriguez.dev·4d·Hacker News, r/programming

MappingEvolve: LLM-Driven Code Evolution for Technology Mapping 🪄Prompt Engineering

rcarmo/go-joker: A personal twist on the original Clojure interpreter and linter, slightly mad, Go-ing places ✏️Code Editors

github.com·1d·Hacker News

Where Optimizations Come From ✏️Code Editors

NULL BITMAP by Justin Jaffray via buttondown.com·3d·Hacker News

Large Language Models for Multilingual Code Intelligence: A Survey 🤖LLM

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

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

KimlikDAO/kdts: A TypeScript compiler with type-driven optimizations ✏️Code Editors

github.com·2d·Hacker News

GCC 16.1 Released ✏️Code Editors

gcc.gnu.org·13h·Hacker News

A History of Live Programming (2013) 🪄Prompt Engineering

liveprogramming.github.io·3d·Hacker News

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

Log in to enable infinite scrolling