derived set
ncatlab.org·2d
🧮Algebraic Archives
A composite universal DNA signature for the tree of life
nature.com·13h·
Discuss: Hacker News
🦴Binary Paleontology
Reverse Engineering the Microchip CLB Part 1: Background and Reverse Engineering the BLEs
mcp-clb.markomo.me·1d·
Discuss: Lobsters, Hacker News, r/embedded
🔬Binary Analysis
CSS Functions and Mixins Module
w3.org·1d·
Discuss: Hacker News
🔗Concatenative Programming
Blazing matrix products
panadestein.github.io·20h·
Discuss: Lobsters, Hacker News
⚡SIMD Optimization
Speeding up sideeffects with JIT in mountaineer
pierce.dev·21h·
Discuss: Hacker News
🦀Rust Macros
Self-Improving CLI Agents in 5 minutes
colinharman.substack.com·2h·
Discuss: Substack
⚡Proof Automation
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·3d·
Discuss: Hacker News
💻Local LLMs
Fast entropy-regularized SDP relaxations for permutation synchronization
arxiv.org·1d
🎯Performance Proofs
A Caching Strategy for Identifying Bottlenecks on the Data Input Pipeline
towardsdatascience.com·22h
📊Performance Profiling
Optimal Single-Policy Sample Complexity and Transient Coverage for Average-Reward Offline RL
arxiv.org·12h
🧮Kolmogorov Complexity
Lightweight Target-Speaker-Based Overlap Transcription for Practical Streaming ASR
arxiv.org·1d
🎙️Whisper
Brent Yorgey: Competitive programming in Haskell: prefix sums
byorgey.github.io·16h
🔤Type Theory
Technical Challenges and Solutions in AI Tarot System Development Using Claude 3.7
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Multilingual Tokenization through the Lens of Indian Languages: Challenges and Insights
arxiv.org·3d
📝Text Parsing
Alto: Orchestrating Distributed Compound AI Systems with Nested Ancestry
arxiv.org·4d
🌀Brotli Internals
Heart Disease Predictor using KNN(ML) algorithm
dev.to·2d·
Discuss: DEV
🧠Machine Learning
Solve a real-world problem with AI
dev.to·10h·
Discuss: DEV
🧮Z3 Applications
SlimMoE: Structured Compression of Large MoE Models via Expert Slimming and Distillation
arxiv.org·3d
⚡Modern Compression
TITAN: Query-Token based Domain Adaptive Adversarial Learning
arxiv.org·12h
📊Learned Metrics