ΜFork: A pure actor-based concurrent machine architecture with memory-safety an
ufork.org·15h·
Discuss: Hacker News
⚡Hardware Transactional Memory
Foreword for Fuzz Testing Book
pages.cs.wisc.edu·1d·
Discuss: Lobsters, Hacker News
🐛Fuzzing
Fast(er)API: Optimizing Processing Time
fabridamicelli.github.io·1d·
Discuss: Hacker News
✅Format Verification
How the ZX Spectrum Laid the Foundations of Modern Algorithms
zxonline.net·1d·
Discuss: Hacker News
🖥Retro Computing
A reckless introduction to Hindley-Milner type inference
reasonableapproximation.net·2d·
Discuss: Lobsters, r/programming
🔤Type Theory
10 Shots at Building AI
thejackobrien.com·1d·
Discuss: Hacker News
🌍Cultural Algorithms
Spatial 3D-LLM: Exploring Spatial Awareness in 3D Vision-Language Models
arxiv.org·8h
📐Projective Geometry
Doubly transitive equiangular tight frames that contain regular simplices
arxiv.org·1d
🌀Differential Geometry
9 Leading Machine Learning Algorithms Powering AI Advancements
dev.to·6h·
Discuss: DEV
🧠Machine Learning
SAFT: Structure-Aware Fine-Tuning of LLMs for AMR-to-Text Generation
arxiv.org·2d
📋Document Grammar
I am 15 and Built a Dual Backend MLP From Scratch Using CUDA C++, 100% raw, no frameworks
github.com·6h·
Discuss: Hacker News, r/cpp
📊Quantization
Qwen3‑Coder Unleashed – Agentic Coding's New Powerhouse
algogist.com·1h·
Discuss: Hacker News
🧮Z3 Applications
Voice-based AI Agents: Filling the Economic Gaps in Digital Health Delivery
arxiv.org·8h
🎙️Whisper
Lessons from the TREC Plain Language Adaptation of Biomedical Abstracts (PLABA) track
arxiv.org·2d
🔍Information Retrieval
Things I Wish I Had Known Before Starting ML
towardsdatascience.com·8h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
MEKiT: Multi-source Heterogeneous Knowledge Injection Method via Instruction Tuning for Emotion-Cause Pair Extraction
arxiv.org·1d
🧠Intelligence Compression
SOTA Multi-Platform Matrix Multiplication Kernels
burn.dev·6d·
Discuss: Hacker News, r/programming
⚡SIMD Optimization
Expense Coding Errors Aren’t Random—They’re Rule-Based, New Study Finds
hackernoon.com·7h
✅Format Verification
Principles of Using AI Professionally
dominiek.substack.com·51m·
Discuss: Substack
💻Local LLMs
From Flat to Round: Redefining Brain Decoding with Surface-Based fMRI and Cortex Structure
arxiv.org·8h
💎Information Crystallography