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 explanation confused me too:

  Each individual iteration: around 4x slower (register spilling)
  Cache pressure: around 2-3x additional penalty (instructions do not fit in L1/L2 cache)
  Combined over a billion iterations: 158,000x total slowdown

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 they use decimal floating point. Since free42 is licensed under gpl3, they have released the source.

https://github.com/swissmicros/DM42PGM/tree/master/lib

https://github.com/swissmicros/free42/tree/master/inteldecim...

They use Intel's library for decimal floating point: https://software.intel.com/en-us/articles/intel-decimal-floa...

It's still not the real HP-42S with its quirks, but it's nice to have decimal floating point operations.

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://news.ycombinator.com/item?id=31604095

1: https://github.com/mozilla/firefox-translations/blob/main/ex...

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 proven or not.

So all true statements in pure mathematics that we know are a posteriori true, since before we had the experience of proving it, we could not know if it's a statement that could be proven or disproven.

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 Estonian Finnish French Fulah Galician Ganda Georgian German Greek Gujarati Haitian Hausa Hebrew Hindi Hungarian Icelandic Igbo Ilokano Indonesian Irish Italian Japanese Javanese Kannada Kazakh Khmer Korean Lao Latvian Lingala Lithuanian Luxembourgish Macedonian Malagasy Malay Malayalam Marathi Mongolian Nepali Northern Sotho Norwegian (Bokmål) Occitan Oriya Oromo Pashto Persian Polish Portuguese Romanian Russian Scottish Gaelic Serbian Sindhi Sinhalese Slovak Slovenian Somali Spanish Sundanese Swahili Swati Swedish Tagalog Tamil Thai Tswana Turkish Ukrainian Urdu Uzbek Vietnamese Welsh West Frisian Wolof Xhosa Yiddish Yoruba Zulu

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 organized Jewish community in engineering the destruction of European peoples, and because the United States is the citadel of Jewish power in the world today, the North American New Right must deal straightforwardly with the Jewish Question."

Holy shit.

also, https://thegoldenone.se/2015/04/20/why-hitler-is-so-popular-...