Feeds to Scour
SubscribedAll
IsEven(int32_t) in O(1)
ceayo.neocities.org·24m·
Discuss: Hacker News
🧪Binary Fuzzing
Preview
Report Post
From Alternation to FPRAS: Toward a Complexity Classification of Approximate Counting
arxiv.org·1d
🎯Performance Proofs
Preview
Report Post
Polymorphism, but for Your Database
typedb.com·1d·
Discuss: Hacker News
🔢Denotational Semantics
Preview
Report Post
IDA Pro String Heuristics
gabrielcybersecurity.com·1d
✅Format Verification
Preview
Report Post
Indexed Reverse Polish Notation, an Alternative to AST
burakemir.ch·20h·
Discuss: Hacker News
🔗Concatenative Programming
Preview
Report Post
REshare Ramblings - Bad Vibes with IDA
scrapco.de·4h
🔧KAITAI
Preview
Report Post
4x Faster: How AI-Assisted Development Accelerated Building New SQL Dialects for Zero Copy Connectors
engineering.salesforce.com·18h
⚙️Batch Processing
Preview
Report Post
String Theory Inspires a Brilliant, Baffling New Math Proof
quantamagazine.org·1d
📐Mathematical Art
Preview
Report Post
Rich Headers: leveraging this mysterious artifact of the PE format
virusbulletin.com·5h·
Discuss: Hacker News
🏺Format Archaeology
Preview
Report Post
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
terrytao.wordpress.com·3d
🧮Theorem Proving
Preview
Report Post
Fighting the Client Spaghetti Monster with Rust Traits
gnunicorn.org·4d·
Discuss: Hacker News
🦀Rust Borrowing
Preview
Report Post
.NET Wrapper for latest PCRE2 library
github.com·12h·
Discuss: Hacker News
✅Format Verification
Preview
Report Post
Post-Quantum Cryptography on CHERIoT
cheriot.org·1d·
Discuss: Hacker News
🔲Lattice Cryptography
Preview
Report Post
EDA in Public (Part 1): Cleaning and Exploring Sales Data with Pandas
towardsdatascience.com·1d
🧬PostgreSQL Forensics
Preview
Report Post
Surviving the RAM Squeeze: Efficiency Tips for JavaScript Developers
blog.codeminer42.com·2d
🧠Memory Allocators
Preview
Report Post
How Harmonic Security improved their data-leakage detection system with low-latency fine-tuned models using Amazon SageMaker, Amazon Bedrock, and Amazon Nova Pr...
aws.amazon.com·1d
👁️Observatory Systems
Preview
Report Post
The Coming Need for Formal Specification
benjamincongdon.me·14h
📋Formal Verification
Preview
Report Post
Unswitching loops for fun and profit
xania.org·1d
🚀Compiler Optimizations
Preview
Report Post
SQLFlash: A New Era of Intelligent Optimization, Effectiveness Soars to 87%
dev.to·2d·
Discuss: DEV
⛏️SQL Archaeology
Preview
Report Post
Rethinking Data Integrity: Why Domain-Driven Design Is Crucial
thenewstack.io·19h
🔄Schema Evolution
Preview
Report Post