Cactus Language • Semantics 3
inquiryintoinquiry.com·18h
🔢Denotational Semantics
My Top 5 Favourite Features in Python 3.14
blog.codingconfessions.com·1h
🦀Rust Macros
Crafting a Full Exploit RCE from a Crash in Autodesk Revit RFA File Parsing
thezdi.com·2d
🧪Binary Fuzzing
Why Your Simple Password Is a Mathematical Catastrophe
tawandamunongo.dev·1d·
Discuss: Hacker News
🔐Hash Functions
Vector Trifference
arxiv.org·4d
📐Linear Algebra
6D Phase Space Reconstruction: MENT-Flow Validation on Complex High-Dimensional Distributions
hackernoon.com·2d
💎Information Crystallography
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
🧬Functional Programming
A Story About Bypassing Air Canada's In-Flight Network Restrictions
ramsayleung.github.io·1d·
Discuss: Hacker News, r/programming
🌐DNS over QUIC
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·1d
🧮Theorem Proving
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·1d
⛪Church Encoding
To Sink or Not to Sink: Visual Information Pathways in Large Vision-Language Models
arxiv.org·1d
📊Learned Metrics
On quantum to classical comparison for Davies generators
arxiv.org·2d
⚛️Quantum Information
Unsupervised Radio Map Construction in Mixed LoS/NLoS Indoor Environments
arxiv.org·1d
📊Computational Geometry
Encoded Jamming Secure Communication for RIS-Assisted and ISAC Systems
arxiv.org·3d
ℹ️Information Theory
Strain engineering enhances spin readout in quantum technologies, study shows
phys.org·23h
⚛️Quantum Codecs
Automated Fault Isolation & Healing in Linear Control Systems via Multi-Modal Data Fusion & Reinforcement Learning
dev.to·3h·
Discuss: DEV
🛡️Error Boundaries
Spectral Graph Clustering under Differential Privacy: Balancing Privacy, Accuracy, and Efficiency
arxiv.org·2d
📈Spectral Graph Theory
Hybrid Schemes of NIST Post-Quantum Cryptography Standard Algorithms and Quantum Key Distribution for Key Exchange and Digital Signature
arxiv.org·5d
🔐Quantum Security
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·11h·
Discuss: Hacker News
⬌Bidirectional Typing
Generative Art
4rknova.com·1d·
Discuss: Hacker News
📐Mathematical Art