Intuitionistic Logic, Bishop Analysis, Computable Reals, Proof Relevance
What problems to solve
codito.in·1d
Can the Law Compile? Legal Speech as Machine Code
hackernoon.com·17h
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.org·1d
Inferencing LLMs in production with Kubernetes and KubeFlow - Chamod Perera & Suresh Peiris
youtube.com·2h
Bibliographical cornucopia for linguists, part 1
languagelog.ldc.upenn.edu·8h
Loading...Loading more...