Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Preparing for Saxon 13
blog.saxonica.com·31m
🔄Language Evolution
Flag this post
[SBA-ADV-20250724-01] CVE-2025-32919: Checkmk Agent Privilege Escalation via Insecure Temporary Files
seclists.org·1d
💣ZIP Vulnerabilities
Flag this post
Show HN: Runnable Flowcharts for the Web
flowrun.io·1d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Interview Your Libraries (2013)
jch.github.io·1d·
Discuss: Hacker News
⚙️Build Archaeology
Flag this post
Actually finding vulnerabilities using AI with Joshua Rogers
opensourcesecurity.io·2d·
Discuss: Hacker News
🚀Indie Hacking
Flag this post
Intelligent Hillclimbing
judgmentlabs.ai·2d·
Discuss: Hacker News
📏Code Metrics
Flag this post
Secure Your Data Exchange with ReversingLabs & Kiteworks
reversinglabs.com·21h
🕸️Mesh Archiving
Flag this post
Cold Calculation
kae3g.codeberg.page·3d·
Discuss: Hacker News
Incremental Computation
Flag this post
Cracking Blackjack with Go: A Step-by-Step Guide to Your First Move
dev.to·1d·
Discuss: DEV
🎯Proof Tactics
Flag this post
A Bug Hunter’s Guide to CSP Bypasses (Part 1)
infosecwriteups.com·23h
🛡️CLI Security
Flag this post
Flax Typhoon APT exploited ArcGIS server for over a year as a backdoor
securityaffairs.com·5h
🔓Hacking
Flag this post
Anatomy of an Attack: The "BlackSuit Blitz" at a Global Equipment Manufacturer
unit42.paloaltonetworks.com·13h
🎫Kerberos Attacks
Flag this post
WUGNECTIVES: Novel Entity Inferences of Language Models from Discourse Connectives
arxiv.org·2d
🔢Denotational Semantics
Flag this post
Domain-Adapted Pre-trained Language Models for Implicit Information Extraction in Crash Narratives
arxiv.org·2d
🎙️Whisper
Flag this post
QA in the Age of AI: How Quality Assurance is Evolving in an AI-First World
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
Flag this post
Judge's Verdict: A Comprehensive Analysis of LLM Judge Capability Through Human Agreement
arxiv.org·1d
🧠Intelligence Compression
Flag this post
Neural variational inference for cutting feedback during uncertainty propagation
arxiv.org·1d
📊Quantization
Flag this post
Tech With Tim: How to Build AI Agents in Python
dev.to·20h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Automated Prior Art Analysis & Insight Extraction via Graph-Fused Semantic Parsing
dev.to·1d·
Discuss: DEV
🗺️Competency Maps
Flag this post