typeshare
trane-math
typeshare | trane-math | |
---|---|---|
10 | 3 | |
30 | 2 | |
- | - | |
0.0 | 1.7 | |
over 4 years ago | about 1 year ago | |
Rust | Rust | |
MIT License | GNU General Public License v3.0 only |
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.
typeshare
-
Using rust to generate typescript client
It doesn’t generate a complete client but 1Password’s Typeshare can generate TypeScript from Rust data structures https://github.com/1password/typeshare
-
Is rust overkill for most back-end apps that could be done quickly by NodeJS or PHP?
Aren't there things like typeshare to aid with that case?
-
Bloom's 2 Sigma Problem
Sure. I would love some help. I am visiting my family all March (I am typing this from the airport), so I don't know how much time I'll have to work on trane for the next month. But maybe that gives you some time to use it, and read the code and docs.
I am not going to put my personal email here, and I don't see an option to send private messages on hn, although it's probably out there somewhere. Probably in the commits, lol. Worst case, feel free to open an issue on the trane repo.
As a first ask, what do you think of this: https://github.com/1Password/typeshare?
I figured writing the UI in rust is probably not a good idea. The ecosystem for UI is very immature and the language itself is probably overkill. But doing it in typescript/html/css requires you to understand the internal data structures (all the JSON files you see in the courses are just serialized rust objects).
I found that repo and it seems like a promising approach to autogenerate the types and make the interaction easier.
-
Generating java code from rust structs
How does this compare to typeshare?
-
Upcoming Q and A re: Typeshare, a tool to help Rust developers generate consistent type schema
Recently, 1Password open-sourced Typeshare, to help Rust developers create FFI (foreign function interfaces). Curious to learn more? Join the team behind the tool this week on Zoom at 11a Eastern to discuss Typeshare and answer any questions.
-
Open Source Project
Newly open-sourced project that might be handy for some of you all https://github.com/1Password/typeshare
- Typeshare: Synchronize type definitions between Rust and other languages
- 1Password releases Typeshare, the "ultimate tool for synchronizing your type definitions between Rust and other languages for seamless FFI"
-
How to Build a Rust CLI Tool to Generate Typescript Types from Rust
Typeshare by 1Password, the original inspiration for this blog post. It's available on crates.io.
-
Rust in Production: 1Password
For sure! We actually open sourced an early version of it a while back (https://github.com/1Password/typeshare), but it became a slowdown to work on it both for our own internal needs and for the outside world, so that was abandoned and it's since fallen out of sync with the project internally today.
trane-math
-
Anki-Fy Your Life
I've been working on https://github.com/trane-project/trane for the past year or so, mostly to get around these limitations. I tried to find a way to use Anki or another existing software to aid my music practice, but I couldn't get it to work.
Some ways in which it's different:
- Dependencies are core to the system. For example, if I am learning a music piece, I want to start by learning small sections and only move on to larger sections when I am good enough the small stuff, eventually ending with a final exercise that tests my performance of the whole piece. A lot of knowledge/skills follow that pattern, but I couldn't find a way to make Anki or SuperMemo understand this.
- It's meant for both memorizing stuff and practicing exercises. I have tested it with your exact example (math problems from textbooks). It works fairly well, but it's at a very early stage (you can look around at https://github.com/trane-project/trane-math, but it still needs a readme). So it's doing the same thing as the students you mentioned. The difference is that the scheduling is done automatically. Review of existing problems and addition of new ones happen without requiring planning or tracking from the student.
- There's an emphasis on generating the flashcards as text files, so they can be shared. I don't understand why people insist of remaking their own flascards every time. If someone wishes to learn guitar, for example, it's my hope they just download some courses and start learning without spending any time redoing flashcards. This design choice probably makes it harder to write the flascards, but it balances out once the flashcards are done and can be passed around.
-
Bloom's 2 Sigma Problem
I started working on this a few weeks ago: https://github.com/trane-project/trane-math It currently needs a README, but you could take a look at the courses on how I am building the flashcards. It's easy to reference external resources, so that's what I have been doing, rather than trying to create exercises of my own.
I am starting with a very basic olympiad-style book and a book based on Euclid's Elements, because I don't have the understanding required to clearly work out the dependencies of more advanced stuff. And I also would like to start at the beginning to make sure I don't miss anything.
The ideal end state is to have courses that cover all the undergrad and grad math curriculum. I am also curious on whether this could be even used by researchers to keep up to date with the latest research on their fields. But all of that is a long way out.
As for your question, there are a couple of ways that Trane could handle multiple paths through similar material.
1. Just have separate curriculums. You could copy the courses, but the second copy has different dependencies, courses/lessons IDs. For example, one could have a series of courses teaching the undergrad MIT math curriculum and another the Harvard curriculum. They might share a lot of the material, but the order will be different.
2. Trane does not lock you into a specific order. There are filters that let you specify which parts of the graph you want to study. You are free to get questions from specific courses and lessons. You can also use the metadata in the courses to say things like "give me questions from all lessons teaching linear algebra" or "give me questions from all courses on real analysis but not from the lessons on set theory". The dependencies between the lessons that match that metadata are still respected. There are a few more options, but you get my point. The dependencies are not set in stone, and there's freedom to jump around and study specific topics.
I actually use option 2 most days. If I want to practice guitar, I just set a filter to give me exercises from the guitar. Similar thing when I want to practice saxophone.
What are some alternatives?
card_game
trane - An automated practice system for learning complex skills
bitwarden_rs - Unofficial Bitwarden compatible server written in Rust, formerly known as bitwarden_rs [Moved to: https://github.com/dani-garcia/vaultwarden]
ankivalenz - Turn HTML files into Anki decks
silver_editor - A small editor for quicksilver and Mergui
quarto-ankivalenz - Turn Quarto documents into Anki decks
genanki - A Python 3 library for generating Anki decks
FrameworkBenchmarks - Source for the TechEmpower Framework Benchmarks project
fsrs4anki - A modern Anki custom scheduling based on Free Spaced Repetition Scheduler algorithm
aerospike-client-rust - Rust client for the Aerospike database
anki - Anki's shared backend and web components, and the Qt frontend