Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·4h·
Discuss: DEV
⚡SMT Applications
Beating the L1 cache with value speculation (2021)
mazzo.li·8h·
Discuss: Lobsters
⚡CPU Microarchitecture
C2|Q>: A Robust Framework for Bridging Classical and Quantum Software Development
arxiv.org·20h
⚛️Quantum Compilers
Property-based testing of batch-invariant operations
mmaaz.ca·1d·
Discuss: Hacker News
🧪Property-Based Testing
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·17h
📏Code Metrics
Why Reactive Programming Hasn't Taken Off in Python (and Why Signals)
bui.app·1d·
Discuss: Hacker News, r/programming
✨Algebraic Effects
Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·17h
⬆️Lambda Lifting
Three important things to get right for successful AI Coding
kau.sh·1d
⚡Proof Automation
Adventures on the AI Coding side of things
medium.com·16h·
Discuss: Hacker News
🌍Cultural Algorithms
Cactus Language • Semantics 1
inquiryintoinquiry.com·8h
🔢Denotational Semantics
Design Principle: Composable Services
sleepingpotato.com·11h·
Discuss: Hacker News
⚡gRPC
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·3d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Is Odin Just a More Boring C?
dayvster.com·13h·
Discuss: Hacker News
🔩Systems Programming
Higher-Level Design Patterns
qouteall.fun·3d·
Discuss: Hacker News
✨Algebraic Effects
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·8h·
Discuss: Hacker News
💻Local LLMs
Callbacks in C++ Using Template Functors – Rich Hickey (1994)
tutok.sk·1d·
Discuss: Hacker News, r/programming
✨Algebraic Effects
I'm Building a Browser for Reverse Engineers
nullpt.rs·1d·
Discuss: Lobsters, Hacker News
🛡️WASM Sandboxing
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
The future of your code is no-code
pleasedontdeploy.com·11h·
Discuss: Hacker News
📏Code Metrics
Declarative Partial Updates Proposal
github.com·5h·
Discuss: Hacker News
🎬WebCodecs