Streamlining Vulnerability Research with the idalib Rust Bindings for IDA 9.2
hex-rays.com·12h
🦀Rust Macros
Learning about Rust Benchmarking with Sudoku from 5 minutes to 17 seconds
medium.com·9h·
Discuss: Hacker News
🦀Embedded Rust
Alias and references as localized macros
gustedt.wordpress.com·14h·
Discuss: Hacker News
🦀Rust Macros
Functional Programming Through the Lens of a Philosopher and Linguist
gotopia.tech·22h·
Discuss: Hacker News
🛠Language Design
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·2d·
Discuss: Hacker News, r/programming
🏗️Compiler Archaeology
From Noisy Traces to Stable Gradients: Bias-Variance Optimized Preference Optimization for Aligning Large Reasoning Models
arxiv.org·23h
🧮Constraint SMT
Emergence of Superposition: Unveiling the Training Dynamics of Chain of Continuous Thought
arxiv.org·23h
🔲Cellular Automata
Simulating and Understanding Deceptive Behaviors in Long-Horizon Interactions
arxiv.org·23h
✨Algebraic Effects
Training Dynamics of Parametric and In-Context Knowledge Utilization in Language Models
arxiv.org·1d
🌲Parse Trees
The Debate on RLVR Reasoning Capability Boundary: Shrinkage, Expansion, or Both? A Two-Stage Dynamic View
arxiv.org·23h
📏Linear Logic
**Hyperdimensional Semantic Graph Fusion for Enhanced Knowledge Extraction & Reasoning**
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity
How Much Should You Tell Your AI Agent?
raymondyxu.com·2d·
Discuss: Hacker News
⚡Proof Automation
🚀 Hello DEV Community! I’m Thiyagarajan Varadharajan – Python Full Stack Developer | AI Enthusiast
dev.to·3h·
Discuss: DEV
🌀Brotli Internals
Distilling Reasoning into Student LLMs: Local Naturalness for Selecting Teacher Data
arxiv.org·23h
💻Local LLMs
FocusMed: A Large Language Model-based Framework for Enhancing Medical Question Summarization with Focus Identification
arxiv.org·23h
🔍Information Retrieval
Feasibility-Aware Decision-Focused Learning for Predicting Parameters in the Constraints
arxiv.org·23h
🧠Machine Learning
PsycholexTherapy: Simulating Reasoning in Psychotherapy with Small Language Models in Persian
arxiv.org·23h
💻Programming languages
Beating the L1 cache with value speculation (2021)
mazzo.li·1d·
Discuss: Lobsters, Hacker News
⚡CPU Microarchitecture
Efficient Test-Time Scaling for Small Vision-Language Models
arxiv.org·23h
🗜️LZW Variants