utf-8-history.txt
cl.cam.ac.uk·8h
🔢Binary Formats
Genkit Go 1.0: Google brings stable AI framework to the Go ecosystem
heise.de·20h
📋Tablegen
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·1d·
Discuss: Hacker News
⚡functional programming
MiniRust
github.com·3d·
Discuss: Hacker News
🦀MIR Optimization
ADK for Java opening up to third-party language models via LangChain4j integration
developers.googleblog.com·5h
🎪Actor Frameworks
A Kevin week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
Combating headcrabs in the Source SDK codebase
dev.to·2h·
Discuss: DEV
🦀MIR Optimization
libvips v8.18.0 Function Pointer Type Confusion in libvips Callback Dispatch
seclists.org·11h
📦Closure Conversion
If all the world were a monorepo
jtibs.substack.com·5h·
Discuss: Substack
📦Monorepos
Arguzz: Testing zkVMs for Soundness and Completeness Bugs
arxiv.org·10h
🧪Testing Compilers
Managing private TypeScript types: beyond DefinitelyTyped
dev.to·17h·
Discuss: DEV
📦Monorepos
Multilingual Diversity Improves Vision-Language Representations
arxiv.org·10h
🌉Cross-Language AST
OpenAI Model Spec
model-spec.openai.com·1d·
Discuss: Hacker News
🛡️Error Boundaries
The Risks of Code Assistant LLMs: Harmful Content, Misuse and Deception
unit42.paloaltonetworks.com·16h
🎮Language Ergonomics
BiLSTM-VHP: BiLSTM-Powered Network for Viral Host Prediction
arxiv.org·10h
🌱Minimal ML
Death of a lens(man)
dev.to·2d·
Discuss: DEV
🔗Lexical Scoping
Introducing the Constexpr Debugger
blog.jetbrains.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/cpp
🔍Debugging Compilers
SOLID Principles for Python Developers
dev.to·23h·
Discuss: DEV
🎭Racket Modules
Adaptive Programming Systems for Humans and AI
gfrison.com·6h·
Discuss: Hacker News
🎮Language Ergonomics