Building great SDKs
newsletter.pragmaticengineer.com·19h
🔌Interface Evolution
The Covert Operator's Playbook: Infiltration of Global Telecom Networks
unit42.paloaltonetworks.com·13h
🌐DNS Security
Mathematical Typesetting in TeXmacs
texmacs.github.io·19h·
Discuss: Hacker News
📐Document Algebra
Parity of Zero
en.wikipedia.org·2h·
Discuss: Hacker News
📐Interval Arithmetic
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·9h·
Discuss: Hacker News
🧮Constraint SMT
One Weird Trick to Untie Landin's Knot
arxiv.org·6h
⬆️Lambda Lifting
Systolic Array-based Accelerator for State-Space Models
arxiv.org·6h
🚀SIMD Parsing
Automated HEMT Model Construction from Datasheets via Multi-Modal Intelligence and Prior-Knowledge-Free Optimization
arxiv.org·6h
⚡Circuit Archaeology
RIS-LAD: A Benchmark and Model for Referring Low-Altitude Drone Image Segmentation
arxiv.org·1d
🌀Riemannian Computing
Fast And Scalable FFT-Based GPU-Accelerated Algorithms for Block-Triangular Toeplitz Matrices With Application to Linear Inverse Problems Governed by Autonomous...
arxiv.org·5d
🌈Spectral Methods
GAITEX: Human motion dataset from impaired gait and rehabilitation exercises of inertial and optical sensor data
arxiv.org·6h
🌀Differential Geometry
Real-Time Distributed Optical Fiber Vibration Recognition via Extreme Lightweight Model and Cross-Domain Distillation
arxiv.org·1d
📊Homelab Monitoring
StaffPro: an LLM Agent for Joint Staffing and Profiling
arxiv.org·6h
📚Digital Humanities
Text2VLM: Adapting Text-Only Datasets to Evaluate Alignment Training in Visual Language Models
arxiv.org·1d
🎙️Whisper
Solving Boundary Handling Analytically in Two Dimensions for Smoothed Particle Hydrodynamics
arxiv.org·6h
🔗Tailscale
AnimalClue: Recognizing Animals by their Traces
arxiv.org·1d
🕳️Persistent Homology
CatchPhrase: EXPrompt-Guided Encoder Adaptation for Audio-to-Image Generation
arxiv.org·2d
🎙️Whisper
TransPrune: Token Transition Pruning for Efficient Large Vision-Language Model
arxiv.org·1d
📊Learned Metrics
When Scale Meets Diversity: Evaluating Language Models on Fine-Grained Multilingual Claim Verification
arxiv.org·1d
🧮Kolmogorov Complexity
Optimizing Active Learning in Vision-Language Models via Parameter-Efficient Uncertainty Calibration
arxiv.org·6h
🧠Machine Learning