TwoFx

6 ms·

1.
by TwoFx 8mo ago
Maybe I'm just missing the joke, but it feels worth pointing out that almost all of the logos on that page are clearly inspired by the ensō circle from Zen art.
2.
by TwoFx 9mo ago
I highly recommend watching the relevant section of that video (4:38 to 8:59) and then implementing it yourself in whatever system you know that can draw lines and circles (I did it in Godot; it took only a few minutes to learn enough Godot
3.
My first verified imperative program(markushimmel.de)
181 points by TwoFx 1y ago|93 comments
4.
by TwoFx 4y ago
Access has been somewhat reluctant to make BeOS-related material available in the past. For example, they did provide access to the BeOS API documentation (called the Be Book) to the Haiku project, but only under a restrictive no-derivative
5.
by TwoFx 4y ago
Adding the thing that complains is a one-time cost. It may work on Firefox now, but making sure that it continues working on Firefox is a continuous resource investment.
6.
by TwoFx 9y ago
This is part of a very nice larger article by the same author on visualizing algorithms [0]. It covers sampling, shuffling, sorting, and maze generation. [0]: https://bost.ocks.org/mike/algorithms/
7.
by TwoFx 9y ago
From the paper: "To investigate the noisiness of using Reddit as a source of self-annotated sarcasm we estimate the proportion of false positives and false negatives induced by our filtering. This is done by having three human evaluato
8.
Sophie Germain Prime Search found World Record twin primes [pdf](primegrid.com)
90 points by TwoFx 10y ago|9 comments
9.
by TwoFx 10y ago
10/4 is the day of the announcement
10.
by TwoFx 10y ago
This has also been discussed on the podcast 'This Week in Google' by digital nomad Mike Elgan: https://twit.tv/shows/this-week-in-google/episodes/349?autos...
11.
by TwoFx 10y ago
Do you happen to have a link to the code in FAKE that implements this for .NET?
12.
by TwoFx 10y ago
The CoreCLR version of the .NET Garbage Collector can be found at https://github.com/dotnet/coreclr/tree/master/src/gc
13.
by TwoFx 11y ago
Randall Munroe of xkcd had a (humorous) look at when the number of dead people on Facebook surpasses the number of living people a few years ago: https://what-if.xkcd.com/69/
14.
by TwoFx 11y ago
Proof assistants are in some ways very similar to what you described. Coq [1] is a popular example. It helps control complexity of larger proofs and verifies that everything that is derived is correct. [1] https://coq.inria.fr&#x
15.
by TwoFx 11y ago
Looks like it's MIT-licensed: https://github.com/HunterLarco/voxel.css/blob/master/package...
16.
by TwoFx 11y ago
There is none. https://twitter.com/jakevdp/status/644863206339379201
17.
by TwoFx 12y ago
Check out Funciton ( http://esolangs.org/wiki/Funciton ) - an esoteric programming language that is based on a similar idea.