stlee42

7 ms·

1.
by stlee42 7mo ago
Exactly this. Linker is threading given blocks together with fixups for position-independent code - this can be called rule application. Assembler is pattern matching. This explanation confused me too: Each individual iteration: around
2.
by stlee42 3y ago
There is a fork with that available. as posted below: For anyone that wants a physical version, SwissMicros makes a calculator based off of Free42: https://www.swissmicros.com/product/dm42 That website mentions that th
3.
by stlee42 4y ago
previous discussion here: https://news.ycombinator.com/item?id=31596888 as noted in [0], the models are hosted on storage.googleapis.com and downloaded on demand. this still seems to be the case [1] 0: https://ne
4.
by stlee42 4y ago
click the link that says "Support site" https://github.com/mozilla/firefox-translations
5.
by stlee42 4y ago
it doesn't fit in 3MB. you can see the model sizes here: https://gist.github.com/jelmervdl/1a48816e4c3643ff5d9e1fd682... they are like 15MB per language pair each way
6.
by stlee42 6y ago
According to Gödel, it's probable that there are true mathematical formulas that cannot be proven. So from our point of view, we cannot know given a statement whether it can be proven or not. So all true statements in pure mathematics
7.
by stlee42 6y ago
Here is the list of languages: Afrikaans Albanian Amharic Arabic Armenian Asturian Azerbaijani Bashkir Basque Belarusian Bengali Bosnian Breton Bulgarian Burmese Catalan Cebuano Chinese Croatian Czech Danish Dutch Eastern Punjabi English Es
8.
by stlee42 8y ago
natmaka, are you aware that those websites preach racism? linked from 'about' page: https://www.counter-currents.com/2012/05/new-right-vs-old-ri... quote: "Second, because of the leading role of the