Thoughts on creating a tracking pointer class, part 8: Tracking const objects
devblogs.microsoft.comยท4h
๐Ÿ”—Static Linking
Marshal madness: A brief history of Ruby deserialization exploits
blog.trailofbits.comยท1dยท
Discuss: Hacker News
๐Ÿ”’Linear Types
Dyna โ€“ Logic Programming for Machine Learning
dyna.orgยท3dยท
Discuss: Lobsters, Hacker News, r/compsci
๐Ÿ”—Constraint Handling
Blink Twice: Measuring Strategic Deception Amongst LLMs
coup.khoj.devยท1dยท
Discuss: Hacker News
๐ŸŽฏProof Tactics
GPT-OSS from the Ground Up
cameronrwolfe.substack.comยท1dยท
Discuss: Substack
๐Ÿ’ปLocal LLMs
Stupidity as a Service
lawrenc.esยท10hยท
Discuss: Hacker News
๐Ÿ›Fuzzing
AGI's Moving Finish Line
signalfire.comยท1dยท
Discuss: Hacker News
๐ŸงฎTheorem Proving
LM Agents May Fail to Act on Their Own Risk Knowledge
arxiv.orgยท14h
๐ŸŽฏThreat Hunting
FedUP: Efficient Pruning-based Federated Unlearning for Model Poisoning Attacks
arxiv.orgยท14h
๐Ÿ”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ยท14h
๐Ÿง 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
Melting Go, Vue, and Templ together in Gooo
reddit.comยท14hยท
Discuss: r/golang
๐ŸŽ๏ธVarnish Cache
Real-Time Anomaly Detection in Time-Series Model Metrics via Federated Gaussian Process Regression
dev.toยท1dยท
Discuss: DEV
๐Ÿ‘๏ธObservatory Systems
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ยท14h
๐ŸงฒMagnetic Philosophy