distillpub / post--aia
Using Artificial Intelligence to Augment Human Intelligence
☆14Updated 6 years ago
Related projects: ⓘ
- Research Debt☆25Updated 6 years ago
- MathWebSearch Implementation☆46Updated last year
- Read, Collaborate and talk about scientific papers☆30Updated last year
- Command-line recursive question-answering with immutable contexts and explicit data store☆24Updated 5 years ago
- Some CSS experiments for arXiv HTML documents converted via latexml☆15Updated 6 months ago
- DeepAlgebra☆25Updated 6 years ago
- How I make an interactive tutorial using d3.js☆41Updated last year
- ☆38Updated last year
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆128Updated 10 years ago
- Comic generation sandbox☆9Updated 7 years ago
- My personal Gollum deployment☆15Updated 6 years ago
- See https://github.com/sagemathinc/smc instead!☆22Updated 5 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last month
- A web portal that offers more features and a better user interface for reading eprints☆24Updated 8 years ago
- end-to-end data product for generating random science quizzes☆19Updated 8 years ago
- Gather for the Python Extension☆25Updated 6 months ago
- A system for computational category theory and applications☆35Updated 8 years ago
- Eyebrowser Server☆27Updated 5 years ago
- Website to track people, organizations, and products (tools, websites, etc.) in AI safety☆21Updated this week
- A turnkey command for converting a LaTeX source to ar5iv-style HTML☆55Updated 6 months ago
- ☆18Updated 8 months ago
- Silicitect, model neural network architectures in JavaScript for silicon hardware.☆21Updated 7 years ago
- ☆26Updated this week
- An App Engine app that generates OPMLs from spreadsheets.☆12Updated 13 years ago
- A scrapbook for Haskell developers☆16Updated 14 years ago
- A place for me to keep essays/papers I'm working on...☆32Updated 10 years ago
- Citation management tool.☆12Updated 10 years ago
- LaTeX preprocessor☆78Updated 9 years ago
- ☆22Updated 5 years ago
- Tools for managing the TeX sources of the Stacks project☆14Updated 3 months ago