Program verification is not all-or-nothing
lawrencecpaulson.github.io·1d
🎯Performance Proofs
Updating a FreeBSD 14.2 host to FreeBSD 14.3 via freebsd-update
dan.langille.org·16h
🐡OpenBSD
ksmbd - Fuzzing Improvements and Vulnerability Discovery (2/3)
blog.doyensec.com·4d
🧪Binary Fuzzing
Unity developers can now tap into system screen reader tools on macOS and Windows
engadget.com·11h
🔠Terminal Fonts
Let's make PostgreSQL multi-threaded (2023)
postgresql.org·2d·
Discuss: Hacker News
🗄️PostgreSQL WAL
6.7 billion euros: End of Windows 10 as a money printing machine for Microsoft
heise.de·1d
🔌Operating system internals
dockur/windows-arm
github.com·5d
🔌Operating system internals
InvisiCaps: Giving Capabilities to C Pointers
fil-c.org·18h·
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·14h
🖥️Hardware Architecture
Autonomous Optimization of Alkaline Cleaning Formulations via Bayesian Reinforcement Learning
dev.to·8h·
Discuss: DEV
⚙️Modern Assembly
Architecting UltraNews: Building a Real-Time News Intelligence Platform That Scales
dev.to·1d·
Discuss: DEV
🌊Stream Processing
How is Ultrassembler so fast?
jghuff.com·5d·
Discuss: Lobsters, Hacker News, r/programming
⚙️Modern Assembly
Linux Mint 22.2 "Zara" has been released
heise.de·1d
🔌Operating system internals
opensleep: Rust firmware for the Eight Sleep Pod 3 (replacing ALL of Eight Sleep's proprietary programs)
reddit.com·1d·
Discuss: r/rust
📊Homelab Monitoring
Beelink EQi13 Pro Review – Part 2: A mid-range Intel Core i5-13500H mini PC tested with Windows 11 Pro
cnx-software.com·22h
🕸️WASM Archives
Help me consolidate these video capture systems using old servers!
preview.redd.it·1d·
Discuss: r/homelab
🎬Video Codecs
Stretched Layer 2 Network for bhyve VMs with FreeBSD & VXLAN
discoverbsd.com·1d
🔌Operating system internals
Thoughts on Evals
raindrop.ai·3h·
Discuss: Hacker News
🔍Concolic Testing
Why Chainguard Is Doubling Down on Virtual Machines in a Container World
thenewstack.io·10h
📦Container Security
Xiaomi Redmibook Laptops To See Better Support With Linux 6.18
phoronix.com·18h
🔌Operating system internals