How to get the GOT address from a PLT stub using GDB
rafaelbeirigo.github.io·11h·
Discuss: Hacker News
⚙️PL Implementation
Flag this post
Our newest model: Chandra (OCR)
datalab.to·18h·
Discuss: Hacker News
📐Linear Algebra
Flag this post
[R] TempoPFN: Synthetic Pretraining of Linear RNNs for Zero-Shot Timeseries Forecasting
reddit.com·17h·
📚Automata Learning
Flag this post
How Data Mixing Shapes In-Context Learning: Asymptotic Equivalence for Transformers with MLPs
arxiv.org·3d
🔁Fixed-Point Theory
Flag this post
Chain of Pattern: Rethink
dev.to·7h·
Discuss: DEV
🔤Language Design
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·2d·
🔢Algebraic Data Types
Flag this post
Automated Personalized Chemotherapy Optimization via Multi-Modal Data Fusion & Reinforcement Learning
dev.to·5h·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Math's New Muse: AI as a Reasoning Partner
dev.to·6h·
Discuss: DEV
Automated Theorem Proving
Flag this post
zFLoRA: Zero-Latency Fused Low-Rank Adapters
arxiv.org·2d
🧮Z3 Solver
Flag this post
Cognotik: A New FOSS AI Coding Assistant. For JetBrains IDEs
github.com·1d·
Discuss: Hacker News
🔧DevOps
Flag this post
Introducing Project Telos: Modeling, Measuring, and Intervening on Goal-directed Behavior in AI Systems
lesswrong.com·2d
🔄Finite State Machines
Flag this post
Daily Artificial Intelligence Digest - Oct 31, 2025
dev.to·3d·
Discuss: DEV
📚Automata Learning
Flag this post
Approximating Heavy-Tailed Distributions with a Mixture of Bernstein Phase-Type and Hyperexponential Models
arxiv.org·2d
📐Linear Algebra
Flag this post
Can Your AI Blackmail You? Inside the Security Risk of Agentic Misalignment
dev.to·8h·
Discuss: DEV
🎮Verification Games
Flag this post
ParallelBench: Understanding the Trade-offs of Parallel Decoding in DiffusionLLMs
dev.to·8h·
Discuss: DEV
🔀OCaml Multicore
Flag this post
Do LLMs Signal When They're Right? Evidence from Neuron Agreement
arxiv.org·2d
🧩Parser Combinators
Flag this post
Quantum-Resistant Federated Learning with Homomorphic Encryption for Medical Imaging Diagnostics
dev.to·18h·
Discuss: DEV
🧮Lambda Calculus
Flag this post
MobileNetV3 Paper Walkthrough: The Tiny Giant Getting Even Smarter
towardsdatascience.com·14h
🔲Cellular Automata
Flag this post
Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
dev.to·3d·
Discuss: DEV
🧠Automated Reasoning
Flag this post