The theorem on formal functions
math.columbia.edu·5d
⚔️Lean Theorem
InfoSec News Nuggets 8/20/2025
aboutdfir.com·21h
🔓Hacking
Show HN: A private automatic travel tracker and life journal for iOS
getacti.app·15h·
Discuss: Hacker News
⏳Time Capsule Networks
Communicate Early and Often
dontbreakprod.com·15h·
Discuss: Hacker News
⚙️TLA+
Parallel Reduce and Scan on the GPU
cachemiss.xyz·3d·
Discuss: Hacker News
⚡SIMD Vectorization
Show HN: Self-hosted Amazon Bedrock router that learns from feedback (online RL)
arfniia.com·1d·
Discuss: Hacker News
💻Local LLMs
Life Skills to Teach Your Kid Before They Head Off to College
food52.com·1d·
Discuss: Hacker News
⭐Awesome lists
Is Dfinity's Caffeine AI a wakeup call for application developers?
siliconangle.com·2d·
Discuss: Hacker News
🌊Streaming Systems
Keep a Developer Log (Your Future Self Will Thank You)
spin.atomicobject.com·2d·
Discuss: Hacker News
⏱️Interval Archives
Achieving Centralized Business Intelligence Through Integration
dev.to·1h·
Discuss: DEV
🏠Homelab Orchestration
Would this work as a Linux based server system
reddit.com·1d·
Discuss: r/linux
🔩Systems Programming
Generative AI Training in Hyderabad
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Zoom's new AI agent might mean you never need a human receptionist ever again
techradar.com·1d
🎙️Whisper
Self-Assembling RNA Compartments: Predictive Modeling of Phase Diagram Dynamics for Targeted Delivery
dev.to·4d·
Discuss: DEV
💎Information Crystallography
The Fitbit App Is Turning Into an AI-Powered Personal Health Coach
wired.com·17h
🎨Nordic UX
Practice Makes Perfect: How AI Interview Simulation Changed My Go Game
dev.to·4d·
Discuss: DEV
🎯Emulator Accuracy
Skymont in Gaming Workloads
chipsandcheese.com·11h
🖥️Hardware Architecture
Automated Acoustic Emission Anomaly Detection & Predictive Maintenance in Steel Sheet Cold Rolling
dev.to·1d·
Discuss: DEV
🎵Acoustic Fingerprinting
Gemini Live: A more helpful, natural and visual assistant
blog.google·18h·
Discuss: Hacker News
🎙️Whisper
Bioinspired underwater soft robots: from biology to robotics and back
arxiv.org·2d
🌀Differential Geometry