May and June 2025 at The New Leaf Journal
thenewleafjournal.com·3d
📰RSS Reading Practices
How experienced engineers get unstuck in coding interviews
newsletter.pragmaticengineer.com·6h
⚡Proof Automation
AIAI Seminar-Friday 3rd October 2025 by Visiting Speaker: Marija Slavkovik
informatics.ed.ac.uk·10h
🌍Cultural Algorithms
New vision-based system teaches machines to understand their bodies
eecs.mit.edu·6h·
Discuss: Hacker News
✋Tactile Computing
Microsoft Entrusts DocumentDB to Linux Foundation
linuxiac.com·12h
📦METS Containers
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·8h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Leica M11-V leak suggests controversial camera could be the cheapest M series yet
techradar.com·6h
⌨️Mechanical Keyboards
Wubular: Rubular Reimagined in Ruby+WASM
rubyelders.com·8h·
Discuss: Hacker News
🌀Brotli Internals
Authors celebrate “historic” settlement coming soon in Anthropic class action
arstechnica.com·33m
🔓Open Source Software
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·10h
🎯Gradual Typing
You’ve Been Slicing Bagels Wrong for Years. This Simple Tool Fixes Everything.
popularmechanics.com·6h
🧮Algorithmic Cooking
The 10 best sci-fi TV shows of the 1980s
space.com·2d
📟Terminal Physics
Netgear informs me of terminated support for my router . . .
forums.anandtech.com·8h
🕸️Mesh Networking
Exoplanets engulfed in steam are taking center stage in the search for life in our galaxy
space.com·6h
🌡️Preservation Physics
AMD addresses AM5 socket burnout concerns after wave of Ryzen CPU failures
techspot.com·10h
🧲RISC-V Archaeology
Mechanical memory: The clever strategy cells use to move through narrow environments
phys.org·4h
🔲Cellular Automata
Show HN: I made a WASI orchestration prototype
github.com·1d·
Discuss: Hacker News
🌐WASI
Memento: A Survival Guide for Building Real Software with a Forgetful Genius
dev.to·4d·
Discuss: DEV
🧠Memory Forensics
AdapSNE: Adaptive Fireworks-Optimized and Entropy-Guided Dataset Sampling for Edge DNN Training
arxiv.org·18h
🧠Machine Learning
TPLA: Tensor Parallel Latent Attention for Efficient Disaggregated Prefill \& Decode Inference
arxiv.org·1d
🚀SIMD Text Processing