A primer on code generation in Cranelift by Benjamin Bouvier
bouvier.cc·11m
🦀Rust Macros
Vanilla JavaScript scroll restoration for overflowing elements
restore-scroll.js.org·23m·
Discuss: Hacker News
🖋Typography
We raised $7.3M to build an open-source stack for industrial-grade LLM apps
tensorzero.com·4h·
Discuss: Hacker News
⚡SMT Integration
Show HN: Building a web search engine from scratch (a reply to Wilson Lin)
medium.com·19h·
Discuss: Hacker News
🗂️Vector Search
Interleaving for Retrieval Augmented Generation
maxirwin.com·17h·
Discuss: Hacker News, Hacker News, r/programming
🔍Information Retrieval
Bandicoot: A Templated C++ Library for GPU Linear Algebra
arxiv.org·1d
⚡Parallel Computing
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·1d
🔮Proof Search
From Individual to Multi-Agent Algorithmic Recourse: Minimizing the Welfare Gap via Capacitated Bipartite Matching
arxiv.org·1d
⚡Incremental Computation
Adaptive Noise Cancellation via Learned Compact Filter Banks for Low-Light CMOS Sensors
dev.to·10h·
Discuss: DEV
🎧Vorbis Encoding
MPCAR: Multi-Perspective Contextual Augmentation for Enhanced Visual Reasoning in Large Vision-Language Models
arxiv.org·6h
📊Learned Metrics
Techno-Economic Planning of Spatially-Resolved Battery Storage Systems in Renewable-Dominant Grids Under Weather Variability
arxiv.org·6h
🌡️Preservation Physics
Scalable Multi-Modal Analysis for Targeted Photothermal Therapy Optimization
dev.to·2d·
Discuss: DEV
🧲Magnetic Resonance
Graph Neural Network and Transformer Integration for Unsupervised System Anomaly Discovery
arxiv.org·5d
👁️Observatory Systems
Enhanced High-k Dielectric Thin Film Characterization via Machine Learning-Driven Spectroscopic Mapping
dev.to·1d·
Discuss: DEV
🌈Spectroscopy
Visual Perception Engine: Fast and Flexible Multi-Head Inference for Robotic Vision Tasks
arxiv.org·1d
📐Projective Geometry
Automated Logical Proof Verification via Hybrid Symbolic-Numerical Analysis
dev.to·11h·
Discuss: DEV
🎯Performance Proofs
Match & Choose: Model Selection Framework for Fine-tuning Text-to-Image Diffusion Models
arxiv.org·1d
📊Learned Metrics
HOID-R1: Reinforcement Learning for Open-World Human-Object Interaction Detection Reasoning with Multimodal Large Language Model
arxiv.org·1d
📊Learned Metrics
Are Large Pre-trained Vision Language Models Effective Construction Safety Inspectors?
arxiv.org·1d
🔍Z3 Parsing
PaperRegister: Boosting Flexible-grained Paper Search via Hierarchical Register Indexing
arxiv.org·1d
📇Indexing Strategies