Julian/til

Issues

• Ramsey Number Progress

  #110 opened 5 months ago by Julian
  0

• SRE

  #122 opened 5 months ago by Julian
  0

• Logical Foundations

  #142 opened 5 months ago by Julian
  0

• Applied Category Theory

  #196 opened a year ago by Julian
  0

• Crafting Interpreters

  #216 opened 8 months ago by Julian
  0

• typst

  #215 opened 8 months ago by Julian
  0

• Ray tracer

  #210 opened a year ago by Julian
  0

• More on the placebo effect

  #193 opened 2 years ago by Julian
  0

• Theoretical Minimum / Susskind Lectures

  #188 opened 2 years ago by Julian
  0

• DaVinci Resolve

  #165 opened 2 years ago by Julian
  0

• UC Davis Coffee Research

  #152 opened 4 years ago by Julian
  0

• HoTT

  #153 opened 4 years ago by Julian
  0

• Topological Data Analysis

  #136 opened 4 years ago by Julian
  0

• The Type Theory of Lean

  #151 opened 4 years ago by Julian
  0

• How to Write Mathematics Badly

  #150 opened 4 years ago by Julian
  0

• Graphical Linear Algebra

  #149 opened 4 years ago by Julian
  0

• Limits on All Known (and Some Unknown) Approaches to Matrix Multiplication

  #146 opened 4 years ago by Julian
  0

• Evolution of a Research Paper

  #144 opened 4 years ago by Julian
  0

• Effects of Data Presentation, Charts vs. Graphs vs etc. for Equivalent Datasets

  #143 opened 4 years ago by Julian
  0

• TUF

  #141 opened 4 years ago by Julian
  0

• Semantic Interposition

  #140 opened 4 years ago by Julian
  0

• Tapeworm Cancer

  #139 opened 4 years ago by Julian
  0

• Bean Degassing

  #138 opened 4 years ago by Julian
  0

• Topology for Neuroscience

  #137 opened 4 years ago by Julian
  0

• Female Sexual Arousal: Genital Anatomy and Orgasm in Intercourse

  #135 opened 4 years ago by Julian
  0

• Still Not Allowed on the Bus: It Matters If You're Black or White!

  #133 opened 4 years ago by Julian
  0

• Orange You Accessible? A Mini Case Study on Color Ratio

  #132 opened 4 years ago by Julian
  0

• Link to issues/backlog from the rendered site

  #131 opened 4 years ago by Julian
  0

• That's Interesting!

  #130 opened 4 years ago by Julian
  0

• On the Measure of Intelligence

  #129 opened 4 years ago by Julian
  0

• Meaningful Availability

  #128 opened 4 years ago by Julian
  0

• Measuring the predictability of life outcomes with a scientific mass collaboration

  #127 opened 4 years ago by Julian
  0

• Bringing the People Back In: Contesting Benchmark Machine Learning Datasets

  #126 opened 4 years ago by Julian
  0

• When Does Cognitive Functioning Peak? The Asynchronous Rise and Fall of Different Cognitive Abilities Across the Life Span

  #125 opened 4 years ago by Julian
  0

• Build systems à la carte: Theory and practice

  #124 opened 4 years ago by Julian
  0

• Estimating the number of unseen species: A bird in the hand is worth logn in the bush

  #123 opened 4 years ago by Julian
  0

• Pseudo-labelling

  #121 opened 4 years ago by Julian
  0

• Advanced Coffee Making

  #120 opened 4 years ago by Julian
  0

• Exotic Programming Ideas

  #119 opened 4 years ago by Julian
  0

• Things to Make and Do in the Fourth Dimension

  #116 opened 4 years ago by Julian
  0

• What do we want a foundation to do? Comparing set-theoretic, category-theoretic, and univalent approaches

  #118 opened 4 years ago by Julian
  0

• Probability matching

  #117 opened 4 years ago by Julian
  0

• Reflections on the compatibility, performance, and scalability of parallel Python

  #114 opened 4 years ago by Julian
  0

• Re-review crypto101

  #115 opened 4 years ago by Julian
  0

• DST + Heart Attacks

  #113 opened 4 years ago by Julian
  0

• Ungrammar

  #112 opened 4 years ago by Julian
  0

• Typing With Pleasure

  #111 opened 4 years ago by Julian
  0

• Patch theory

  #108 opened 4 years ago by Julian
  0

• PedalNet

  #109 opened 4 years ago by Julian
  0

• Translating Proofs Between Proof Systems

  #107 opened 4 years ago by Julian
  0