Streamlining Vulnerability Research with the idalib Rust Bindings for IDA 9.2
hex-rays.comΒ·20h
πŸ¦€Rust Macros
Learning about Rust Benchmarking with Sudoku from 5 minutes to 17 seconds
medium.comΒ·17hΒ·
Discuss: Hacker News
πŸ¦€Embedded Rust
Alias and references as localized macros
gustedt.wordpress.comΒ·22hΒ·
Discuss: Hacker News
πŸ¦€Rust Macros
You don't need an AI agent framework, or why frameworks are the new Juicero
konvu.comΒ·14hΒ·
Discuss: Hacker News
πŸ”¬Refinement Types
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.comΒ·2dΒ·
Discuss: Hacker News
πŸ•ΈοΈKnowledge Graphs
Four years, Five failures, One compiler
daymare.netΒ·3dΒ·
πŸ—οΈCompiler Archaeology
Beating the L1 cache with value speculation (2021)
mazzo.liΒ·1dΒ·
⚑CPU Microarchitecture
Understanding the 4 Main Approaches to LLM Evaluation (From Scratch)
magazine.sebastianraschka.comΒ·3dΒ·
Discuss: Hacker News
βœ“Automated Theorem Proving
CCD-Bench: Probing Cultural Conflict in Large Language Model Decision-Making
arxiv.orgΒ·1d
🌍Cultural Algorithms
DRPO: Efficient Reasoning via Decoupled Reward Policy Optimization
arxiv.orgΒ·1d
🎯Performance Proofs
Meta-Awareness Enhances Reasoning Models: Self-Alignment Reinforcement Learning
arxiv.orgΒ·1d
🧠Intelligence Compression
Evaluating LLM Safety Across Child Development Stages: A Simulated Agent Approach
arxiv.orgΒ·7h
πŸ’»Programming languages
JEPAs Unveiled: How Your AI Implicitly Knows Your Data's Secrets
dev.toΒ·3hΒ·
Discuss: DEV
πŸ”Vector Forensics
Scalable In-context Ranking with Generative Models
arxiv.orgΒ·7h
βš–οΈFeed Ranking
The Rust Advantage: Building Bulletproof Systems When AI Writes Half Your Code
dev.toΒ·1dΒ·
Discuss: DEV
πŸ¦€Rust Macros
Retrv-R1: A Reasoning-Driven MLLM Framework for Universal and Efficient Multimodal Retrieval
arxiv.orgΒ·2d
πŸ—‚οΈVector Search
Can an LLM Induce a Graph? Investigating Memory Drift and Context Length
arxiv.orgΒ·1d
πŸ“‹Document Grammar
Categorical Invariants of Learning Dynamics
arxiv.orgΒ·1d
πŸ•ΈοΈAlgebraic Topology
Autonomous Data Augmentation via Generative Adversarial Imitation for Resource-Constrained Robotics
dev.toΒ·12hΒ·
Discuss: DEV
πŸ“ŠLearned Metrics