Apple CarPlay Hacking Risks: CVE-2025-24132 Explained | Oligo Security
oligo.security·2d
🤝Protocol Design
Why we need C++ Exceptions
abuehl.github.io·2d·
Discuss: r/cpp
🔍Static Analysis
Defending Against AI-Powered CLI Supply Chain Attacks
auth0.com·1d
🦀Rust
Improving state machine code generation
trifectatech.org·2d·
Discuss: r/rust
🔧Compiler Design
Automate app deployment and security analysis with new Gemini CLI extensions
cloud.google.com·1d
🔍Static Analysis
How to harness skills that AI can’t automate
figma.com·2d·
Discuss: Hacker News
🧩Theorem Proving
Using Haskell in Production
agentultra.com·2d·
Discuss: Hacker News
⚙Functional Programming
Frigate Electrum Server
github.com·1d
🤝Protocol Design
Asymmetry Vulnerability and Physical Attacks on Online Map Construction for Autonomous Driving
arxiv.org·2d
🔐Cryptography
Easy to use server for the KiCad Plugin and Content Manager
github.com·2d·
Discuss: Hacker News
👐Open Source Software
Hardware Acceleration of Kolmogorov-Arnold Network (KAN) in Large-Scale Systems
arxiv.org·2d
🏗Computer Architecture
ADHAM: Additive Deep Hazard Analysis Mixtures for Interpretable Survival Regression
arxiv.org·1d
🎲Probabilistic Programming
Quantifying Moral Trade-offs in Autonomous Vehicle Accident Scenarios via Bayesian Dynamic Programming
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
Parse Graph-Based Visual-Language Interaction for Human Pose Estimation
arxiv.org·1d
🔗Parser Combinators
3 Errors in the Front-End Architecture that Slow Down Your Projects
dev.to·5d·
Discuss: DEV
🔧Compiler Design
MCP & API: Are they Two Sides of the Same Coin, or Worlds Apart?
dev.to·2d·
Discuss: DEV
🤝Protocol Design
Automated Multi-Modal Analysis for Early Ischemic Colitis Detection via Microvasculature Biomarkers
dev.to·2d·
Discuss: DEV
🎲Probabilistic Programming
Bias in the Loop: How Humans Evaluate AI-Generated Suggestions
arxiv.org·16h
🧩Theorem Proving
RAG with a map: Multimodal + geospatial in Elasticsearch
elastic.co·1d
🔗Parser Combinators
e.l.f. Beauty’s CDIO says she’s responsible for AI’s foundation, but that these tools aren’t an IT mandate
fortune.com·1d
🧩Theorem Proving