CVE-2025-59397 - Open Web Analytics SQL Injection
seclists.org·1d
🛡Cybersecurity
Ensuring Safe and Reliable Updates with Qualys TruRisk™ Manifest Version Control
blog.qualys.com·1d
Archive Fixity
10 Data + AI Observations for Fall 2025
towardsdatascience.com·12h
🌊Stream Processing
Slip – A Lisp System in JavaScript
lisperator.net·12h·
Discuss: Hacker News
🔗Lisp
Let's Write a Macro in Rust
hackeryarn.com·10h·
Discuss: Hacker News
🦀Rust Macros
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·22h
🧮Theorem Proving
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·12h·
Discuss: DEV
📊Multi-vector RAG
N8n vs. Windmill vs. Temporal
blog.arcbjorn.com·1d·
Discuss: Hacker News
🌊Stream Processing
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
Vexing Exceptions
ericlippert.com·23h·
Discuss: Hacker News
🧪Binary Fuzzing
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·3h·
Discuss: Hacker News
Proof Automation
Show HN: An open-source starter kit for implementing OWASP ASVS 5.0
github.com·6h·
Discuss: Hacker News
🔓Open Source Software
A new breed of analyzers
daniel.haxx.se·14h·
🐛Fuzzing
CReact - JSX for the Cloud
github.com·6h·
🧱Immutable Infrastructure
What's your workflow to pass cloud secrets/config metadata to apps safely?
news.ycombinator.com·20h·
Discuss: Hacker News
🛡️Preservation Proofs
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
Building Resilient AI Agents on Serverless | Restate
restate.dev·1d·
🧱Immutable Infrastructure
A Retrospective Survey of 2024/2025 Open Source Supply Chain Compromises
words.filippo.io·11h·
🔓Open Source Software
The Linus Method: How we simiplifed RFC reviews
devashish.me·9h·
Discuss: Hacker News
⚙️Proof Engineering