Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·1d
⬆️Lambda Lifting
Functional Programming Through the Lens of a Philosopher and Linguist
gotopia.tech·13h·
Discuss: Hacker News
🛠Language Design
Alias and references as localized macros
gustedt.wordpress.com·6h·
Discuss: Hacker News
🦀Rust Macros
[R] Predictive control of generative models
reddit.com·15h·
🧠Machine Learning
Feasibility-Aware Decision-Focused Learning for Predicting Parameters in the Constraints
arxiv.org·15h
🧠Machine Learning
Partial Information Decomposition via Normalizing Flows in Latent Gaussian Distributions
arxiv.org·15h
🧠Machine Learning
TS-Reasoner: Aligning Time Series Foundation Models with LLM Reasoning
arxiv.org·15h
🎯Gradual Typing
DCP-o-matic • LtRt Matrix Decoder
dcpomatic.com·9h
💿FLAC Archaeology
Beating the L1 cache with value speculation (2021)
mazzo.li·1d·
CPU Microarchitecture
Adaptive Bit-Error Rate Mitigation in QSFP28 Transceivers via Dynamic Digital Equalization
dev.to·22h·
Discuss: DEV
⚛️Quantum Codecs
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·2d·
Discuss: Hacker News
🎯Interactive Provers
Decrypt Modality Gap in Multimodal Contrastive Learning: From Convergent Representation to Pair Alignment
arxiv.org·15h
🧠Machine Learning
P2P: A Poison-to-Poison Remedy for Reliable Backdoor Defense in LLMs
arxiv.org·15h
💻Local LLMs
GRACE: Generative Representation Learning via Contrastive Policy Optimization
arxiv.org·15h
📊HyperLogLog
MuFFIN: Multifaceted Pronunciation Feedback Model with Interactive Hierarchical Neural Modeling
arxiv.org·15h
🗣️CMU Pronouncing
Transductive and Learning-Augmented Online Regression
arxiv.org·15h
🔍Information Retrieval
Efficient Test-Time Scaling for Small Vision-Language Models
arxiv.org·15h
🗜️LZW Variants