Bug in SAP's S/4 HANA exploited in the wild, rated critical CVSS 9.9
scworld.com·23h·
Discuss: Hacker News
🛡️seL4
MileSan: Detecting μ-Architectural Leakage via Differential HW/SW Taint Tracking
comsec.ethz.ch·3d·
Discuss: Hacker News
⚙️Operating System Design
How to Write a Crash Reporter
gamesbymason.com·2d·
Discuss: Hacker News
📊Runtime Verification
Microsoft's analog optical computer cracks 2 practical problems,shows AI promise
news.microsoft.com·16h·
Discuss: Hacker News
🐫Embedded OCaml
5 Times LLMs Help You Code… and 5 Times They Fail
shiftmag.dev·3d·
Discuss: r/programming
🤖Program Synthesis
Seedream 4.0 – A Powerful Image Creation Alternative to Nano Banana
seedream-4.net·10h·
Discuss: Hacker News
🔧Unikernel Development
Learning to code from scratch with AI: what worked, what didn't
indiehackers.com·2d·
Discuss: Hacker News
📚Automata Learning
Hunyuan-MT Technical Report
arxiv.org·1d
🍎XNU Internals
Are We SOLID Yet? An Empirical Study on Prompting LLMs to Detect Design Principle Violations
arxiv.org·5d
🎮Verification Games
Anatomy of a Job Interview Scam
github.com·1h·
Discuss: Hacker News
🍎Apple
Blue – ecosystem to scale KV store to an exabyte in the open source world
github.com·5d·
Discuss: Hacker News
🔬Unikernels
Awesome AI Agent Frameworks
github.com·4d·
Discuss: Hacker News
🔄Reproducible Builds
Yes, AI Continues To Make Rapid Progress, Including Towards AGI
lesswrong.com·3h
🧠Automated Reasoning
Comparison of Signed Number Representations in Computers
en.wikipedia.org·20h·
Discuss: Hacker News
🏹Effect Systems
FreeCAD Foray: From Brick To Shell
hackaday.com·4h
💾Retro Computing
Just One More Prompt
commandpattern.org·4d·
Discuss: Hacker News
📚Automata Learning
Stability Analysis for Stochastic Hybrid Inclusions
arxiv.org·1d
🩹Self-Healing Systems
Show HN: Verse – FOSS Markdown editor web app
github.com·16h·
Discuss: Hacker News
🧮Lambda Calculus
Solving Inverse Acoustic Obstacle Scattering Problem with Phaseless Far-Field Measurement Using Deep Neural Network Surrogates
arxiv.org·1d
🐫OCaml
Gacua: An open-source computer use agent with one-command start
github.com·1h·
Discuss: Hacker News
🐳Containerization