Embedding Lua in Nim
lambdacreate.com·1d
🦀Rust Macros
Evading the Watchful Eye: A Red Teamer’s Guide to EDR Bypass Techniques
medium.com·1d
🔐Cryptographic Archaeology
Let's Prove Leftpad
github.com·10h·
Discuss: Hacker News
📜Proof Carrying Code
What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.com·15h·
Discuss: Hacker News
🔲Cellular Automata
Implicit Models: Expressive Power Scales with Test-Time Compute
arxiv.org·14h
🎯Performance Proofs
Proofs of quantum memory
arxiv.org·14h
⚛️Quantum Tape
Accelerating the Path to Practical Quantum Applications with AI
hpcwire.com·22h·
Discuss: Hacker News
⚛️Quantum Compilers
The Making of Digital Identity – The Birth of Digital Authentication
syntheticauth.ai·2d·
Discuss: Hacker News, r/programming
🔐PKI Archaeology
Show HN: CodexLocal – Offline, Privacy-First AI Coding Tutor (WebLLM and RAG)
codexlocal.com·26m·
Discuss: Hacker News
🌀Brotli Dictionary
Bringing NumPy's type-completeness score to nearly 90% – Pyrefly
pyrefly.org·8h·
Discuss: Lobsters, Hacker News, r/programming
🎯Gradual Typing
Experimental Proof: MENT-Flow Achieves Consistency with MENT Solutions for Beam Reconstruction
hackernoon.com·17h
🧠Learned Codecs
Old-school functional and design specification reviews
smalldatum.blogspot.com·35m·
Discuss: Hacker News
📏Code Metrics
From Matmul to Meaning
evis.dev·15h·
Discuss: Hacker News
📐Linear Algebra
Dragon Hatchling: Neural Network That Thinks Like a Brain (and Runs on Your GPU)
medium.com·7h·
Discuss: Hacker News
🔲Cellular Automata
A Global Mining Dataset
tech.marksblogg.com·1d·
Discuss: Hacker News
📦METS Containers
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·1d·
Discuss: DEV
📏Code Metrics
Bound-Preserving WENO Schemes for Temple-class systems
arxiv.org·14h
🎯Performance Proofs
ObCLIP: Oblivious CLoud-Device Hybrid Image Generation with Privacy Preservation
arxiv.org·14h
🔐Homomorphic Encryption
TypeScript Flaws (2024)
intercaetera.com·17h·
Discuss: Hacker News
🎯Gradual Typing
DRPO: Efficient Reasoning via Decoupled Reward Policy Optimization
arxiv.org·14h
🎯Performance Proofs