Extensions and Shadows (6)
sites.psu.edu·19h
🎯Proof Tactics
Breaking Disassembly — Abusing symbol resolution in Linux programs to obfuscate library calls ️🎭
blog.elmo.sg·2d
🔗Static Linking
Integer Division in Bucketed Time Series
uvdn7.github.io·15h·
Discuss: Hacker News
📈Time Series
Efficiency of a Sparse Hash Table
ashutoshpg.blogspot.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🗃️Database Storage
Eliza Resurrected using original code after 60 years
suramya.com·4h·
Discuss: Hacker News
🎯Automata theory
Rex: Closing the language-verifier gap with safe and usable kernel extensions
usenix.org·3d·
Discuss: Hacker News
🛡️eBPF Security
Spending Inference Time
kevinlu.ai·2d·
Discuss: Hacker News
🌊Streaming Algorithms
Build an AI-Ready Data Foundation with MongoDB Atlas on Azure
mongodb.com·6d·
Discuss: Hacker News
🏺Database Archaeology
“InnerSource : An Approach to Innovative Software Development
devops.com·3h
🔓Open Source Software
AI Killed My Coding Brain, But I’m Rebuilding It
dev.to·8h·
Discuss: DEV
🔩Systems Programming
Build a conversational data assistant, Part 1: Text-to-SQL with Amazon Bedrock Agents
aws.amazon.com·3d
🌊Streaming Systems
Show HN: Portia – A stateful Crew AI alternative, with auth and 1000 tools
github.com·21h·
Discuss: Hacker News
🎙️Whisper
REACT: Real-time Entanglement-Aware Coverage Path Planning for Tethered Underwater Vehicles
arxiv.org·9h
🌀Differential Geometry
TolerantECG: A Foundation Model for Imperfect Electrocardiogram
arxiv.org·9h
🎵Audio ML
NeoSearch: A Search Engine Forged by Determination
dev.to·3d·
Discuss: DEV
🚀Indie Hacking
Building a Simple Router with OpenBSD
discoverbsd.com·1d
🐡OpenBSD
AWS launches Kiro, its Cursor clone
kiro.dev·23h·
Discuss: Hacker News
👁️Observatory Systems
Welcome to the Museum of AI Hallucinations
hackernoon.com·20h
📐Mathematical Art
I Solved Every Mac Developer's Homebrew Frustration with This Open Source Tool
dev.to·1d·
Discuss: DEV
📟CLI Design
Transitioning from Linux to FreeBSD
discoverbsd.com·1d
🔌Operating system internals