Viewing profile — stlee42

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 explana…

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/prod…

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 …

click the link that says "Support site" https://github.com/mozilla/firefox-translations

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

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 pro…

Here is the list of languages: Afrikaans Albanian Amharic Arabic Armenian Asturian Azerbaijani Bashkir Basque Belarusian Bengali Bosnian Breton Bulgarian Burmese Catalan Cebuano Ch…

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 l…