0x0f0f0f

17 ms·

1.
Automated Category Theory Reasoning with Metatheory.jl and Egraphs(philipzucker.com)
7 points by 0x0f0f0f 6y ago|0 comments
2.
Installing Void Linux on a Hetzner Cloud VPS(0x0f0f0f.github.io)
2 points by 0x0f0f0f 6y ago|0 comments
3.
Show HN: Single binary memory usage plotter(github.com)
1 points by 0x0f0f0f 6y ago|0 comments
4.
How to Turn DNA into Music(0x0f0f0f.github.io)
2 points by 0x0f0f0f 7y ago|1 comments
5.
by 0x0f0f0f 7y ago
Can you do better in a few hundred lines of code? It would be nice to compare the results of multiple toy simulations to see if there are some shared outcomes.
6.
Show HN: Simulating Infectious Disease in 200 lines of C(0x0f0f0f.github.io)
5 points by 0x0f0f0f 7y ago|1 comments
7.
The Cube: A Short Story Co-Generated by AI(0x0f0f0f.github.io)
4 points by 0x0f0f0f 7y ago|0 comments
8.
by 0x0f0f0f 7y ago
I can only guess that one has a more verbal or visual imagination depending on his/her development, and it would be interesting if we knew more about the genomic factors taking place in the development of the stream of consciousness. D
9.
by 0x0f0f0f 7y ago
I've read that post. It's still a mistery to me the fact that there are people without internal monologues that can speak without any sort of problem. Chomsky and Berwick hinted that recursive language may have evolved as "an
10.
On Mind, Language and Machines(0x0f0f0f.github.io)
115 points by 0x0f0f0f 7y ago|23 comments
11.
Show HN: Minicaml, didactical caml-like language to help understand interpreters(0x0f0f0f.github.io)
4 points by 0x0f0f0f 7y ago|0 comments
12.
Visualizing 11 years of contributions to Void Linux in 7 minutes(0x0f0f0f.github.io)
1 points by 0x0f0f0f 7y ago|0 comments
13.
Fast Markov chains in ~20 lines of sh, grep, cut and Awk(0x0f0f0f.github.io)
369 points by 0x0f0f0f 7y ago|39 comments
14.
Learn Functional Programming by Writing a Scheme in Haskell(0x0f0f0f.github.io)
14 points by 0x0f0f0f 7y ago|0 comments
15.
Building a Raspberry Pi full keyboard handheld, part 2(0x0f0f0f.github.io)
9 points by 0x0f0f0f 7y ago|0 comments
16.
by 0x0f0f0f 7y ago
The keyboard is working fine and since it's powered by a Teensy 3.2/LC it can be plugged into any USB host, I'm still waiting to get the keys printed in order to put the working build in the case. The CardKB project is also i
17.
Building a Raspberry Pi 3B+ full keyboard handheld(0x0f0f0f.github.io)
303 points by 0x0f0f0f 7y ago|86 comments