Moessner’s Magic
johndcook.com·16h
🧮Theorem Proving
Balisage calendar
so.nwalsh.com·14h
📝ABNF Parsing
IMO 2024 and 2025
blog.evanchen.cc·10h
🔬Lean
Everything You Need To Know About Redux Down in a hole uncovering why you would use it, no excuses now!
blog.codeminer42.com·8h
🌊Streaming Systems
Weekly Update 462
troyhunt.com·1d
⚖️Legal Compliance
Open source BOM management (for me)
vincentuden.xyz·2d·
Discuss: Hacker News
⚡Circuit Archaeology
Tailscale: The State of Zero Trust
tailscale.com·6d·
Discuss: Hacker News, Hacker News
🌐Network Security
Google Workspace is rolling out a security update to stop token stealing attacks
theverge.com·14h
🔓Hacking
NUC 11 Pro + ESXi 8.0 – Stuck at 100Mbps Ethernet, Need Help
reddit.com·2h·
Discuss: r/homelab
🖥Home Lab Setup
Token Leakage via Referrer — The Invisible Slip to Third Parties
infosecwriteups.com·20h
🎫Kerberos Attacks
Microsoft researchers: To fend off AI, consider a job as a pile driver
theregister.com·6h
🌊Stream Processing
Paraverse, AIRLOOK, and SenseTime Revolutionize Digital Twins with Cloud XR Streaming and AI Integration In The Middle East
dev.to·2h·
Discuss: DEV
🎥Streaming Codecs
Building a Smart Recipe Discovery Platform with Algolia MCP Server
dev.to·2d·
Discuss: DEV
🧮Algorithmic Cooking
AI and machine learning projects will fail without good data
techradar.com·21h
🔗Data Provenance
Will AI Take Over Cybersecurity Jobs? Here's What You Need to Know
dev.to·1d·
Discuss: DEV
🎯Threat Hunting
Watermarking Large Language Model-based Time Series Forecasting
arxiv.org·1d
📈Time Series
SkinDualGen: Prompt-Driven Diffusion for Simultaneous Image-Mask Generation in Skin Lesions
arxiv.org·1d
🤖Advanced OCR
Why AI Companies Are Turning to Credit-Based Pricing
dev.to·1d·
Discuss: DEV
📝Database WAL
HIAL: A New Paradigm for Hypergraph Active Learning via Influence Maximization
arxiv.org·1d
🕸️Graph Embeddings
AQUA: A Large Language Model for Aquaculture & Fisheries
arxiv.org·1d
💻Local LLMs