Heap-based buffer overflow in Kernel Streaming
crowdfense.com·21h·
Discuss: Hacker News, r/programming
🔧Unikernel Development
Are LLMs better suited for PR reviews than full codebases?
news.ycombinator.com·13h·
Discuss: Hacker News
🔄Reproducible Builds
Door at Launch: Design Review of an LLM-Driven Story Game
ianbicking.org·2d·
Discuss: Hacker News
🎮Verification Games
Is class imbalance a problem in machine learning?
datascience.stackexchange.com·1d·
Discuss: Hacker News
📚Automata Learning
AI code assistants make developers more efficient at creating security problems
theregister.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Gülçin Yıldırım Jelínek: From DBA to DB Agents
xata.io·2d·
Discuss: Hacker News
👁️System Observability
Automatic Differentiation of Agent-Based Models
arxiv.org·2d
🧠Automated Reasoning
My AI Vibes are Shifting
lesswrong.com·16h
🧠Automated Reasoning
Blue – ecosystem to scale KV store to an exabyte in the open source world
github.com·2d·
Discuss: Hacker News
🔬Unikernels
BioBlue: Notable runaway-optimiser-like LLM failure modes on biologically and economically aligned AI safety benchmarks for LLMs with simplified observation for...
arxiv.org·2d
🩹Self-Healing Systems
PromptCOS: Towards System Prompt Copyright Auditing for LLMs via Content-level Output Similarity
arxiv.org·2d
🛡️seL4
Carbon Language: An experimental successor to C++
github.com·1d·
Discuss: Hacker News
🔍Formal Verification
Compressed verification for post-quantum signatures with long-term public keys
arxiv.org·2d
🌐NetworkProtocols
FastCaps: A Design Methodology for Accelerating Capsule Network on Field Programmable Gate Arrays
arxiv.org·2d
⚙️Operating System Design
The Architecture of AI Transformation: Four Strategic Patterns and an Emerging Frontier
arxiv.org·2d
🤖Program Synthesis
When Agents go Astray: Course-Correcting SWE Agents with PRMs
arxiv.org·3d
✓Automated Theorem Proving
IL-SLAM: Intelligent Line-assisted SLAM Based on Feature Awareness for Dynamic Environments
arxiv.org·2d
🧩Separation Logic
Awesome AI Agent Frameworks
github.com·23h·
Discuss: Hacker News
🔄Reproducible Builds
Improving the Resilience of Quadrotors in Underground Environments by Combining Learning-based and Safety Controllers
arxiv.org·2d
🩹Self-Healing Systems
S2M2ECG: Spatio-temporal bi-directional State Space Model Enabled Multi-branch Mamba for ECG
arxiv.org·2d
🔄Finite State Machines