We Are Still Unable to Secure LLMs from Malicious Inputs
schneier.com·22h·
Discuss: Hacker News, www.schneier.com
🔐Zero-Knowledge Proofs
Putin on the code: DoD reportedly relies on utility written by Russian dev
theregister.com·14h·
Discuss: Hacker News
🔒Cryptography
Show HN: Open-Source] Deep Research Assistant Built Solely for Gemini API
github.com·8h·
Discuss: Hacker News
✅Formal Methods
Engineering Strategy and Planning(2022)
yusufaytas.com·3h·
Discuss: Hacker News
🔒Cryptography
AWS Kiro: Arbitrary Code Execution via Indirect Prompt Injection
embracethered.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
The 3D Software Rendering Technology of 1998's Thief: The Dark Project (2011)
nothings.org·15h·
Discuss: Hacker News
🎨Rendering
Widespread Data Theft Targets Salesforce Instances via Salesloft Drift
cloud.google.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Code Surgery: How AI Assistants Make Precise Edits to Your Files
fabianhertwig.com·8h·
Discuss: Hacker News
🦀Rust
A Deep Dive into Apple's DNG Processing Vulnerability
msuiche.com·4d·
Discuss: Hacker News
🦀Rust
strongly typed?
dotat.at·8h·
Discuss: Hacker News
🦀Rust
The Performance Spectrum
mropert.github.io·16h·
Discuss: Hacker News
🦀Rust
Compress Vectors by 4x by using 8-bit Rotational Quantization
weaviate.io·2h·
Discuss: Hacker News
🔒Cryptography
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·2d·
Discuss: Hacker News
✅Formal Methods
Thoughts on systems thinking and production excellence from Release It
stevenoxley.com·1d·
Discuss: Hacker News
🦀Rust
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·1d·
Discuss: Hacker News
🦀Rust
Implementing Forth in Go and C
eli.thegreenplace.net·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🦀Rust
CISA warns of actively exploited Git code execution flaw
bleepingcomputer.com·21h·
Discuss: Hacker News
🦀Rust
Deep dive into Mojo object initialization
connorgray.com·16h·
Discuss: Hacker News
✅Formal Methods
Undisclosed financial conflicts of interest in DSM-5
bmj.com·1d·
Discuss: Hacker News
✅Formal Methods
Google's in-house AI agent discovers critical vulnerability in Chrome
pcworld.com·14h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs