⚡ SMT Integration

Z3 Applications, Constraint Programming, Verification Workflows, Decision Procedures

Using keyrings and certificates on z/OS with Liberty
colinpaice.blog·4h
🔐PKI Archaeology
[$] Simpler management of the huge zero folio
lwn.net·1h
🔩Systems Programming
Securing the Quantum Age
paloaltonetworks.com·4h
🔐Quantum Security
Safeguarded AI Meeting
golem.ph.utexas.edu·3h
🎯Threat Hunting
Updates!
scottaaronson.blog·15h
🌳Context free grammars
OOMProf - Take a heap profile just before OOMkill using eBPF
polarsignals.com·1d·
Discuss: Lobsters, Hacker News, r/golang
🧠Memory Forensics
Developers Think "Testing" is Synonymous with "Unit Testing" – @garthgilmourni
youtube.com·1d
🔍Concolic Testing
State of torch.compile for training (August 2025)
blog.ezyang.com·10h·
Discuss: Hacker News
🦀Rust Macros
The "high-level CPU" challenge
yosefk.com·2d·
Discuss: Lobsters, Hacker News, Hacker News
⚡CPU Microarchitecture
How to Build Abstractions in Rust Applications (2023)
orodu.net·1h·
Discuss: Lobsters, Hacker News
🦀Rust Borrowing
NZ1: A minimalist, dependency-free data compression algorithm
github.com·1d·
Discuss: Hacker News
🌊Streaming Compression
Handling long-running LLM streams in a stateful backend
blog.leap.new·2h·
Discuss: Hacker News
🌊Streaming Systems
Taking a Second Look
2ndsetai.substack.com·1h·
Discuss: Substack
🤖AI Curation
TEN: Table Explicitization, Neurosymbolically
arxiv.org·12h
🌳Context free grammars
Patterns of Functional Programming: Functional Core – Imperative Shell
javiercasas.com·1d·
Discuss: Hacker News
🐚Shell Monads
Go Interfaces: Favoring Composition Over Inheritance (With a Dash of Common Sense)
hackernoon.com·1d
💧Liquid Types
We Should All Code Like Steve Jobs
priver.dev·50m·
Discuss: Hacker News
📏Code Metrics
I chose OCaml as my primary language
xvw.lol·21h·
Discuss: Lobsters, Hacker News, r/programming
🧬Functional Programming
Flexibility to Framework: Building MCP Servers with Controlled Tool Orchestration
aws.amazon.com·1d
🔌Interface Evolution
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks
arxiv.org·12h
🌐Protocol Synthesis