Why We Need SIMD
parallelprogrammer.substack.com·6h·
Discuss: Substack
📊RISC-V Vectors
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·5h·
Discuss: DEV
📏Code Metrics
Fun with HyperLogLog and SIMD
vaktibabat.github.io·1d·
Discuss: Hacker News, r/rust
📊HyperLogLog
AdaRD-key: Adaptive Relevance-Diversity Keyframe Sampling for Long-form Video understanding
arxiv.org·5h
🎬AV1 Encoding
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·15h·
Discuss: r/programming
⚡Cache Coherence
Eliminating the Precision–Latency Trade-Off in Large-Scale RAG
thenewstack.io·2d
🎯Retrieval Systems
Three important things to get right for successful AI Coding
kau.sh·16h
⚡Proof Automation
Property-based testing of batch-invariant operations
mmaaz.ca·10h·
Discuss: Hacker News
🧪Property-Based Testing
A grand week
blog.mitrichev.ch·20h·
Discuss: blog.mitrichev.ch
🧮SMT Solvers
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·3h
📏Code Metrics
Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
arxiv.org·5h
🧮SMT Solvers
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·19h·
Discuss: Hacker News
🕸️Knowledge Graphs
How we trained an ML model to detect DLL hijacking
securelist.com·1h
🔗Binary Similarity
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·5h
🔧Hardware Verification
CPU Cache-Friendly Data Structures in Go: 10x Speed with Same Algorithm
skoredin.pro·3h·
Discuss: Hacker News
💨Cache Optimization
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·5h
🧮Kolmogorov Complexity
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·22h·
Discuss: Hacker News
📝Concrete Syntax
Adventures on the AI Coding side of things
medium.com·1h·
Discuss: Hacker News
🌍Cultural Algorithms
TypeNet Benchmark for development of authentication keystroke technologies
github.com·1d·
Discuss: Hacker News
🗜️LZSS Variants