derived set
ncatlab.org·1d
🧮Algebraic Archives
A composite universal DNA signature for the tree of life
nature.com·5h·
Discuss: Hacker News
🦴Binary Paleontology
Golang and Let's Encrypt: a free software story
dotat.at·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
Reverse Engineering the Microchip CLB Part 1: Background and Reverse Engineering the BLEs
mcp-clb.markomo.me·1d·
Discuss: Lobsters, Hacker News
🔬Binary Analysis
CSS Functions and Mixins Module
w3.org·17h·
Discuss: Hacker News
🔗Concatenative Programming
Blazing matrix products
panadestein.github.io·12h·
Discuss: Lobsters, Hacker News
⚡SIMD Optimization
Speeding up sideeffects with JIT in mountaineer
pierce.dev·13h·
Discuss: Hacker News
🦀Rust Macros
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·2d·
Discuss: Hacker News
💻Local LLMs
Show HN: Clip All King Soopers and Other Kroger Stores' Digital Coupons
github.com·16h·
Discuss: Hacker News
📦Deflate
higher: Your favourite Haskell type classes for Rust (2023)
github.com·5d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
SAC: A Framework for Measuring and Inducing Personality Traits in LLMs with Dynamic Intensity Control
arxiv.org·4h
🧠Intelligence Compression
How Good Are Synthetic Requirements ? Evaluating LLM-Generated Datasets for AI4RE
arxiv.org·4h
🌀Brotli Internals
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols（1750952117902400）
dev.to·17h·
Discuss: DEV
🌐Network Protocols
Memory Safety in Web Rust System Zero Cost Secure（1750762127113200）
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
Machine Learning Fundamentals: active learning with python
dev.to·1d·
Discuss: DEV
🧠Machine Learning
How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·1d·
Discuss: DEV
✓Automated Theorem Proving
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·14h
📊Performance Profiling
Optimal Single-Policy Sample Complexity and Transient Coverage for Average-Reward Offline RL
arxiv.org·4h
🧮Kolmogorov Complexity
Lightweight Target-Speaker-Based Overlap Transcription for Practical Streaming ASR
arxiv.org·1d
🎙️Whisper