We're going High Availability with Redis Sentinel!
scotthelme.ghost.ioยท3h
๐Ÿ’พStorage Replication
Matter 1.4.2 adds support for WiFi only provisioning for cheaper devices, improves security, and more
cnx-software.comยท5h
๐Ÿ“ปHomebrew Protocols
Marketplace: my first attempt at training without backprop on GPU efficiently
fangpenlin.comยท9h
๐Ÿ”Vector Forensics
The Art of the Massage: Why Great Ideas Need Time to Breath
philosophermaker.substack.comยท2hยท
Discuss: Substack
๐ŸŽApple Computing
Mbodi AI (YC X25) Is Hiring a Founding Research Engineer (Robotics)
ycombinator.comยท4dยท
Discuss: Hacker News
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Powerful tools inside a single Chrome extension
superdevpro.comยท10hยท
Discuss: Hacker News
๐Ÿš€Indie Hacking
Functional Analysis of Variance for Association Studies
arxiv.orgยท12h
๐Ÿ” Type-Level Programming
Token Trading Agent with Recall
dev.toยท11hยท
Discuss: DEV
๐Ÿ“Proof Assistants
10 Latest GitHub Repos for AI Engineers in 2025
dev.toยท1dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
UAV-VL-R1: Generalizing Vision-Language Models via Supervised Fine-Tuning and Multi-Stage GRPO for UAV Visual Reasoning
arxiv.orgยท12h
๐Ÿ“ŠQuantization
Adaptive Thermal Management via Retrofit Kinetic Facade Optimization
dev.toยท1dยท
Discuss: DEV
โšกIncremental Computation
Smarter Search, Smarter Workflows
dev.toยท6hยท
Discuss: DEV
๐Ÿค–Archive Automation
Automated Microvascular Flow Simulation Validation via Multi-modal Anomaly Detection
dev.toยท1hยท
Discuss: DEV
๐ŸŒŠStream Processing
Build a Local AI Agent with MCP Tools Using GPT-OSS, LangChain & Streamlit
dev.toยท1dยท
Discuss: DEV
๐ŸŽ™๏ธWhisper
Hyperdimensional Semantic Alignment via Learned Kernel Regression for Enhanced Knowledge Graph Triplet Extraction
dev.toยท1dยท
Discuss: DEV
๐Ÿค–Grammar Induction
ASP-Completeness Proofs of Puzzles Using the T-Metacell Framework
arxiv.orgยท12h
๐ŸงฎSMT Solvers
AI in Mental Health: Emotional and Sentiment Analysis of Large Language Models' Responses to Depression, Anxiety, and Stress Queries
arxiv.orgยท12h
๐ŸŽ›๏ธFeed Filtering
Hyper-Scale Semantic Graph Construction for Enhanced Knowledge Retrieval in Google Search
dev.toยท1dยท
Discuss: DEV
๐Ÿ”Semantic Search
Linux Current Task Dump - Debian Bugs
blog.raymond.burkholder.netยท1d
๐Ÿ”eBPF
CSGO: Generalized Optimization for Cold Start in Wireless Collaborative Edge LLM Systems
arxiv.orgยท12h
๐ŸŒŠStreaming Systems