⚙️ Compilers - ch1n3du · Scour

Automating Database-Native Function Code Synthesis with LLMs λType Theory

arxiv.org·1d

Made a tool to compare programming languages and rank with learnings! λType Theory

langscompare.site·4d·r/SideProject, r/programming

A language where you describe the system and the compiler verifies it 📐Formal Methods

spine-lang.org·3h·Hacker News

DDD Bounded Contexts: Clear Domain Boundaries for LLM Code Generation 📐Formal Methods

understandingdata.com·22h·Hacker News

Devlog ⚡ Incremental compilation with LLVM λType Theory

ziggit.dev·2d

marvec/cel-vm: High-performance Common Expression Language (CEL) evaluator in JavaScript using a bytecode VM. No runtime dependencies. λType Theory

github.com·19h·r/SideProject

#640, April 6th 2026 λType Theory

llvmweekly.org·3d

Bespoke OLAP: Using AI to Synthesize Workload-Specific Database Engines from Scratch 🔍Interpretability

ucbskyadrs.github.io·15h·Hacker News

A brief history of C/C++ programming languages λType Theory

lemire.me·1d·Hacker News, r/rust

Beyond the GIL: Implementing Zero-Copy Parsers for 2026 OSINT Streams λType Theory

medium.com·21h

Program Analysis: A Pragmatic Approach 📐Formal Methods

homes.cs.washington.edu·1d·Lobsters

Current State of LLM-Based Code Generation and Future Directions (2026) [video] λType Theory

youtube.com·3d·Hacker News

But what about K? λType Theory

tony-zorman.com·1d·Lobsters, Hacker News

Some Subtleties When Parsing 6502 Assembly Language λType Theory

bumbershootsoft.wordpress.com·5d·Hacker News

Kotlin 2.x vs Java 21+The Language Choice for New JVM Projects λType Theory

javacodegeeks.com·1d

Beyond Static Analysis: Proving Automotive Cybersecurity and Functional Safety 📐Formal Methods

embedded.com·2d

An Empirical Analysis of Static Analysis Methods for Detection and Mitigation of Code Library Hallucinations λType Theory

arxiv.org·11h

I Accidentally Reinvented Kernel (Programming Language) λType Theory

fayash.me·5d·Hacker News

When the compiler lies: breaking memory safety in safe Go λType Theory

ciolek.dev·2d·Lobsters, Hacker News

Optimising a Pipelined RISC-V Core: From Naive Pipeline to Near-Superscalar Performance 🔍Interpretability

mummanajagadeesh.github.io·3d·Lobsters, Hacker News

Loading more...