Pentive
kons-9
Pentive | kons-9 | |
---|---|---|
11 | 50 | |
31 | 549 | |
- | - | |
9.7 | 7.9 | |
8 days ago | 6 months ago | |
TypeScript | Common Lisp | |
Apache License 2.0 | MIT License |
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.
Pentive
-
Anki – Powerful, intelligent flash cards
> I wonder what the ecosystem would look like if things were otherwise.
Shameless plug - I'm building https://github.com/AlexErrant/Pentive which is basically GitHub/Reddit for flashcards. Very much pre-product and a WIP, though the offline client proof of concept is done.
-
Lessons from building GitHub code search [video]
I also enjoyed the Treesitter talk from 5 years ago by Max Brunsfeld https://www.youtube.com/watch?v=Jes3bD6P0To
I'm currently building a query language whose grammar is very much inspired by Github's search syntax. I'm using Lezer, which is a GLR like Treesitter, so this talk learned me some parser generators (I've no formal CS education). Here's my grammar, a playground, and an example search query if anyone wants to play with it
https://github.com/AlexErrant/Pentive/blob/main/app/src/quer...
https://littletools.app/lezer
-(a) spider-man -a b -c -"(quote\\"d) str" OR "l o l" OR a b c ((a "c") b) tag:what -deck:"x y"
-
Using spaced repetition systems to see through a piece of mathematics
Not really. There are options for sharing cards on Anki https://www.reddit.com/r/Anki/comments/14j2jfy/deck_sharing_... but their collaboration features are limited.
I myself am building an Anki clone https://github.com/AlexErrant/Pentive with collaboration built in as a first class citizen, though its far from primetime. Currently stewing on how to get the SR algorithm, FSRS, to compile to wasm.
-
Ask HN: Show me your half baked project
https://github.com/AlexErrant/Pentive
A free, open source, local-first, spaced repetition system that works offline, has p2p syncing, plugins, and first class support for collaboration. It's GitHub/Reddit for flashcards.
I basically took Anki and turned it into a webapp >_>
-
Things you forgot because of React
I find Solid's model pretty damn close to "compiling down to nothing". I chose Solid for my project because I wanted to support plugins that used other UI frameworks. I recently got a Svelte plugin working with the SolidJS router. I could probably make it prettier... but it's literally a call to Solid's `createComponent` with the Router and an anchoring div to which the Svelte component is mounted. Ezpz.
https://github.com/AlexErrant/Pentive/blob/main/example-plug...
- Mycelite: SQLite extension to synchronize changes across SQLite instances
-
An open source web-based flashcard studying system
I'm also building an Anki clone (sigh) that I'm calling "Github for flashcards".
>A free, open source, local-first, spaced repetition system that works offline, has p2p syncing, plugins, and first class support for collaboration.
https://github.com/AlexErrant/Pentive
Very much a WIP, completely unusable, but I recently made a video demoing the technical proof of concept.
-
Anki-Fy Your Life
Anki, imo, already has an open algorithm (that the user can change via plugins), universal interfaces, and is "self-hosted". My eyes perked up at REST api, but it doesn't look like there's a centralized server that hosts shared cards, which is where my mind went.
I'm building https://github.com/AlexErrant/Pentive/ which is basically Anki + Reddit - people can optionally upload their cards for others to download, and the most popular cards rise to the top. It's FLOSS, offline-first, supports plugins and p2p syncing, and is very much a WIP. My proof of concept is almost done though, which demos the critical technologies in a secure way.
-
A Gentle Introduction to CRDTs
I'm using cr-sqlite right now in my Anki clone: https://github.com/AlexErrant/Pentive
It's basically an offline-first flashcard webapp. CR-Sqlite allows for incremental syncing.
With Anki (the app from which I'm taking my inspiration), syncing is _not_ incremental - basically it just copies SQLite files around. So for example, the app could be on an iPhone with cards a card `A` reviewed, but the app on an iPad could make changes to the template on which card `A` is based, and that's enough to cause a conflict - you must take changes from only the iPad or only the iPhone. (To be clear - Anki does have some incremental syncing capabilities - I'm picking an intentionally pathological example.) CR-SQLite will mean that everything is incremental, however.
Basically makes 3 way merges a breeze (or n-way merges, really).
-
Ask HN: What Are You Working on This Year?
A FLOSS, offline-first, spaced repetition system that has first class support for collaboration, curation, and plugins. It's Reddit for flashcards.
https://github.com/AlexErrant/Pentive
I've been thinking about this for a stupid amount of time... thinking that someday someone's going to improve on Anki. Finally got tired of it and said that person's me.
kons-9
- OpenSCAD Survey - what programming language do you want to be added to app?
-
Lindenmayer Systems
Very cool. I must check this out.
I implemented some L-system features in my 3D Common Lisp system: https://github.com/kaveh808/kons-9
- Ask HN: Show me your half baked project
-
Profound Beliefs
In some small way I am revisiting the idea with https://github.com/kaveh808/kons-9
We'll see what comes of it.
- Kons-9: Common Lisp 3D Graphics Project
-
Symbolics Lisp Machines Graphics Demo (1990)
I began my 3D graphics development on a Symbolics workstation at the MIT Media Lab in the mid-80's. This was before the S-Graphics suite was released. [0]
The outstanding feature of the S-Graphics suite was the polygonal modeler which used a winged-edge structure that was far ahead of its time. It survives conceptually in the Wings3D system, which is a quite faithful copy of that modeler.
And of course you got the extensibility that came with the graphics system being built on Lisp.
But Symbolics was never, as far as I saw, a serious or popular contender in 3D production. Not only was the system expensive, but the hardware could not keep up with SGI's graphics abilities. Furthermore, the mass of CG developers at the time came from a C/Unix background, and rendering especially was so speed critical that C (and Fortran) resulted in faster systems.
Almost 40 years later, I have returned to the idea of developing a 3D system in Common Lisp [1]. We shall see where it leads.
[0] https://medium.com/@kaveh808/late-night-lisp-machine-hacking...
[1] https://github.com/kaveh808/kons-9
- Ask HN: Resources for Older Developers?
- Ask HN: What Are You Working On? (May 2023)
-
A good codebase to study as a beginner
If you are interested in 3D graphics, I have tried to keep my code simple and comprehensible: https://github.com/kaveh808/kons-9
-
Coding alone vs coding in a team
As a solo developer of my 3D system, my main focus has been to keep the enthusiasm and momentum going and to enjoy the development process, rather than worrying about how the code might not be optimal in various regards.
What are some alternatives?
fsrs4anki - A modern Anki custom scheduling based on Free Spaced Repetition Scheduler algorithm
clog - CLOG - The Common Lisp Omnificent GUI
mycelite - Mycelite is a SQLite extension that allows you to synchronize changes from one instance of SQLite to another.
quicklisp-projects - Metadata for projects tracked by Quicklisp.
proposal-shadowrealm - ECMAScript Proposal, specs, and reference implementation for Realms
McCLIM - An implementation of the Common Lisp Interface Manager, version II
shellrunner - Write safe shell scripts in Python.
clozure-cl - Unofficial mirror of Clozure CL
vm2-process - Execute unsafe javascript code in a sandbox
weird - Generative art in Common Lisp
ankivalenz - Turn HTML files into Anki decks
bodge-nuklear - Thin wrapper over Nuklear for Common Lisp