Java Backend Coding Technology: Writing Code in the Era of AI
central.sonatype.com·2d·
Discuss: DEV
🎮Language Ergonomics
Writing a Dictation Application
osada.blog·12h
📚Self-Documenting Code
Understanding the KV Cache (feat. Self-Attention)
dev.to·36m·
Discuss: DEV
🔄Subinterpreters
Axum Backend Series: Implementing Password Reset | 0xshadow's Blog
blog.0xshadow.dev·1d·
Discuss: r/rust
🔀SSA Form
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·12h·
Discuss: Hacker News
🛡️Stack Safety
Generative AI finds antimicrobial peptides against multidrug-resistant bacteria
nature.com·1d·
Discuss: Hacker News
🗺️Region Inference
TypeScript and the Illusion of Type-Safety
medium.com·2d·
Discuss: r/typescript
🔧API Design
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·1d·
Discuss: Hacker News
🔍ML Language
Titans-Cardinals takeaways: Tennessee rallies after Emari Demercado's goal-line blunder
nytimes.com·7h
🛡️Error Boundaries
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·12h·
Discuss: Hacker News
🔢Algebraic Datatypes
The Closure Phenomenon: Functions That Remember
dev.to·2d·
Discuss: DEV
🔗Lexical Scoping
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·18h·
Discuss: DEV
🧮Theorem Provers
Functional Programming Shaped (and Twisted) Front End Development
alfy.blog·1d·
Discuss: Hacker News, r/programming
🏛️Elm Architecture
JS: The underrated Font Load API
developer.mozilla.org·17h·
Discuss: DEV
✨Code Formatters
C? Rewrite it in Brainfuck
iacgm.pages.dev·2d·
Discuss: r/programming, r/rust
🪄C Metaprogramming
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·14h·
Discuss: r/programming
🧠Memory Models
Building a Command-Line Quiz Application in R
towardsdatascience.com·17h
💬Interactive REPLs
DiffuSpec: Unlocking Diffusion Language Models for Speculative Decoding
arxiv.org·3h
🚀Tokenizer Performance
C2|Q>: A Robust Framework for Bridging Classical and Quantum Software Development
arxiv.org·3h
🔬Nanopasses
Using an LLM on the Advent of Code
funcall.blogspot.com·6d·
Discuss: www.blogger.com
🌱Minimal Lisps