Type-level Programming, Proof-carrying Code, Agda, Type Safety
Base58 versus Base85 encoding
johndcook.com·2h
Brent Yorgey: Competitive programming in Haskell: sparse tables
byorgey.github.io·5d
Canonical Representations of Markovian Structural Causal Models: A Framework for Counterfactual Reasoning
arxiv.org·12h
Test-Time-Matching: Decouple Personality, Memory, and Linguistic Style in LLM-based Role-Playing Language Agent
arxiv.org·12h
Tiny language models
arxiv.org·1d
Project-connex Decompositions and Tractability of Aggregate Group-by Conjunctive Queries
arxiv.org·2d
Polynomial argmin for recovery and approximation of multivariate discontinuous functions
arxiv.org·1d
From Rules to Relationships: How Machines Are Learning to Understand Each Other
towardsdatascience.com·15h
Loading...Loading more...