Why Lean 4 replaced OCaml as my Primary Language
kirancodes.me·6d·
Discuss: Lobsters, Hacker News
🏗️LLVM
Maybenot: A framework for traffic analysis defenses
github.com·1d·
Discuss: Lobsters, Hacker News
🔒Hardware Security
Cooperative Sensing-Assisted Predictive Beam Tracking for MIMO-OFDM Networked ISAC Systems
arxiv.org·1d
🌍Distributed Systems
MInDI-3D: Iterative Deep Learning in 3D for Sparse-view Cone Beam Computed Tomography
arxiv.org·6d
🤖AI
A Constant-Time Hardware Architecture for the CSIDH Key-Exchange Protocol
arxiv.org·2d
🔧Embedded Rust
Relative Position Matters: Trajectory Prediction and Planning with Polar Representation
arxiv.org·2d
🎮Game Engines
CRAFT-GUI: Curriculum-Reinforced Agent For GUI Tasks
arxiv.org·2d
🎮Game Engines
Debiasing Multimodal Large Language Models via Penalization of Language Priors
arxiv.org·5d
🤖AI
When motivation can be more than a message: designing agents to boost physical activity
arxiv.org·1d
🎮Game Engines
MedAtlas: Evaluating LLMs for Multi-Round, Multi-Task Medical Reasoning Across Diverse Imaging Modalities and Clinical Text
arxiv.org·2d
🕯️Candle
Fast and Simple Multiclass Data Segmentation: An Eigendecomposition and Projection-Free Approach
arxiv.org·6d
🧮Linear Algebra
DINOMotion: advanced robust tissue motion tracking with DINOv2 in 2D-Cine MRI-guided radiotherapy
arxiv.org·5d
🤖AI
Rule2Text: A Framework for Generating and Evaluating Natural Language Explanations of Knowledge Graph Rules
arxiv.org·2d
🕯️Candle
Representation Quantization for Collaborative Filtering Augmentation
arxiv.org·2d
🕯️Candle
Compressive Meta-Learning
arxiv.org·2d
🕯️Candle
Compositional Zero-shot Learning via Progressive Language-based Observations
arxiv.org·2d
🦾Rust ML
Epistemic advantages of working as a moderate
lesswrong.com·9h
🤖AI
Open, Reproducible and Trustworthy Robot-Based Experiments with Virtual Labs and Digital-Twin-Based Execution Tracing
arxiv.org·2d
🦾Rust ML
Hell or High Water: Evaluating Agentic Recovery from External Failures
arxiv.org·2d
🌍Distributed Systems
Consumer Autonomy or Illusion? Rethinking Consumer Agency in the Age of Algorithms
arxiv.org·23h·
Discuss: Hacker News
🤖AI