Balisage calendar
so.nwalsh.com·1d
📝ABNF Parsing
Gloom and Despair -- LaTeX Edition
slott56.github.io·1d
📄PostScript
Physics+ MIN/MAX & Variation: UNIZOR.COM - Physics+ 4 All - Variations
unizor.blogspot.com·3d·
Discuss: www.blogger.com
⚔️Lean Theorem
VS Code gets AutoML Embedded plugin for automated model tuning, deployment, and benchmarking
cnx-software.com·2d
🎬WebCodecs
How Amazon S3 Achieves Strong Consistency Without Sacrificing 99.99% Availability
newsletter.systemdesign.one·1d·
Discuss: r/programming
💾Storage Replication
Fluid: We Built Serverless Servers
vercel.com·1d·
Discuss: Hacker News
🌊Stream Processing
I tried to buy Dataroma. Now I'm building the research engine I wish existed
news.ycombinator.com·18h·
Discuss: Hacker News
🔍BitFunnel
Ask HN: Does Claude AI run locally?
news.ycombinator.com·1d·
Discuss: Hacker News
🎙️Whisper
All the Details and Changes That Came With Rust 1.82.0
hackernoon.com·3d
🦀Rust Borrowing
RelMap: Enhancing Online Map Construction with Class-Aware Spatial Relation and Semantic Priors
arxiv.org·10h
🌀Riemannian Computing
Here's The Exact Indie-Hacking Vibe-Coding Setup I Use as a Middle-Aged Product Manager
hackernoon.com·1d
🚀Indie Hacking
Can LLMs Reason About Trust?: A Pilot Study
arxiv.org·10h
🔄Session Type Inference
UloRL:An Ultra-Long Output Reinforcement Learning Approach for Advancing Large Language Models' Reasoning Abilities
arxiv.org·1d
💻Local LLMs
Personal Finance Manager with Redis: AI Budgeting, Planning, and Analytics in Real Time
dev.to·21h·
Discuss: DEV
🔍BitFunnel
Advancing Mental Disorder Detection: A Comparative Evaluation of Transformer and LSTM Architectures on Social Media
arxiv.org·1d
📝Text Embeddings
LangGraph & LangChain: Building Agentic AI
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Categorical Distributions are Effective Neural Network Outputs for Event Prediction
arxiv.org·10h
🧮Kolmogorov Bounds
EventPulse: Event Monitoring Platform Powered by Redis Streams and Search
dev.to·21h·
Discuss: DEV
🌊Streaming Systems
Active learning for level set estimation under input uncertainty and its extensions
arxiv.org·10h
🧠Machine Learning
Real-Time Fraud Detection System: AI-Powered Financial Security with Redis 8
dev.to·1d·
Discuss: DEV
⚡Proof Automation