⚙️ Compilers - ghosh.debasish · Scour

The Structured Output Benchmark: A Multi-Source Benchmark for Evaluating Structured Output Quality in Large Language Models 🧠LLMs

DryRUN: On the Role of Public Tests in LLM-Driven Code Generation 🔤PLT

Evaluation of LLM-Based Software Engineering Tools: Practices, Challenges, and Future Directions 📊LLM Evaluation

Anchor – Lisp→C compiler, no GC, hygienic macros, Chez Scheme at compile time 🖥️Systems Programming

github.com·2d·Hacker News

OptiVerse: A Comprehensive Benchmark towards Optimization Problem Solving 🔧SMT Solvers

An Empirical Evaluation of Locally Deployed LLMs for Bug Detection in Python Code 📊LLM Evaluation

RealBench: A Repo-Level Code Generation Benchmark Aligned with Real-World Software Development Practices 🖥️Systems Programming

KimlikDAO/kdts: A TypeScript compiler with type-driven optimizations 🖥️Systems Programming

github.com·2d·Hacker News

BLAST: Benchmarking LLMs with ASP-based Structured Testing 📊LLM Evaluation

bryanmaclee/scrmlTS: A single-file type, full-stack reactive web language. The compiler splits server from client, wires reactivity, routes HTTP, and emits plain HTML/CSS/JS 🦀Rust

github.com·2d·DEV

Less Is More: Measuring How LLM Involvement affects Chatbot Accuracy in Static Analysis 🧠LLMs

From If-Statements to ML Pipelines: Revisiting Bias in Code-Generation 🔤PLT

HARBOR: Automated Harness Optimization 🧪Property-based Testing

R2Code: A Self-Reflective LLM Framework for Requirements-to-Code Traceability 🔧Intermediate Representations

Sophia: A Scalable Stochastic Second-order Optimizer for Language Model Pre-training 🧠LLMs

arxiv.org·6d·Hacker News

cychronex-labs/Exlex: Zero-copy, Performance-first,no_std, DOD-based, Arena based Mutation Parser 🖥️Systems Programming

github.com·5d·r/rust_gamedev

From 800ms to ~25ms: harness-driven optimization of a CUDA matmul kernel 🖥️Systems Programming

github.com·6d·Hacker News

samchon/ttsc: A `typescript-go` toolchain for compiler-powered transforms and type-safe execution. 🦀Rust Async

github.com·5d·r/javascript, r/typescript

Wrote a C++20 market data parser, would love a roast of my memory allocators. 🖥️Systems Programming

github.com·4d·r/quant

Extending Ruzzy with LibAFL 🖥️Systems Programming

blog.trailofbits.com·1d·Hacker News

Log in to enable infinite scrolling