Alexander Fehrmann: How To Analyze Impression Evidence In Amped FIVE
forensicfocus.com·1d
🔍Binary Forensics
CVE-2025-59397 - Open Web Analytics SQL Injection
seclists.org·1d
🛡Cybersecurity
LLMs and reinforcement learning
sicpers.info·12h
⚔️Lean Tactics
Superpowers: How I'm using coding agents in October 2025
blog.fsck.com·1d
⚡Proof Automation
The artificial complexity of OOXML files (the PPTX case)
blog.documentfoundation.org·5h·
Discuss: Hacker News
📟Terminal Typography
Regression to the Mean
blog.engora.com·7h·
Discuss: Hacker News
🎯Arithmetic Coding Theory
The effective LLM multi-tenant security with SQL
getbruin.com·1d·
Discuss: Hacker News
🗄️Database Internals
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.org·1d·
Discuss: Hacker News
🔗Constraint Handling
Meet Amazon Quick Suite: The agentic AI application reshaping how work gets done
aboutamazon.com·1d·
Discuss: Hacker News
🌊Streaming Systems
Building Resilient AI Agents on Serverless | Restate
restate.dev·1d·
Discuss: Hacker News, r/programming
🧱Immutable Infrastructure
Real Programmers Don't Use Pascal (1982)
ee.torontomu.ca·1d·
Discuss: Hacker News
🏗️Compiler Archaeology
MetaGraph: Scalable annotated de Bruijn graphs for DNA indexing and alignment
github.com·1d·
Discuss: Hacker News
🔄Burrows-Wheeler
`shimmy` Rust inference server uses bindings to a C library... and runs Python scripts in the shell
reddit.com·22h·
Discuss: r/rust
🦀Rust Macros
What Every Developer Should Know About AI in 2025
dev.to·1h·
Discuss: DEV
🔄Language Evolution
AI Agent Building Block: Native App Automation
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Beyond Autocomplete: A practical guide to AI-Assisted Development
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Effective Web Scraping with Python: Building a Robust Data Pipeline for Price Monitoring
dev.to·12h·
Discuss: DEV
🕵️Feed Discovery
On The Fragility of Benchmark Contamination Detection in Reasoning Models
arxiv.org·4d
🧪Hardware Fuzzing
Scaling LLM Multi-turn RL with End-to-end Summarization-based Context Management
arxiv.org·1d
💻Local LLMs
Off-Trajectory Reasoning: Can LLMs Collaborate on Reasoning Trajectory?
arxiv.org·1d
📏Linear Logic