adjoint
anki
adjoint | anki | |
---|---|---|
11 | 1,149 | |
157 | 17,326 | |
- | 2.2% | |
0.0 | 9.8 | |
over 1 year ago | 8 days ago | |
Rust | ||
- | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
adjoint
- The Mathematical Hacker
-
Why Is Symmetry So Important in Particle Physics?
This idea shows up in essentially all scientific fields. It’s the idea of adjointness. Together with norm, they give you the idea of fixed points, (invariants, spectra, embeddings, braids etc).I'm
Lawvere's fixed point theorem is I think the best formulation of the idea
https://ncatlab.org/nlab/show/Lawvere%27s+fixed+point+theore...
I've been putting together a brain dump on the topic
https://github.com/adamnemecek/adjoint/
Join the discord https://discord.gg/mr9TAhpyBW
-
Gödel’s first incompleteness theorem – an interactive tutorial
I’ve always thought that the completeness theorem was more interesting.
Also I really like approaching this from Lawvere’s fixed point theorem. https://ncatlab.org/nlab/show/Lawvere's+fixed+point+theorem
I have been thinking about some of this stuff
https://github.com/adamnemecek/adjoint
- Young Diagrams and Classical Groups [pdf]
- Gödel, Escher, Bach: an in-depth explainer
- Transformers Seem to Mimic Parts of the Brain
-
A software engineer's circuitous journey to calculate eigenvalues
Yeah I have been realizing this lately as well. I have written up a bit on this
https://github.com/adamnemecek/adjoint/
Check the raw source there’s a bunch of links.
Fixed points, diagonalizations and eigenshit are all the same thing.
-
Tools for Better Thinking
I think that there are like three concepts in math or the world, the concepts being the adjoint, norm and fixed point.
https://github.com/adamnemecek/adjoint
The concept of a fixed point is so ubiquitous.
-
Interactive introduction to game theory and trust
Game theory, just liek essentially everything in math, physics and probability, and cs is about adjoints, norms, and fixed points https://github.com/adamnemecek/adjoint/
Nash equilibrium is a fixed point.
-
Emily Riehl is rewriting the foundations of higher category theory
For me it was the idea of adjoint functors which is the central idea of category theory.
I wrote up a bit on it here https://github.com/adamnemecek/adjoint
anki
-
How to Speak Fluent English?
Try the Anki system…there was someone who learned over 10 languages with that method:
https://apps.ankiweb.net/
-
I am building Anki for spaced repetition but Better (RepIt)
And here is the source code for Anki: https://github.com/ankitects/anki
If you want to convince people to use your spaced repetition software over Anki, you need to tell us what's so wrong with Anki that can't be fixed with plugins and that's worth $10 per year.
You must demonstrate value above what Anki does.
I look at your list of projects in https://0xdev.gumroad.com/ and they're all pre-order of things that already exist elsewhere. To me, this smacks of "give me money, and I'll give you promises." Especially the project https://0xdev.gumroad.com/l/HelpFundMe?layout=profile
You want something for free? I'll give you something for free.
Anki absolutely can be improved. For new users, it's very confusing: having multiple decks, the separation between cards and notes, and the search interface are hard for new users.
Combine something that is simpler for new users with a demonstrably better algorithm and you might have a minimally viable product. But you need the product FIRST before you request money.
Give us something that we can run for one week and know that it's better than the free software that is Anki.
- Inglês para Brasileiros: Um Novo Começo
- Duolingo Sucks, Now What?
-
Memorizing a programming language using spaced repetition software (2013)
This support landed late last year as part of https://github.com/ankitects/anki/releases/tag/23.10
> .apkg imports are able to merge changed notetypes, and can exclude scheduling data
- Anki – Powerful, intelligent flash cards
- Applikaatio esimerkiksi matematiikan kertaamiseen/oppimiseen aivottoman selaamisen sijaan?
-
Suggest to me some uses for reWASD
My main use case is for managing my Azeron Cyborg profiles. And recently I have been experimenting with using the mobile controller feature to help do Anki spaced repetition reviews.
-
How can I learn Hindi?
Anki Flashcards
- I got drunk and made defensive stat flash cards for all FE pokes in current existance, enjoy
What are some alternatives?
excalibrain - A graph view to navigate your Obsidian vault
mnemosyne - Mnemosyne: efficient learning with powerful digital flash-cards.
obsidian-excalidraw-plugin - A plugin to edit and view Excalidraw drawings in Obsidian
AZ-104-MicrosoftAzureAdministrator - AZ-104 Microsoft Azure Administrator
Category_Theory_Machine_Learning - List of papers studying machine learning through the lens of category theory
AWS-SAA-C02-Study-Guide - How to become a certified AWS Solutions Architect
lean-liquid - 💧 Liquid Tensor Experiment
orbit - Experimental spaced repetition platform for exploring ideas in memory augmentation and programmable attention
magicl - Matrix Algebra proGrams In Common Lisp.
CBofN - Source code from the book "The Computational Beauty of Nature"
Anki-Android - AnkiDroid: Anki flashcards on Android. Your secret trick to achieve superhuman information retention.