HN user

romes

1,192 karma
Posts168
Comments51
View on HN
alt-romes.github.io 3mo ago

Running Out of Disk Space in Production

romes
2pts0
alt-romes.github.io 3mo ago

Running out of disk space in production

romes
220pts129
alt-romes.github.io 3mo ago

Running Out of Disk Space on Launch

romes
2pts0
github.com 4mo ago

Calculator C Parser

romes
3pts0
well-typed.com 5mo ago

A tool for automatic Haskell binding generation from C header files

romes
3pts0
institute.global 5mo ago

Open Source: How Middle Powers Can Build Influence in the Age of AI

romes
2pts0
pandoc.org 5mo ago

Pandoc for the people: Convert documents without leaving the browser

romes
36pts3
doisinkidney.com 5mo ago

10-Part Series on Breadth-First Traversals in Haskell

romes
4pts0
alt-romes.github.io 5mo ago

I turned my Anki side project into $15K raised on Kickstarter

romes
7pts7
www.hashicorp.com 5mo ago

Lessons from banking and finance: Why we need zero trust secrets management

romes
3pts1
alt-romes.github.io 5mo ago

From Anki to Kickstarter: The Making of Kanjideck

romes
1pts0
byteofmelon.com 5mo ago

Learning Low-Level Computing and C++ by Making a Game Boy Emulator

romes
20pts3
www.bloomberg.com 5mo ago

AI Chip Startup Positron Raises $230M from Arm, Qatar to Compete with Nvidia

romes
3pts0
www.youtube.com 5mo ago

Surface-Stable Fractal Dithering Explained [video]

romes
1pts0
alt-romes.github.io 5mo ago

The Making of Kanjideck

romes
1pts0
www.youtube.com 5mo ago

UniKernels: Functional Operating System Design [video]

romes
5pts0
iagoleal.com 5mo ago

Your Favorite Problem Is an Ising Model

romes
3pts0
alt-romes.github.io 5mo ago

The Making of Kanjideck: From Anki to Kickstarter

romes
2pts0
alt-romes.github.io 5mo ago

Making physical Japanese flashcards: The full walkthrough from zero to launch

romes
1pts5
blog.sigfpe.com 5mo ago

The Monad Called Free (2014)

romes
66pts43
mirageos.org 5mo ago

Delimited Continuations vs. Lwt for Threads

romes
48pts3
doisinkidney.com 5mo ago

Convolutions and Semirings

romes
2pts0
alt-romes.github.io 5mo ago

Making physical Japanese cards: The full walkthrough from zero to launch

romes
3pts1
alt-romes.github.io 5mo ago

Kanjideck: The full walkthrough from zero to launch

romes
6pts0
alt-romes.github.io 5mo ago

Launching My Side Project as a Solo Dev: The Walkthrough

romes
72pts9
alt-romes.github.io 5mo ago

Launching My Side Project as a Solo Dev: The Walkthrough

romes
5pts0
alt-romes.github.io 5mo ago

From Side Project to Kickstarter: A Walkthrough

romes
1pts0
alt-romes.github.io 5mo ago

From Side Project to Kickstarter: A Walkthrough

romes
1pts0
discourse.haskell.org 6mo ago

The new Haskell Debugger for GHC 9.14

romes
13pts0
discourse.haskell.org 6mo ago

The Haskell Debugger for GHC 9.14

romes
4pts0

Thanks vunderba, that's a good point about the time and that's a better comment than the parent one.

The mnemonics really were the main feature driving me away from existing resources and to make my own.

On the questions: I am not an expert, but I didn't make anything up. All data is picked from dictionaries like JMDict/jisho.org. The layout and choosing which information to display how I found best was according to my studies.

On 部首: They're highlighted for each Kanji (back side) and annotated on the bottom right in the full form, but there are no individual cards for radicals.

All in all, the deck features and what makes it different is better described by the guide that I link in the post (which, while interesting, is better suited for the audience which cares about Kanji).

The post itself focused on the building and business part which I think is well-suited for the HN crowd.

Anyway, thanks.

I've put weeks of effort on the post and months on the project. I think it's worthy of being in HN and the votes so far seem to imply the same. I have been improving the title and posting at the time period HN allows. It's not a repost in the sense that it hasn't gained any attention. It just hasn't reached a critical enough mass. What does it mean to you? If you think the post is just not high quality perhaps you can comment on that, rather than the number of times it has been posted.

Despite it being an advertisement of something I've done -- in the Show HN sense -- there are many features which distinguish it from other existing resources. For instance:

- Highlighting the Kangxi radical really helps with visually breaking apart the components of each character, and often serves as a hint for the meaning

- Include the meanings for the kun'yomi readings trailed by okurigana, most often verbs and adjectives, which can be easily conjugated according to included cheatsheet

- Always try to use compound examples which only use Kanji seen before according to the order (and, within the same JLPT level, we also topologically sort the Kanji s.t. components appear before Kanji they are part of)

- An etymological classification which hints towards the origin of the character, and, in the digital version, includes a link to the corresponding wiktionary page which often has an explanation. Broadly:

    * Pictographic, a Kanji whose origins lay in "drawings"

    * (Compound) Ideographic, where the Kanji represents an idea or forms a new idea resulting from the meanings of its components

    * Phonetic, where one component (typically the radical) gives a semantic to the character, and another component gives the phonetic family of the character. Essentially the semantic comes broadly from the semantic component and then multiplexes on the component which provides the sound...

On white rabbit specifically:

- We do the traditional flashcard style, where no information at all is given from the back

- We include card markers for physical spaced repetition ala Leitner Box style

- Afer going through the physical cards, eventually up to N3, students have access to the full digital Anki deck to continue studying through all the Joyo with a better scheduler (Anki's FSRS).

Of course, that's where we stand on the design space. A key differing point is mnemonics, which are very common in these resources, but that we purposefully do not use (in fact, this deck was first born out of the frustration with existing mnemonic-based resources, as they typically are disconnected from any real etymological reason, or from the character at hand).

Thanks saagarjha. Those are very actionable, good, suggestions. I will look into updating the packages which do this under the hood to do that.

Equality graphs (e-graphs) for theorem proving and equality saturation and other equality-related things.

They're awesome data structures that efficiently maintain a congruence relation over many expressions

At a high level, e-graphs extend union-find to compactly represent equivalence classes of expressions while maintaining a key invariant: the equivalence relation is closed under congruence.

e.g. If I were to represent "f(x)" and "f(y)" in the e-graph, and then said "x == y" (merged "x" and "y" in the e-graph), then the e-graph, by congruence, would be able to tell me that "f(x) == f(y)"

e.g. If I were to represent "a*(2/2)", in the e-graph, then say "2/2 == 1", and "x*1 == x", by congruence the e-graph would know "a*(2/2) == a" !

The most recent description of e-graphs with an added insight on implementation is https://arxiv.org/pdf/2004.03082.pdf to the best of my knowledge.

P.S: I'm currently implementing them in Haskell https://github.com/alt-romes/hegg

It'd be very interesting to see an actual "starter kit" :I

The original idea could even be adapted to more than one degree of difficulty... I love the idea, it's, at least, a fascinating concept

Hey! No, it did not cross my mind - where do you release Creative Commons music? As a goal I wanted to have my friends listening and sharing the music where they usually listen to it. If you want to chat about it contact me (see last line of post for contacts)

I spent around 90€ on the audio interface (however, i think you can get a better one for less money now), 35€ on the mic stand, 15€ on the cable. I'm pretty sure you can get far with free software, and it wouldn't require a new machine - you just need the basics. I'm not sure how much the rest of the equipment cost because most I didn't buy myself.