Success with the bench testing of the 1130 MRAM memory board finally
rescue1130.blogspot.com·8h·
Discuss: rescue1130.blogspot.com
🗺️Memory Mapping
Novel convex model-based approach for data-driven fault diagnosis considering uncertainty
sciencedirect.com·17h
📈Monotonic Logic
Reducing binary size of (Rust) programs with debuginfo
kobzol.github.io·20h·
Discuss: Hacker News, r/rust
📦Executable Size
Identity Types
bartoszmilewski.com·18h·
Discuss: Hacker News
🎯Type Theory
Thinking, Searching, and Acting
interconnects.ai·15h
🎭Program Synthesis
Online Data-Driven Reachability Analysis using Zonotopic Recursive Least Squares
arxiv.org·3h
⚡Control Synthesis
DragOSM: Extract Building Roofs and Footprints from Aerial Images by Aligning Historical Labels
arxiv.org·3h
📈Earley Parsing
3D Gaussian Flats: Hybrid 2D/3D Photometric Scene Reconstruction
arxiv.org·3h
🔍Lens Libraries
Improving After-sales Service: Deep Reinforcement Learning for Dynamic Time Slot Assignment with Commitments and Customer Preferences
arxiv.org·3h
📋Task Queues
Gender and Political Bias in Large Language Models: A Demonstration Platform
arxiv.org·3h
🌱Minimal ML
Mastering Python Sets: A Definitive Guide with Examples & Use Cases
dev.to·1d·
Discuss: DEV
🎭Racket
Weekly Challenge: Maximum climb
dev.to·1d·
Discuss: DEV
🌳Tree Algorithms
Computational Modeling of Selective Capture Mechanisms in Conduction System Pacing
arxiv.org·3h
⚡Control Synthesis
SEQR: Secure and Efficient QR-based LoRA Routing
arxiv.org·3h
📊LR Parsing
Incremental Multistep Forecasting of Battery Degradation Using Pseudo Targets
arxiv.org·1d
🪜Recursive Descent
Achieving TB-Level Aggregate Bandwidth: How JuiceFS Optimized Distributed Cache Network
dev.to·21h·
Discuss: DEV
🌍HTTP Servers
On LLM-Based Scientific Inductive Reasoning Beyond Equations
arxiv.org·3h
🔍ML Language
Interface Resistance Mapping via Deep Neural Network Ensemble Regression with Adaptive Kernel Optimization
dev.to·1d·
Discuss: DEV
🗺️Region Inference
Random functions as data compressors for machine learning of molecular processes
arxiv.org·3h
🗺️Region Inference
Deep Hierarchical Learning with Nested Subspace Networks
arxiv.org·3h
🪜Recursive Descent