Choosing Rust for LLM-generated code
runmat.org·3h·
Discuss: Hacker News
🦀Rust
Compiling a Functional Language to LLVM
danieljharvey.github.io·3d·
Discuss: Lobsters, Hacker News
📝Lisp
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·1d·
Discuss: Hacker News
🧮Programming Language Theory
An introduction to program synthesis
mchav.github.io·22h·
Discuss: Hacker News, r/programming
🧮Programming Language Theory
Your Voice Belongs Here: Creating Compelling KotlinConf Proposals [Livestream]
blog.jetbrains.com·4h
🧮Programming Language Theory
The Road To JVM: How To Create A Brainfuck Interpreter
blog.codeminer42.com·1d
📝Lisp
The Alchemist's Endgame: My Final Synthesis of p-adic Clojure and Legacy Code.
dev.to·8h·
Discuss: DEV
🔗Parser Combinators
Handling Open-Vocabulary Constructs in Formalizing Specifications: Retrieval-Augmented Parsing with Expert Knowledge
arxiv.org·1d
🧩Theorem Proving
GraalVM's LLVM Back End
praj.in·5h·
Discuss: Lobsters, Hacker News
👐Open Source Software
LLM-Generated Rules Engines for LLM Explainability
brain.co·9h·
Discuss: Hacker News
💭Prolog
Lobsters Interview with Susam
lobste.rs·6h·
Discuss: Lobsters
🧮Programming Language Theory
Chapter 3: System Prompt Fundamentals
cline.ghost.io·1d
📝Lisp
Ripple: An LLVM compiler-interpreted API to support SPMD and loop annotat
discourse.llvm.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🏗Computer Architecture
August 2025 Clojure Support and Q2 Project Updates
clojuriststogether.org·19h
🧮Programming Language Theory
Resources for Go Compiler
reddit.com·1d·
Discuss: r/golang
📝Lisp
Decompiling the GPL violated Linux kernel using Evolutionary Algorithms
far.chickenkiller.com·13h·
Discuss: Hacker News
👐Open Source Software
LangShift.dev: Contrastive Learning for Faster Programming Language Transition
langshift.dev·1d·
Discuss: DEV
🧮Programming Language Theory
The Capability-Tractability Tradeoff (2023)
buttondown.com·58m·
Discuss: Hacker News
🧮Programming Language Theory
Continuous Improvement in LLM Code Generation
blogger.com·2d
🧩Theorem Proving
Build, run and debug iOS and Mac apps in Zed instead of Xcode
luxmentis.org·5h·
Discuss: Hacker News
🦀Rust