Jython talk. Dublin. Wed 8th November.
seanmcgrath.blogspot.com·8h
λLambda Formalization
Crafting a Full Exploit RCE from a Crash in Autodesk Revit RFA File Parsing
thezdi.com·21h
🧪Binary Fuzzing
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·22h
📺VT100
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·3d
📏Code Metrics
The Legacy Code Survival Guide: Add Features Without Fear
understandlegacycode.com·2d
🔓Decompilation
Code Tours as Code
dundalek.com·16m·
Discuss: Hacker News
⚙️Build Archaeology
Atomic and Saturated Models
functor.network·5d·
Discuss: Hacker News
🔢Denotational Semantics
Partial Information Decomposition via Normalizing Flows in Latent Gaussian Distributions
arxiv.org·2d
🧠Machine Learning
Learning Mixtures of Linear Dynamical Systems (MoLDS) via Hybrid Tensor-EM Method
arxiv.org·1d
🌀Differential Geometry
A Beginner's GAN Adventure with Digits
dev.to·1d·
Discuss: DEV
🤖Advanced OCR
Quantum Weaving: A New Era of Multimodal AI by Arvind Sundararajan
dev.to·7h·
Discuss: DEV
🔐Quantum Cryptography
Toward a Holistic Evaluation of Robustness in CLIP Models
arxiv.org·3d
📊Learned Metrics
Extreme Amodal Face Detection
arxiv.org·7h
🌀Differential Geometry
A Comparative Study of Vision Transformers and CNNs for Few-Shot Rigid Transformation and Fundamental Matrix Estimation
arxiv.org·2d
📊Quantization
Front-Loading Reasoning: The Synergy between Pretraining and Post-Training Data
arxiv.org·2d
🧠Machine Learning
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·3d·
Discuss: DEV
⚡SMT Integration
Mitigating Premature Exploitation in Particle-based Monte Carlo for Inference-Time Scaling
arxiv.org·1d
🧮Kolmogorov Bounds
QGraphLIME - Explaining Quantum Graph Neural Networks
arxiv.org·1d
🕸️Tensor Networks
How I Simplified Contributor Workflows with Rules, Prompts, and AI Agents
dev.to·19h·
Discuss: DEV
⚡Proof Automation
Quantum advantage from random geometrically-two-local Hamiltonian dynamics
arxiv.org·7h
🕸️Tensor Networks