2025 Eastern Great Lakes (EaGL) workshop in Theory of Computation
cstheory-events.org·2h
⚡Parallel Computing
A New ‘Blue Zone’ May Be Emerging with Wildly Long Life Expectancies
popularmechanics.com·11h
🇸🇪Nordic Algorithms
Intel Core Ultra 7 365K leaks ahead of Arrow Lake Refresh launch
techspot.com·1d
🖥️Modern CPU
Reflections on Random Kitchen Sinks
archives.argmin.net·2h·
Discuss: Hacker News
🧮Kolmogorov Bounds
Let's make PostgreSQL multi-threaded (2023)
postgresql.org·1d·
Discuss: Hacker News
🗄️PostgreSQL WAL
Nvidia GPU Virtualization (VGPU) Support
lore.kernel.org·1d·
Discuss: Hacker News
🖥️Terminal Renaissance
Why Rewriting Emacs Is Hard
kyo.iroiro.party·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
📝Concrete Syntax
Show HN: A unified approach to compute sandboxes
computesdk.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Mooncake: A KVCache-centric Disaggregated Architecture for LLM Serving
arxiv.org·1d
💨Cache Analysis
Novel Polymeric Network Architectures for Enhanced Molecular Adhesive Interface Bonding
dev.to·10h·
Discuss: DEV
🌐Computational Topology
Scalable Silicon Anode Characterization via Multi-Modal Data Fusion & HyperScore Prediction
dev.to·15h·
Discuss: DEV
🌈Spectroscopy
ProMQA-Assembly: Multimodal Procedural QA Dataset on Assembly
arxiv.org·1d
⚙️Assembly Verification
nRF54L15 Connect Kit – A compact Bluetooth 6.0 LE, 802.15.4, and NFC development board
cnx-software.com·2d·
Discuss: Hacker News
🔌Single Board PC
The Three Sacred Guardrails of AI
aboard.com·1d·
Discuss: Hacker News
⚡Proof Automation
TeamGroup MP44Q 2TB SSD Review: Another Budget Winner
tomshardware.com·12h
⚛️Quantum Tape
Real-Time OT Anomaly Detection via Hyperdimensional Federated Learning and Symbolic Reasoning
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
Galactic Algorithm
en.wikipedia.org·1d·
Discuss: Hacker News
🎯Performance Proofs
DiVerify: Hardening Identity-Based Software Signing with Programmable Diverse-Context Scopes
arxiv.org·1d
🔐PKI Archaeology
Linux - Recreating old problems with new tools
dedoimedo.com·12h·
Discuss: Hacker News
🔌Operating system internals
Cut Costs, Not Accuracy: LLM-Powered Data Processing with Guarantees
arxiv.org·1d
💻Local LLMs