The Verge’s 2025 back-to-school shopping guide
theverge.com·7h
🔌Operating system internals
It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
cacm.acm.org·4d
🌐NetworkProtocols
Discretizing and quantizing neural nets
danmackinlay.name·2d
📊Quantization
Why MIT switched from Scheme to Python (2009) | Hacker News
news.ycombinator.com·13h·
Discuss: Hacker News
💻CS
Building Modern Software at Scale: Architectural Principles • Randy Shoup & Charles Humble
youtube.com·2d
🔌Interface Evolution
Exploiting zero days in abandoned hardware
blog.trailofbits.com·2d·
Discuss: Hacker News
🔒Secure Boot
Open-Source RISC-V Peripheral Challenge
tinytapeout.com·2d·
Discuss: Hacker News
🔌Single Board PC
Confessions of a static timing analysis tool
chipinsights.substack.com·3d·
Discuss: Substack
⚡Circuit Verification
[P] I tried implementing the CRISP paper from Google Deepmind in Python
reddit.com·11h·
Discuss: r/MachineLearning
🗂️Vector Databases
Mixture of Recursions vs. Transformers: Efficiency Unlocked
algogist.com·5d·
Discuss: Hacker News
⚡Incremental Computation
Unit Testing in Golang: A Complete Guide with Examples
dev.to·8h·
Discuss: DEV
🧪Property-Based Testing
Use LLamaIndex Workflow to Create an Ink Painting Style Image Generation Workflow
dev.to·18h·
Discuss: DEV
📜Manuscript Workflows
Machine Learning Workflow for Analysis of High-Dimensional Order Parameter Space: A Case Study of Polymer Crystallization from Molecular Dynamics Simulations
arxiv.org·2d
🌀Differential Geometry
LoRA-Leak: Membership Inference Attacks Against LoRA Fine-tuned Language Models
arxiv.org·2d
💻Local LLMs
Getting structured JSON from LLMs in C#
dev.to·2d·
Discuss: DEV
✅Format Verification
The many, many, many JavaScript runtimes of the last decade
buttondown.com·7h·
Discuss: Hacker News, r/javascript
🔌Interface Evolution
Artisanal Programming (Coding)
kuccello.medium.com·1d·
Discuss: Hacker News
📏Code Metrics
Machine Learning Fundamentals: gradient descent
dev.to·3d·
Discuss: DEV
🎵Audio ML
Data-Driven Model Order Reduction for Continuous- and Discrete-Time Nonlinear Systems
arxiv.org·2d
✨Algebraic Effects
Closing the complexity gap of the double distance problem
arxiv.org·4d
🧮Kolmogorov Complexity