Harvey Kent Bowen, ceramics scholar and MIT Leaders for Global Operations co-founder, dies at 83
news.mit.edu·1d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
August 11, 2025: Intermediate Scraping Webinar (4 hour) [Americas / Europe-friendly time]
bellingcat.com·2d
🦀Rust Macros
Heracles – Chosen Plaintext Attack on AMD SEV-SNP
heracles-attack.github.io·5h·
Discuss: Hacker News
🛡️RISC-V Security
Virtual Threads with Java 24 – Will It Scale?
gaetanopiazzolla.github.io·4d·
Discuss: Hacker News
🌊Streaming Systems
Space Force officials take secrecy to new heights ahead of key rocket launch
arstechnica.com·3h
🖥️Modern Terminals
Show HN: Starter Repo for Rust CLI with built in database
deebkit.com·4d·
Discuss: Hacker News, r/commandline
🦀Rust Macros
An Encryption Algorithm
dev.to·2d·
Discuss: DEV
🔐Homomorphic Encryption
Predictions under pressure: Using AI to study porous materials
phys.org·9h
🤖Advanced OCR
Why Context Architecture Beats Prompt Engineering. The Precursor Manifesto
medium.com·3d·
Discuss: Hacker News, r/programming
⚙️TLA+
Why the best lawyers are learning to talk to AI
techradar.com·9h
⚡Proof Automation
From "Aha Moments" to Controllable Thinking: Toward Meta-Cognitive Reasoning in Large Reasoning Models via Decoupled Reasoning and Control
arxiv.org·5d
✨Effect Handlers
Dynamic Preference Graph Fusion for Hyper-Personalized Recommendation Systems in E-Commerce
dev.to·1d·
Discuss: DEV
🎯Content Recommendation
Former Intel CEO lays out radical plan to rescue the company — Suggests outing Lip-Bu Tan and asks for $40 billion investment from Nvidia, Apple, and others
tomshardware.com·1d·
Discuss: Hacker News
🖥️Terminal Renaissance
Inside gomarklint: Building a High-Performance Markdown Linter in Go
dev.to·3d·
Discuss: DEV
⟷Bidirectional Programming
Anti-Jamming Sensing with Distributed Reconfigurable Intelligent Metasurface Antennas
arxiv.org·4d
⚽Sphere Packing
Enhanced Phosphorescent OLED Performance via Dopant-Host Energy Transfer Optimization
dev.to·4d·
Discuss: DEV
🔬Optical Physics
Leveraging GNN to Enhance MEF Method in Predicting ENSO
arxiv.org·20h
📈Time Series
Real-Time Predictive Maintenance of Gearbox Faults via Spectral Domain Resampling & Sparse Bayesian Filtering
dev.to·3d·
Discuss: DEV
🌊Digital Signal Processing
Algorithmic Optimization of Circular Economy Logistics via Hyper-Efficient Resource Routing
dev.to·5d·
Discuss: DEV
🕸️Network Topology
TravelMate AI: Real-Time AI Travel Planner Powered by Redis Stack
dev.to·3d·
Discuss: DEV
⚡Redis Internals