SpotTest 1.0 will help you diagnose Spotlight problems
eclecticlight.co·21h
🍎Apple Archive
Google is killing the open web
wok.oblomov.eu·16h·
Discuss: Lobsters, Hacker News
🌐Web Standards
Structured (Synchronous) Concurrency
fsantanna.github.io·6h·
Discuss: Lobsters, Hacker News
📞Session Types
A programmer's field guide to assertions
typesanitizer.com·1d·
Discuss: Lobsters
📜Proof Carrying Code
Let's Talk About AI Workflows
rkayg.com·9h·
Discuss: Hacker News
🗣️Domain-Specific Languages
Google's Chrome Antitrust Paradox
arxiv.org·1d
🔍BitFunnel
Limitron – a minimal, lock-free, GC-friendly rate limiter for Go
reddit.com·18h·
Discuss: r/golang
🔒Linear Types
The Impact of Large Language Models (LLMs) on Code Review Process
arxiv.org·1d
📏Code Metrics
Automated Formulation Optimization via Multi-Modal Data Fusion & Recursive Validation
dev.to·1d·
Discuss: DEV
☕Precision Brewing
Zero-Downtime Elasticsearch Deployments with Hibernate Search: A Rolling Strategy That Works
hackernoon.com·5d
🚀Query Optimization
Von Neumann's minimax theorem through Fourier-Motzkin elimination
arxiv.org·1d
🎯Performance Proofs
Compressive Meta-Learning
arxiv.org·1d
🧠Machine Learning
Remove360: Benchmarking Residuals After Object Removal in 3D Gaussian Splatting
arxiv.org·1d
🏺Computational Archaeology
A2HCoder: An LLM-Driven Coding Agent for Hierarchical Algorithm-to-HDL Translation
arxiv.org·1d
💻Local LLMs
How to Correctly Apply Limits on the Result in DAX (and SQL)
towardsdatascience.com·9h
🔗Constraint Handling
Code Smell 308 - The Key to Safer, Cleaner, More Polymorphic Code
hackernoon.com·23h
🎯Gradual Typing
Handwritten Text Recognition of Historical Manuscripts Using Transformer-Based Models
arxiv.org·1d
🤖Paleographic ML
VFM-Guided Semi-Supervised Detection Transformer for Source-Free Object Detection in Remote Sensing Images
arxiv.org·1d
📊Learned Metrics
Generic Reduction-Based Interpreters (Extended Version)
arxiv.org·1d
🔗Parser Combinators
Inference performance evaluation for LLMs on edge devices with a novel benchmarking framework and metric
arxiv.org·1d
💻Local LLMs