ChromaLex
hackster.io·2d
📱QR Archaeology
A Model for all Ranges
qt.io·44m
🧩SQLite Extensions
OpenBSD-Based Home Network: Router, Self-Hosting & Mesh Setup
discoverbsd.com·3h
🔌Operating system internals
Is Math Discovered or Invented?
curtispoe.org·7h
🔲Proof Irrelevance
Security Flaws in the WebMonetization Site
shkspr.mobi·3h·
Discuss: shkspr.mobi
📡Feed Security
Representative Line: Not What They Meant By Watching "AndOr"
thedailywtf.com·8h
🔗Concatenative Programming
Palo Alto Networks Named a Leader in WW Incident Response Services
paloaltonetworks.com·10h
🚨Incident Response
Gaslighting Check
gaslightingcheck.com·1d·
Discuss: Hacker News
🚨Incident Response
How I Approach Performance Investigations – By Rico Mariani
ricomariani.medium.com·1d·
Discuss: Hacker News
🎯Performance Forensics
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.org·10h
🔧Hardware Verification
SSL certificate requirements are becoming obnoxious
chrislockard.net·2h·
Discuss: Hacker News
🔐Certificate Analysis
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·3d·
Discuss: Hacker News
⚔️Lean Theorem
Emulating aarch64 in software using JIT compilation and Rust
pitsidianak.is·6h·
Discuss: Lobsters, Hacker News, r/rust
🦾ARM Assembly
Memory optimizations to reduce CPU costs
ayende.com·1d·
Discuss: Hacker News
📝Text Compression
Improving Search for Deep Research Agents
vishnudut.com·17h·
Discuss: Hacker News
🧠Query Planners
Deep Think with Confidence
arxiviq.substack.com·2d·
Discuss: Substack
💻Local LLMs
The Lobster Programming Language
strlen.com·19h·
Discuss: Hacker News
🔗Concatenative Programming
Antirez/sds: Simple Dynamic Strings library for C
github.com·23h·
Discuss: Hacker News
✅Format Verification
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·10h
🎯Performance Proofs
M^3-GloDets: Multi-Region and Multi-Scale Analysis of Fine-Grained Diseased Glomerular Detection
arxiv.org·10h
🕳️Persistent Homology