Marshal madness: A brief history of Ruby deserialization exploits
blog.trailofbits.comยท20h
๐Ÿ”’Linear Types
The Illustrated GPT-OSS
newsletter.languagemodels.coยท18h
๐Ÿ’ปLocal LLMs
AGI's Moving Finish Line
signalfire.comยท1dยท
Discuss: Hacker News
๐ŸงฎTheorem Proving
M3PO: Multimodal-Model-Guided Preference Optimization for Visual Instruction Following
arxiv.orgยท1d
๐Ÿง Learned Codecs
PTMPicker: Facilitating Efficient Pretrained Model Selection for Application Developers
arxiv.orgยท2d
๐ŸŒ€Brotli Dictionary
OpenJDK, Temurin, GraalVM... Which Java JDK Should You Actually Install in 2025?
dev.toยท9hยท
Discuss: DEV
๐Ÿ”„Reproducible Builds
Analyzing Information Sharing and Coordination in Multi-Agent Planning
arxiv.orgยท1d
โš™๏ธTLA+
LM Agents May Fail to Act on Their Own Risk Knowledge
arxiv.orgยท3h
๐ŸŽฏThreat Hunting
FedUP: Efficient Pruning-based Federated Unlearning for Model Poisoning Attacks
arxiv.orgยท3h
๐Ÿ”BitFunnel
Understanding Lambda Functions in Python: Definition, Usage, and Applications
dev.toยท1dยท
Discuss: DEV
ฮปLambda Formalization
Towards Open-Ended Emotional Support Conversations in LLMs via Reinforcement Learning with Future-Oriented Rewards
arxiv.orgยท1d
๐Ÿ’ปProgramming languages
The Course Difficulty Analysis Cookbook
arxiv.orgยท3h
๐Ÿง Intelligence Compression
Inclusion Arena: An Open Platform for Evaluating Large Foundation Models with Real-World Apps
arxiv.orgยท2d
๐Ÿ” Type-Level Programming
Code Vulnerability Detection Across Different Programming Languages with AI Models
arxiv.orgยท1d
๐ŸงชBinary Fuzzing
Approximating the universal thermal climate index using sparse regression with orthogonal polynomials
arxiv.orgยท2d
๐Ÿ“Error Bounds
MPOCryptoML: Multi-Pattern based Off-Chain Crypto Money Laundering Detection
arxiv.orgยท1d
๐Ÿ”—Hash Chains
A Hybrid Surrogate for Electric Vehicle Parameter Estimation and Power Consumption via Physics-Informed Neural Operators
arxiv.orgยท1d
๐Ÿง Machine Learning
Consumer Autonomy or Illusion? Rethinking Consumer Agency in the Age of Algorithms
arxiv.orgยท3h
๐ŸงฒMagnetic Philosophy
TRACY: Benchmarking Execution Efficiency of LLM-Based Code Translation
arxiv.orgยท2d
๐Ÿ“Code Metrics
A Self-Ensemble Inspired Approach for Effective Training of Binary-Weight Spiking Neural Networks
arxiv.orgยท1d
๐Ÿง Machine Learning