Cactus Language • Semantics 3
inquiryintoinquiry.com·1d
🔢Denotational Semantics
Show HN: We used LZMA to encode data into a URL
standardsapplied.com·4h·
Discuss: Hacker News
🌀Differential Geometry
Experimenting with ACL2 and Claude Code
mikedodds.org·1d·
Discuss: Hacker News
👑Isabelle
Why Low-Precision Transformer Training Fails: An Analysis on Flash Attention
huggingface.co·2d·
Discuss: Hacker News
📊Learned Metrics
The Absolute Minimum Every Developer Must Know About Unicode and Character Sets
joelonsoftware.com·3d·
Discuss: Hacker News
🔤Character Encoding
How to Reject a Pull Request
github.com·2h·
Discuss: Hacker News
💣ZIP Vulnerabilities
The key to conversational speech recognition
datasciencecentral.com·2d
🎵Audio ML
The Electret Preamp You Might Need
hackaday.com·14h
💿FLAC Archaeology
Causal Coordination for Distributed Decision-Making
arxiv.org·3d
📡Information theory
SatFusion: A Unified Framework for Enhancing Satellite IoT Images via Multi-Temporal and Multi-Source Data Fusion
arxiv.org·1d
📡RSS Extensions
Optimal Stopping in Latent Diffusion Models
arxiv.org·1d
🧠Machine Learning
The Feature Understandability Scale for Human-Centred Explainable AI: Assessing Tabular Feature Importance
arxiv.org·2d
🧠Intelligence Compression
Revisiting Mixout: An Overlooked Path to Robust Finetuning
arxiv.org·2d
🧠Learned Codecs
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·1d
⛪Church Encoding
Enhancing Vector Signal Generator Accuracy with Adaptive Polynomial Regression Calibration
dev.to·1d·
Discuss: DEV
📡Audio Modulation
Automated Fault Isolation & Healing in Linear Control Systems via Multi-Modal Data Fusion & Reinforcement Learning
dev.to·16h·
Discuss: DEV
🛡️Error Boundaries
H1B-KV: Hybrid One-Bit Caches for Memory-Efficient Large Language Model Inference
arxiv.org·3d
💨Cache Optimization
A Proof of the Riemann Hypothesis
dev.to·2d·
Discuss: DEV
⚔️Lean Theorem
CaRT: Teaching LLM Agents to Know When They Know Enough
arxiv.org·1d
🔲Cellular Automata
Evolutionary Profiles for Protein Fitness Prediction
arxiv.org·2d
🧮Kolmogorov Complexity