Marshal madness: A brief history of Ruby deserialization exploits
blog.trailofbits.com·22h
🔒Linear Types
a word to my students
blog.ayjay.org·18h
⚡Proof Automation
pyghidra-mcp: Headless Ghidra MCP Server for Project-Wide, Multi-Binary Analysis
medium.com·31m
👁️System Observability
AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunities
blog.raymond.burkholder.net·2d
⚡Incremental Computation
Czkawka / Krokiet 10.0,
medium.com·1d
🦀Rust Macros
Elephants Don't Write Sonnets
whattotelltherobot.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Typechecker Zoo
sdiehl.github.io·4d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Apriel-Nemotron-15B-Thinker
arxiv.org·2d
💻Local LLMs
X-Ray-CoT: Interpretable Chest X-ray Diagnosis with Vision-Language Models via Chain-of-Thought Reasoning
arxiv.org·1d
🧠Machine Learning
SimInterview: Transforming Business Education through Large Language Model-Based Simulated Multilingual Interview Training System
arxiv.org·1d
🌍Cultural Algorithms
Bandicoot: A Templated C++ Library for GPU Linear Algebra
arxiv.org·2d
⚡Parallel Computing
Automated Artifact Evaluation Through Multi-Modal Semantic Graph Analysis and Recursive Scoring
dev.to·4d·
Discuss: DEV
⚡Proof Automation
Mitigating Easy Option Bias in Multiple-Choice Question Answering
arxiv.org·5h
🗂️Vector Search
A Dual-Attention Graph Network for fMRI Data Classification
arxiv.org·5h
🌀Differential Geometry
Uncalibrated Reasoning: GRPO Induces Overconfidence for Stochastic Outcomes
arxiv.org·1d
🔲Proof Irrelevance
Nonparametric learning of stochastic differential equations from sparse and noisy data
arxiv.org·2d
🧠Machine Learning
How Causal Abstraction Underpins Computational Explanation
arxiv.org·2d
✨Effect Handlers
Compositional Zero-shot Learning via Progressive Language-based Observations
arxiv.org·2d
🧮Kolmogorov Complexity
Memory as Structured Trajectories: Persistent Homology and Contextual Sheaves
arxiv.org·1d
🕸️Algebraic Topology
Predicting ChatGPT Use in Assignments: Implications for AI-Aware Assessment Design
arxiv.org·1d
🗺️Competency Maps