Tesla Found Partly Liable in 2019 Autopilot Death
wired.com·1d·
Discuss: Hacker News, r/technews
🍎Apple
Gatik unveils Arena, a next generation simulation platform for autonomous trucks
freightwaves.com·4d·
Discuss: Hacker News
📦Unikernel Systems
I found a tool that turns any text into a Brat-style album cover
bratgenerator.blog·11h·
Discuss: Hacker News
🍎Apple
Search Engines – which one to choose?
digdeeper.love·1d·
Discuss: Hacker News
❄️Nix
Show HN: Cloudlvl – Build cloud infra using natural language
cloudlvl.com·5d·
Discuss: Hacker News
🛡️seL4
A Dive into Open Chat Protocols
wiki.alopex.li·3d·
Discuss: Lobsters, Hacker News
🔬Unikernels
Num2words PyPI Package Compromised
stepsecurity.io·5d·
Discuss: Hacker News
❄️Nixified Development
Effect of Non-Nutritive Sweeteners on the Gut Microbiota
pmc.ncbi.nlm.nih.gov·15h·
Discuss: Hacker News
➡️Category Theory
Why AI is making us worse thinkers (and how to avoid it)
buttondown.com·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Reverse engineered 90 legacy builder tools – created a YARA corpus
news.ycombinator.com·6d·
Discuss: Hacker News
❄️Nixified Development
Government surplus find
i.redd.it·1d·
Discuss: r/homelab
🏠HomeLab
Your AI Chatbot Is Only as Smart as Your Data Architecture
thenewstack.io·3d
👁️System Observability
The Evolution of Video Anomaly Detection: A Unified Framework from DNN to MLLM
arxiv.org·4d
🎮Verification Games
Reframe Your Life Story: Interactive Narrative Therapist and Innovative Moment Assessment with Large Language Models
arxiv.org·5d
🐫OCaml
HypKG: Hypergraph-based Knowledge Graph Contextualization for Precision Healthcare
arxiv.org·5d
🔠Type-Level Programming
Strategic Motivators for Ethical AI System Development: An Empirical and Holistic Model
arxiv.org·5d
🤖Program Synthesis
Introducing Socket MCP for Claude Desktop
socket.dev·4d·
Discuss: Hacker News
🛡️seL4
Wall Shear Stress Estimation in Abdominal Aortic Aneurysms: Towards Generalisable Neural Surrogate Models
arxiv.org·3d
🏹Effect Systems
A Study on Variants of Conventional, Fuzzy, and Nullspace-Based Independence Criteria for Improving Supervised and Unsupervised Learning
arxiv.org·4d
➡️Category Theory
Investigating the Invertibility of Multimodal Latent Spaces: Limitations of Optimization-Based Methods
arxiv.org·2d
➡️Category Theory