Program verification is not all-or-nothing
lawrencecpaulson.github.io·1d
🎯Performance Proofs
Case Study: XDR Cloud Operations on AWS
crestdata.ai·17h·
Discuss: Hacker News
🏠Homelab Orchestration
IRHash: Efficient Multi-Language Compiler Caching by IR-Level Hashing
usenix.org·19h·
Discuss: Hacker News, r/programming
🏗️Compiler Archaeology
Visual Development Is Fast Until Big-O Complexity Slows It Down. Here's Our Fix
jinen83.github.io·12h·
Discuss: Hacker News
🖥️Terminal Renaissance
New Faceplant attack exposes serious flaw in Windows Hello at Black Hat
techspot.com·11h
🔓Hacking
Sylve: Proxmox-Like FreeBSD Virtualization with Cluster Support
discoverbsd.com·1d
🔌Operating system internals
Routing home-lab VMs/Containers traffic
reddit.com·14h·
Discuss: r/homelab
🏠HomeLab
Advice Needed: Dual-OS Setup with External Power/Boot Buttons (New to Building)
reddit.com·1d·
Discuss: r/homelab
🔌Operating system internals
Unity developers can now tap into system screen reader tools on macOS and Windows
engadget.com·7h
🔠Terminal Fonts
Linux - Recreating old problems with new tools
dedoimedo.com·15h·
Discuss: Hacker News
🔌Operating system internals
Interfacing Micro SD Card Module with Arduino
hackster.io·16h
🎮Game Cartridge Dumps
Scott Baker’s Magnetic Bubble Memory Mega-Post
hackaday.com·1h
💾Floppy Imaging
6.7 billion euros: End of Windows 10 as a money printing machine for Microsoft
heise.de·1d
🔌Operating system internals
Review of TerraMaster D1 SSD Plus Thunderbolt 4/USB4 enclosure
cnx-software.com·1d
🔌Operating system internals
Microsoft Building Out Its "OS Guard" Functionality For Azure Linux
phoronix.com·1d
🔌Operating system internals
AMD Secure AVIC Primed For Linux 6.18 To Provide Better Security & Performance
phoronix.com·2d
🛡️RISC-V Security
Microsoft’s Rust Bet: From Blue Screens to Safer Code
thenewstack.io·1d·
Discuss: Hacker News
🔩Systems Programming
InvisiCaps: Giving Capabilities to C Pointers
fil-c.org·14h·
Discuss: Hacker News
🦀Rust Verification
Expansion card lets you insert 512GB of extra DDR5 memory into your PCIe slot — CXL 2.0 AIC designed for TRX50 and W790 workstation motherboards
tomshardware.com·10h
🖥️Hardware Architecture
Autonomous Optimization of Alkaline Cleaning Formulations via Bayesian Reinforcement Learning
dev.to·4h·
Discuss: DEV
⚙️Modern Assembly