The Verge’s 2025 back-to-school shopping guide
theverge.com·11h
🔌Operating system internals
category theory emergency? dial 00よ, now!
thalescircles.tumblr.com·1d
λLambda Formalization
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·17h·
Discuss: Hacker News
💻CS
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
[P] I tried implementing the CRISP paper from Google Deepmind in Python
reddit.com·15h·
Discuss: r/MachineLearning
🗂️Vector Databases
Mixture of Recursions vs. Transformers: Efficiency Unlocked
algogist.com·5d·
Discuss: Hacker News
⚡Incremental Computation
The many, many, many JavaScript runtimes of the last decade
buttondown.com·11h·
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
Risk In Context: Benchmarking Privacy Leakage of Foundation Models in Synthetic Tabular Data Generation
arxiv.org·3d
💻Local LLMs
A lightweight library for portable low-level GPU computation using WebGPU
github.com·2d·
Discuss: Hacker News
🔩Systems Programming
FinDPO: Financial Sentiment Analysis for Algorithmic Trading through Preference Optimization of LLMs
arxiv.org·2d
🔍BitFunnel
Python XLSX Reader Guide
dev.to·7h·
Discuss: DEV
💾Database Formats
Machine Learning Fundamentals: gradient descent with python
dev.to·2d·
Discuss: DEV
⚡Incremental Computation
Your personal Blockchain tutor powered by AssemblyAI
dev.to·22h·
Discuss: DEV
🎙️Whisper