CISA orders agencies to deal with Microsoft Exchange fixes by Monday
metacurity.com·1d
🚨Incident Response
GNOME 49 Backlight Changes
blog.sebastianwick.net·22h·
Discuss: Lobsters, Hacker News, r/linux
🌈Color Archaeology
Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS
podcasts.apple.com·3d·
Discuss: Lobsters, Hacker News
⚙️Proof Engineering
Running a Reliable Service on LLMs
fin.ai·4h·
Discuss: Hacker News
🌊Streaming Systems
HorizonDB, a geocoding engine in Rust that replaces Elasticsearch
radar.com·1d·
Discuss: Hacker News
📏Range Queries
Floats Don’t Work For Storing Cents: Why Modern Treasury Uses Integers Instead
moderntreasury.com·2d·
Discuss: Hacker News, r/programming
📐Arithmetic Precision
The joy of building a bytecode VM from scratch
vivekn.dev·2d·
Discuss: Hacker News, Hacker News
🔩Systems Programming
Long Polar vs. LDPC Codes under Complexity-Constrained Decoding
arxiv.org·1d
⚛️Quantum LDPC
When a Jira Ticket Can Steal Your Secrets
simonwillison.net·14h·
Discuss: Hacker News
🛡️WebAssembly Security
HTML Traits
github.com·1d·
Discuss: Hacker News
🌐Web Standards
Show HN: Principles of Building AI Agents book [pdf]
github.com·3d·
Discuss: Hacker News
⚡Proof Automation
Why are LLMs' abilities emergent?
arxiv.org·2d
🔲Cellular Automata
ANPrompt: Anti-noise Prompt Tuning for Vision-Language Models
arxiv.org·2d
🤖Advanced OCR
What is Beneath Misogyny: Misogynous Memes Classification and Explanation
arxiv.org·2d
📜Digital Philology
FairPOT: Balancing AUC Performance and Fairness with Proportional Optimal Transport
arxiv.org·2d
🎯Arithmetic Coding Theory
Hacking Hallucinations of MLLMs with Causal Sufficiency and Necessity
arxiv.org·2d
💻Programming languages
Automated Fuzzy Rule Optimization via Hybrid Genetic-Simulated Annealing for Medical Diagnostic Systems
dev.to·3d·
Discuss: DEV
🔗Constraint Handling
Divide-and-Conquer for Enhancing Unlabeled Learning, Stability, and Plasticity in Semi-supervised Continual Learning
arxiv.org·1d
🧠Machine Learning
VS-LLM: Visual-Semantic Depression Assessment based on LLM for Drawing Projection Test
arxiv.org·1d
🤖Advanced OCR
Information-Theoretic Graph Fusion with Vision-Language-Action Model for Policy Reasoning and Dual Robotic Control
arxiv.org·1d
🤖Advanced OCR