June 2025

@vnpower’s software list v2

It’s a sequel to @vnpower’s original list.

Compiling a Neural Net to C for a 1,744x speedup

In this post, @slightknack trained a logic-gate-based neural network to learn Conway’s Game of Life. But since logic gates are just boolean functions, they can be translated to C and 64 bits can be packed into an integer to parallelize the network. The speedup? An incredible 1744x!

Types as relations

@iacore created a relational logic system and formalized it that is somewhat similar to lambda calculus and interaction nets.

The compose key

Ever had trouble typing accented characters or diacritics? @d-rens wrote a [post about using a compose key] for this on Linux.

@a: I love compose keys (ever since I tried out WinCompose back in 2018)! Mine is currently set to caps lock. I use it sometimes for typing pīnyīn (ex: Compose+c”u for ǚ) and random symbols (ex: Compose+? for ☭). Also, I didn’t know about :dig in Vim!

@ersei: I found compose keys to be kinda restrictive so I’m using keyd to do that instead.

Gewissenhaftigkeit

Ah yes, the joy of crazy compound words in German. Find out what that word means in this post by @d-rens.

Discuss

If you want to discuss anything from this issue, feel free to join our Matrix room and chat with our community!