Static Bundle Object: Modernizing Static Linking
medium.com·9h·
Discuss: Hacker News
🔗Static Linking
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·20h
💻Programming languages
Toy Binary Decision Diagrams
philipzucker.com·2d
🧮Algebraic Datatypes
HTTP/3: The Next Evolution of Web Protocols
corero.com·8h
🌐Network Protocols
Golang Dependency Inversion — A Java Developer's Point of View
dev.to·5h·
Discuss: DEV
🔬Refinement Types
The Legacy Code Survival Guide: Add Features Without Fear
understandlegacycode.com·13h
🔓Decompilation
Embedding Lua in Nim
lambdacreate.com·1d
🦀Rust Macros
Making performant Python bindings to compiled code
kylebarron.dev·9h·
Discuss: Hacker News
🦀Rust Macros
Streamlining Vulnerability Research with the idalib Rust Bindings for IDA 9.2
hex-rays.com·9h
🦀Rust Macros
Sharing is Caring: Arbitrary Code Execution for Breakfast
trebledj.me·5d
📜Proof Carrying Code
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·1d·
Discuss: DEV
📏Code Metrics
The Chip That Spoke Lisp
jxself.org·12h
🤖Lisp Machines
TypeScript Flaws (2024)
intercaetera.com·23h·
Discuss: Hacker News
🎯Gradual Typing
Four years, Five failures, One compiler
daymare.net·2d·
🏗️Compiler Archaeology
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·2d·
Discuss: Hacker News
📝Concrete Syntax
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·1d
📏Code Metrics
Show HN: Sweep, AI autocomplete for JetBrains that rewrites code
sweep.dev·7h·
Discuss: Hacker News
🌳Incremental Parsing
We didn't rewrite our feed handler in Rust
databento.com·11h·
🦀Rust Borrowing
JSON Schema Compatibility and the Robustness Principle
yokota.blog·8h·
Discuss: Hacker News
📋Protocol Buffers
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·4d·
🔗Functional Compilers