Crafting a dependent typechecker, part 1
blueberrywren.dev·9h
🔗Functional Compilers
Book Notes: The Dark Art of Linear Algebra by Seth Braver — Chapter 1 Review
ruslanspivak.com·3d
📐Mathematical Art
Evaluating generative AI models with Amazon Nova LLM-as-a-Judge on Amazon SageMaker AI
aws.amazon.com·1d
🧠Intelligence Compression
Engineering Behind Fast Analytics: Data in Motion
outofdesk.netlify.app·1d·
Discuss: Hacker News
💎Information Crystallography
What AI Can Do, and What we Can Build
hackernoon.com·1d
🤖AI Paleography
Early Detection of Furniture-Infesting Wood-Boring Beetles Using CNN-LSTM Networks and MFCC-Based Acoustic Features
arxiv.org·1d
🎧Learned Audio
DPNO: A Dual Path Architecture For Neural Operator
arxiv.org·1d
📊Quantization
When Pattern-by-Pattern Works: Theoretical and Empirical Insights for Logistic Models with Missing Values
arxiv.org·1d
🧮Kolmogorov Complexity
Memory-Efficient Personalization of Text-to-Image Diffusion Models via Selective Optimization Strategies
arxiv.org·4d
🔢Binary Embeddings
Class-Proportional Coreset Selection for Difficulty-Separable Data
arxiv.org·3d
🧠Machine Learning
Improving Data and Parameter Efficiency of Neural Language Models Using Representation Analysis
arxiv.org·2d
🧮Kolmogorov Complexity
Joint angle model based learning to refine kinematic human pose estimation
arxiv.org·3d
🌀Riemannian Computing
🎯 Building Attention Mechanisms from Scratch: A Complete Guide to Understanding Transformers
dev.to·5d·
Discuss: DEV
📊Learned Metrics
Categorical Features: The Backbone of Search & Recs Engineering
shaped.ai·4d
🧠Learned Indexing
CompressedVQA-HDR: Generalized Full-reference and No-reference Quality Assessment Models for Compressed High Dynamic Range Videos
arxiv.org·2d
🎬AV1 Encoding
Secure Pinching Antenna-aided ISAC
arxiv.org·1d
📐Compression Mathematics
Language Models for Adult Service Website Text Analysis
arxiv.org·3d
📝Text Parsing
The Age of Self-Evolving AI Is Here
towardsdatascience.com·1d
⚡Incremental Computation
Machine Learning Fundamentals: dimensionality reduction example
dev.to·2d·
Discuss: DEV
📐Vector Dimensionality
Deep Generative Methods and Tire Architecture Design
arxiv.org·2d
🌀Riemannian Computing