Formally verifying a floating-point division routine with Gappa – part 1
community.arm.com·5h·
Discuss: Lobsters, Hacker News, r/programming
🔐Post-Quantum Cryptography
iText 9.4.0 Brings LOTL Functionality for Seamless EU PDF Signature Validation
kb.itextpdf.com·4h·
Discuss: Hacker News
🕸️WASM
Chinese hackers breach 700 companies through single Salesforce integration
nearlyright.com·1d·
Discuss: Hacker News
👁️Observability
Building Supabase-Like OAuth Authentication for MCP Servers
hyprmcp.com·4h·
Discuss: Hacker News
🔌API Design
Dynamo AI (YC W22) Is Hiring for AI Product Managers
ycombinator.com·1d·
Discuss: Hacker News
💡Entrepreneurship
Computer Security: Block ads, stay clean
home.cern·2h·
Discuss: Hacker News
🔐Post-Quantum Cryptography
AI Agent Security – Why You Should Pay Attention
medium.com·2d·
Discuss: Hacker News
👁️Observability
Show HN: A unified approach to compute sandboxes
computesdk.com·21h·
Discuss: Hacker News
🏛️Technical Architecture
Anti-patterns and patterns for achieving secure generation of code via AI
ghuntley.com·2d·
Discuss: Hacker News
🔐Post-Quantum Cryptography
Internet mapping and research outfit Censys reveals state-based abuse, harassment
theregister.com·1d·
Discuss: Hacker News
🤖AI
Our Approach to Building Career Agency
people-work.io·3h·
Discuss: Hacker News
💡Entrepreneurship
RapperBot: From Infection to DDoS in a Split Second
bitsight.com·1d·
Discuss: Hacker News
👁️Observability
We detected a CAPTCHA solver in the wild, and what it says about bot defenses
blog.castle.io·22h·
Discuss: Hacker News
🤖AI
Introduction to Ada: a project-based exploration with rosettas
blog.adacore.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Systems
ML Systems: Motivating Dense Models
jacobkahn.me·19h·
Discuss: Hacker News
🔐Post-Quantum Cryptography
FusionAuth, AI, and the Chapters That Shape Us
lucas.untethered4life.com·1d·
Discuss: Hacker News
💡Entrepreneurship
Primary Keys in Sharded Databases
pgdog.dev·1h·
Discuss: Hacker News
🗃️Database Optimization
1965 Cryptanalysis Training Workbook Released by the NSA
schneier.com·2d·
Discuss: Hacker News
🔐Post-Quantum Cryptography
Unifying real-time analytics and observability with OpenTelemetry and ClickStack
clickhouse.com·2h·
Discuss: Hacker News
👁️Observability
Creating a Knowledge Graph for ICD Codes Using LLMs
ai.gopubby.com·8h·
Discuss: Hacker News
🔌API Design