Hacker News
- The Riemann Hypothesis Says 5040 Is the Last https://golem.ph.utexas.edu/category/2019/07/the_riemann_hypothesis_says_50.html 56 comments
- Gradual Typing [for category theorists] https://golem.ph.utexas.edu/category/2018/02/gradual_typing.html 4 comments
- On Writing Short Papers https://golem.ph.utexas.edu/category/2017/12/on_writing_short_papers.html 12 comments
Lobsters
- Relationship between cusps of modular forms and vertices of Platonic solids https://golem.ph.utexas.edu/category/2008/02/modular_forms.html 7 comments math
- You Could Have Invented De Bruijn Indices https://golem.ph.utexas.edu/category/2021/08/you_could_have_invented_de_bru.html 8 comments math
- The Categorical Origins of Lebesgue Integration https://golem.ph.utexas.edu/category/2020/11/the_categorical_origins_of_leb_1.html 4 comments math
- "EGA1: The Language of Schemes" translated to English https://golem.ph.utexas.edu/category/2020/02/ega1_the_language_of_schemes.html 18 comments math
- Jaynes on Clever Tricks: "section 8.12.4 of [the book 'Probability Theory: The Logic of Science'] ... acts as balm for anyone who feels they’re not good at 'tricks'." https://golem.ph.utexas.edu/category/2019/10/jaynes_on_clever_tricks.html 23 comments math
- On the n-Category Café blog: Turing Categories. "Turing categories enable the categorical study of computability theory, and thereby abstract and generalize the classical theory of computable functions on the natural numbers." https://golem.ph.utexas.edu/category/2019/08/turing_categories.html 10 comments math
- On the n-Category Café blog: Graphical Regular Logic. "This visual knowledge representation system has the potential to be an intuitive user-interface for regular logic." https://golem.ph.utexas.edu/category/2019/08/graphical_regular_logic.html 5 comments math
- The Riemann Hypothesis and its connection with the number 5040 https://golem.ph.utexas.edu/category/2019/07/the_riemann_hypothesis_says_50.html 30 comments math
- Katrina Honigs meets Grothendieck https://golem.ph.utexas.edu/category/2019/06/katrina_honigs_meets_grothendi.html#more 17 comments math
- Tychonoffication: "Any space has a 'Tychonoffication'." https://golem.ph.utexas.edu/category/2019/02/tychonoffication.html 5 comments math
- Elmendorf's theorem | The n-Category Café https://golem.ph.utexas.edu/category/2018/06/elmendorfs_theorem.html#more 6 comments math
- Sets of Sets of Sets of Sets of Sets of Sets | The n-Category Café https://golem.ph.utexas.edu/category/2018/06/sets_of_sets_of_sets_of_sets_o.html 4 comments math
- Secret maths https://golem.ph.utexas.edu/category/2011/07/coinductive_definitions.html#c038985 18 comments math
- First online Homotopy Type Theory Seminar, 15 February https://golem.ph.utexas.edu/category/2018/02/homotopy_type_theory_electroni.html 3 comments math
- Real sets: "[W]e define a category which provides an answer to the questions: • what is a set with half an element? • what is a set with π elements?" https://golem.ph.utexas.edu/category/2017/11/real_sets.html 5 comments math
- Some topology puzzles, suggested by John Baez https://golem.ph.utexas.edu/category/2017/11/topology_puzzles.html 8 comments math
- Tom Leinster: Basic Category Theory Free Online https://golem.ph.utexas.edu/category/2017/01/basic_category_theory_free_onl.html 9 comments math
- Book: Category Theory in Context http://golem.ph.utexas.edu/category/2016/11/category_theory_in_context.html 12 comments math
- Mike Shulman: From Set Theory to Type Theory https://golem.ph.utexas.edu/category/2013/01/from_set_theory_to_type_theory.html 52 comments math
- Tom Leinster: Colouring a Graph https://golem.ph.utexas.edu/category/2013/04/colouring_a_graph.html 3 comments math
- In Praise of the Gershgorin Disc Theorem https://golem.ph.utexas.edu/category/2016/08/in_praise_of_the_gershgorin_di.html 9 comments math
- Successive high-frequency interval between Twin Primes found https://golem.ph.utexas.edu/category/2016/03/the_most_common_prime_gaps.html 27 comments math
- Category Theory Notes: How category theory unifies mathematics. A study of duality, a bit of Galois theory and Klein geometry. https://golem.ph.utexas.edu/category/2016/03/category_theory_notes.html 61 comments math
- The Revolution Will Not Be Formalized https://golem.ph.utexas.edu/category/2015/05/the_revolution_will_not_be_for.html 2 comments math
- New evidence of the NSA deliberately weakening encryption https://golem.ph.utexas.edu/category/2014/10/new_evidence_of_nsa_weakening.html 339 comments technology
- New Evidence of the NSA Deliberately Weakening Encryption https://golem.ph.utexas.edu/category/2014/10/new_evidence_of_nsa_weakening.html 31 comments compsci
- Why It Matters http://golem.ph.utexas.edu/category/2014/08/why_it_matters.html 6 comments math
- Mathematicians want to "severe ties with the NSA", and make working for the NSA and its ilk "socially unacceptable" http://golem.ph.utexas.edu/category/2013/11/severing_ties_with_the_nsa.html 31 comments politics
- Category Theory in Homotopy Type Theory http://golem.ph.utexas.edu/category/2013/03/category_theory_in_homotopy_ty.html 8 comments math
- P values are not a substitute for real measures of effect size, and despite its popularity with researchers and journal editors, testing a null hypothesis is rarely the appropriate model in science http://golem.ph.utexas.edu/category/2010/09/fetishizing_pvalues.html 20 comments science
- "Virtually no one who is taught and believes relativity continues to read the Bible, a book that outsells New York Times bestsellers by a hundred-fold." http://golem.ph.utexas.edu/~distler/blog/archives/002255.html 29 comments science
- Grothendieck Said: "Stop" http://golem.ph.utexas.edu/category/2010/02/grothendieck_said_stop.html 8 comments math
- Can Five-Year-Olds Compute Coproducts? | The n-Category Cafe http://golem.ph.utexas.edu/category/2009/12/can_fiveyearolds_compute_copro.html 3 comments math
- Hilariously insane crackpot edits and publishes in superficially respectable math journal http://golem.ph.utexas.edu/category/2008/11/the_case_of_m_s_el_naschie.html 3 comments math
- News about E8: John Baez explains http://golem.ph.utexas.edu/category/2007/03/news_about_e8.html 7 comments programming
Lambda the Ultimate
- Holodeck games and CCCs http://golem.ph.utexas.edu/category/2006/10/classical_vs_quantum_computati_3.html 0 comments Category Theory , Fun , Lambda Calculus