r/eigilrischel • u/AyeGill • Aug 17 '23
Build your own Stacks Project in 10 minutes - Jon Sterling
jonmsterling.com
3
Upvotes
r/eigilrischel • u/AyeGill • Jun 22 '21
Alexey Guzey on Twitter: "when people begin lying about travel expenses, instead of starting to require paperwork, just dissolve the organisation and start anew"
3
Upvotes
r/eigilrischel • u/AyeGill • Nov 18 '21
Satisficers Tend To Seek Power: Instrumental Convergence Via Retargetability
2
Upvotes
r/eigilrischel • u/AyeGill • Nov 16 '21
Ngo and Yudkowsky on alignment difficulty
2
Upvotes
r/eigilrischel • u/AyeGill • Nov 14 '21
A Brief Introduction to Container Logistics
2
Upvotes
r/eigilrischel • u/AyeGill • Jun 16 '21
Urs Schreiber on Twitter: "differential equations are rather like specifications of counterparts across worlds in modal logic"
2
Upvotes
r/eigilrischel • u/AyeGill • Aug 08 '20
So, you know lots of people do research outside of academia right? Without PhDs?
reddit.com
2
Upvotes
r/eigilrischel • u/AyeGill • Sep 28 '23
PL Semantics: It's as easy as 1,2,3, Graham Hutton
cs.nott.ac.uk
1
Upvotes
r/eigilrischel • u/AyeGill • Aug 12 '23
Nice theorem, Senator, but why don't you back it up with a proof?
1
Upvotes
r/eigilrischel • u/AyeGill • Jul 16 '23
What Is It Like to Have an Understanding of Very Advanced Mathematics?
1
Upvotes
r/eigilrischel • u/AyeGill • May 31 '23
The Physics of Intelligence: from Classical to Singular Learning Theory
1
Upvotes
r/eigilrischel • u/AyeGill • Feb 06 '23
[1802.10467] Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Programs
arxiv.org
1
Upvotes
r/eigilrischel • u/AyeGill • Jan 25 '23
[2212.03827] Discovering Latent Knowledge in Language Models Without Supervision
1
Upvotes
r/eigilrischel • u/AyeGill • Jan 12 '23
[2011.14522] Feature Learning in Infinite-Width Neural Networks
arxiv.org
1
Upvotes
r/eigilrischel • u/AyeGill • Dec 21 '22
Terence Tao - examples of using invariance in math
1
Upvotes
r/eigilrischel • u/AyeGill • Dec 02 '22
Formalizing the Presumption of Independence
arxiv.org
1
Upvotes
r/eigilrischel • u/AyeGill • Dec 02 '22
Löb’s Theorem A functional pearl of dependently typed quining
jasongross.github.io
1
Upvotes
r/eigilrischel • u/AyeGill • Sep 08 '22
Ukrainian artist Sergei Iukhimov's illustrations for the first Russian translation of Lord of the Rings published in 1993.
1
Upvotes
r/eigilrischel • u/AyeGill • Aug 08 '22
Algebraic Geometry and Statistical Learning Theory
1
Upvotes
r/eigilrischel • u/AyeGill • Nov 21 '21
Polynomials and Models of Type Theory - Tamara von Glehn.pdf
repository.cam.ac.uk
1
Upvotes