Productive AI Programming Using Forced Context Distillation
jx0.ca·19h·
Discuss: Hacker News
⚡Proof Automation
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·4d·
Discuss: Hacker News
💧Liquid Types
Status Week 37
blogs.gnome.org·13h
📺VT100
ECMAScript TC39 proposal-pattern-matching
github.com·18h·
Discuss: Hacker News
🔤Type Theory
How to Debug Chez Scheme Programs (2002)
scheme.com·10h·
Discuss: Hacker News
📜Proof Carrying Code
The Risks of Code Assistant LLMs: Harmful Content, Misuse and Deception
unit42.paloaltonetworks.com·9h
⚡Proof Automation
An introduction to program synthesis
mchav.github.io·4d·
Discuss: Hacker News, r/programming
📝Compiler Design
Implementing the Coffee Machine Project in Python Using Object Oriented Programming
towardsdatascience.com·13h
🔗Constraint Handling
Show HN: Semlib – Semantic Data Processing
github.com·18h·
Discuss: Hacker News
🌳Incremental Parsing
Java Is Dead! Long Live Java!
systemsandsociety.com·1h·
Discuss: Hacker News
🏗️Compiler Archaeology
Fighting human trafficking with self-contained applications
lwn.net·8h·
Discuss: Hacker News
🔩Systems Programming
What Does -> Mean in Python Function Definitions?
realpython.com·17h
λLambda Formalization
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·5d·
Discuss: Hacker News
🔤Type Theory
Show HN: Building an open-source agentic terminal
davehudson.io·15h·
Discuss: Hacker News
📟Terminals
Speeding up my Ray Tracer using JAX
kayleegeorge.github.io·14h·
Discuss: Hacker News
⟷Bidirectional Programming
Rustlantis: Randomized Differential Testing of the Rust Compiler
plf.inf.ethz.ch·11h·
Discuss: Hacker News
🦀Rust Macros
HARP: Hallucination Detection via Reasoning Subspace Projection
arxiv.org·3h
🌳Context free grammars
Efficient Polynomial Identity Testing Over Nonassociative Algebras
arxiv.org·3h
🧮Algebraic Datatypes
From Zero to AI Agent: My Journey into Java-based Intelligent Applications
dev.to·7h·
Discuss: DEV
🔌Interface Evolution
Hyper-Specific Sub-Field: **Fuzzing for IoT Firmware Reverse Engineering**
dev.to·6h·
Discuss: DEV
🧪Binary Fuzzing