Dependent Types, Linear Types, Effect Systems, Hindley-Milner
reply in favorite fonts by boreal_cryptid
basementcommunity.com·8h
The Kepler Problem (Part 11)
johncarlosbaez.wordpress.com·3d
Effective Noisy-matrix of Bayesian network for scalable <em>m-</em>Consecutive<em>-k-</em>out-of<em>-n</em>: F models with overlapping from -1 to <em>k-</em>1
sciencedirect.com·2d
The Precision Engine: Why Agentic RAG Is GenAI’s Next Leap
thenewstack.io·1d
Reading the Mind of the Machine: Why GPT-5’s Chain-of-Thought Monitoring Matters for AI Safety
aei.org·8h
Building Bitchat: Offline first protocols and E2E Encrypted Social Apps with Nostr, Noise, and MLS (WHY2025)
cdn.media.ccc.de·1d
Multi-Hop Privacy Propagation for Differentially Private Federated Learning in Social Networks
arxiv.org·1d
TAR-TVG: Enhancing VLMs with Timestamp Anchor-Constrained Reasoning for Temporal Video Grounding
arxiv.org·1d
ReconDreamer-RL: Enhancing Reinforcement Learning via Diffusion-based Scene Reconstruction
arxiv.org·1d
Robust Reinforcement Learning over Wireless Networks with Homomorphic State Representations
arxiv.org·1d
Energy Experience Design
arxiv.org·2d
Loading...Loading more...