Forget Vector Databases: RAG with Just SQL and LLM
risingwave.com·8h·
Discuss: Hacker News
✅Formal Methods
AWS Kiro: Arbitrary Code Execution via Indirect Prompt Injection
embracethered.com·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
The 3D Software Rendering Technology of 1998's Thief: The Dark Project (2011)
nothings.org·1d·
Discuss: Hacker News
🎨Rendering
GPUPrefixSums – state of the art GPU prefix sum algorithms
github.com·11h·
Discuss: Hacker News
⚡CUDA
Widespread Data Theft Targets Salesforce Instances via Salesloft Drift
cloud.google.com·2d·
Discuss: Hacker News, Hacker News
🔐Zero-Knowledge Proofs
New research claiming passkeys can be stolen is pure nonsense
arstechnica.com·11h·
Discuss: Hacker News
🔒Cryptography
Turning Devin into an analyst
devin.ai·5h·
Discuss: Hacker News
✅Formal Methods
Code Surgery: How AI Assistants Make Precise Edits to Your Files
fabianhertwig.com·23h·
Discuss: Hacker News
🦀Rust
A Deep Dive into Apple's DNG Processing Vulnerability
msuiche.com·4d·
Discuss: Hacker News
🦀Rust
Securing Grafana and Prometheus with SSH tunnels instead of public ports
igorstechnoclub.com·14h·
Discuss: Hacker News
🔒Cryptography
Capture Checking in Scala
nrinaudo.github.io·3d·
Discuss: Lobsters, Hacker News, r/programming
✅Formal Methods
strongly typed?
dotat.at·23h·
Discuss: Hacker News
🦀Rust
An EM's Side Project Reached 1,800 GitHub Stars
newsletter.manager.dev·10h·
Discuss: Hacker News
🦀Rust
Thoughts on systems thinking and production excellence from Release It
stevenoxley.com·2d·
Discuss: Hacker News
🦀Rust
Policy as code, explained
hashicorp.com·12h·
Discuss: Hacker News
🔒Cryptography
Sotasearch.ai – privacy-first research assistant (100% local)
sotasearch.ai·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Logless Raft
will62794.github.io·8h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·2d·
Discuss: Hacker News
🦀Rust
Newton Data Storage
canicula.com·5h·
Discuss: Lobsters, Hacker News, r/programming
✅Formal Methods
Compress Vectors by 4x by using 8-bit Rotational Quantization
weaviate.io·17h·
Discuss: Hacker News
🔒Cryptography