Systems Programming

Feeds to Scour
SubscribedAll
Scoured 114 posts in 7.7 ms

Day 10 of 100 Days of ClickHouse®: What Makes ClickHouse SQL Different?

 🔢Linear Types
quantrail-data.com··DEV
Less-relevant results

Bennett CIO on 24 years of trucking tech transformation

 🎮ECS
freightwaves.com·

[eCHO News] Episode #106: Writing eBPF in Haskell. Cilium and Star Wars

 🧩Monads
isovalent-9197153.hs-sites.com·

Stop Wasting GPU Budget: Autoscaling AI Inference on Kubernetes with KEDA

 🤖AI
cloudnativenow.com·

When Context Collapses: Teaching Agents to Detect and Recover from Lost Memory

 ⚙️CompTime  Content type: Blog
oreilly.com·

Introducing SupXML, the modern memory-safe XML parser alternative to libxml2

 🧹Memory Management  Content type: Blog
supso.org··Hacker News

Watch Apple's WWDC26 Platforms State of the Union Recap [Video]

 🖥️RISC-V  Content type: News
iclarified.com·

Cilium CICD Security KASAN support to eBPF

 🔑Capability-based Security
isovalent-9197153.hs-sites.com·

Expiration of Secure Boot signing certificates in 2026

 🔑Capability-based Security
redhat.com·

OpenCV 5.0 Released With Rewritten DNN Engine, Built-In LLM & VLM Support

 🤖AI
phoronix.com··Hacker News

WEKA software speeds long context AI inferencing on Oracle’s public cloud

 ⏱️Tokio  Content type: News
blocksandfiles.com·

AWS can now mathematically prove your VMs are isolated

 🔗Dependent Types
thenewstack.io·

Village News: MySQL/Database News + Events (5 June 2026)

 🧬Persistent Data  Content type: Blog
villagesql.com·

BMO: An ESP32-S3 Companion Robot Inspired by Adventure Time

 🖥️RISC-V
hackster.io·

WSL 3 will finally let Linux apps use your GPU and NPU without the performance tax

 🤖AI
xda-developers.com·

Show HN: Nucleus – A security-hardened, Nix-native container runtime

 🧬Persistent Data  Content type: Code
github.com··Hacker News

ZimaCube Experience Blog

 📦Custom Allocators
bob-loves-tech.github.io··r/homelab

EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation

 ✓Formal Verification  Content type: Blog
amazon.science··Lobsters

Programming Languages Software Award

 🔗Dependent Types
sigplan.org·

Gigabyte packs 40 Intel Lunar Lake PCs in a pizza box

 🖥️RISC-V  Content type: News
theregister.com··r/hardware
Sign up or log in to see more results
Sign UpLogin

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help