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·7h·
Discuss: Hacker News
💻CS
Building Modern Software at Scale: Architectural Principles • Randy Shoup & Charles Humble
youtube.com·2d
🔌Interface Evolution
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·5h·
Discuss: r/MachineLearning
🗂️Vector Databases
Mixture of Recursions vs. Transformers: Efficiency Unlocked
algogist.com·5d·
Discuss: Hacker News
⚡Incremental Computation
Inference Gateway – Open-Source
github.com·22h·
Discuss: Hacker News
⚡gRPC
Axiomatizing Rumsfeld Ignorance
arxiv.org·2d
🔲Proof Irrelevance
Understanding LangChain, LangGraph, and LangSmith
dev.to·3d·
Discuss: DEV
🌳Context free grammars
Machine Learning Fundamentals: gradient descent tutorial
dev.to·1d·
Discuss: DEV
🎵Audio ML
🔥 Claude Code pattern that saves 5-minute daily:
dev.to·13h·
Discuss: DEV
🌳Incremental Parsing
Whys and Hows of Apply Family of Functions in R
dev.to·4d·
Discuss: DEV
📐Linear Algebra
Doubly transitive equiangular tight frames that contain regular simplices
arxiv.org·5d
🌀Differential Geometry
Unit Testing in Golang: A Complete Guide with Examples
dev.to·2h·
Discuss: DEV
🧪Property-Based Testing
Use LLamaIndex Workflow to Create an Ink Painting Style Image Generation Workflow
dev.to·12h·
Discuss: DEV
📜Manuscript Workflows
Removing Box-Free Watermarks for Image-to-Image Models via Query-Based Reverse Engineering
arxiv.org·2d
👁️Perceptual Hashing
Getting structured JSON from LLMs in C#
dev.to·2d·
Discuss: DEV
✅Format Verification
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
The many, many, many JavaScript runtimes of the last decade
buttondown.com·1h·
Discuss: Hacker News, r/javascript
🔌Interface Evolution