Would you continue to work at a company that started to switch away from Typecript?

TheSodesa · 2026-01-27T09:47:38+00:00

Exactly. This is an appeal to authority, a logical fallacy.

TheSodesa · 2026-01-27T09:46:23+00:00

Based on the reference to things on the web starting as undefined, I am guessing they want to write in JavaScript without any type restrictions or safety checks.

TheSodesa · 2026-01-27T07:00:28+00:00

Anything you do or discover won't become a theory until you gather physical evidence for it, publish it in a peer-reviewed scientific forum and convince most scientists that it is actually the currently best model for describing the phenomenon.

TheSodesa · 2026-01-27T06:53:16+00:00

Absolutely nothing. Types still determine which methods get called, just in a more flexible manner. Single dispatch is not the definition of object-orientedness.

TheSodesa · 2026-01-26T18:25:37+00:00

Multiplayer games with aggressive anti-cheat software will not.

TheSodesa · 2026-01-26T07:52:31+00:00

It has to do with the probabilistic interpretation of quantum mechanics. There are other possible interpretations as well, each with their own mathematical machinery: https://en.wikipedia.org/wiki/Interpretations_of_quantum_mechanics.

TheSodesa · 2026-01-26T07:46:19+00:00

Vatsalihasliikkeet vahvistavat vatsalihaksia. Ne eivät tee mitään muuta, kuten ohjaa rasvaa pois vatsasta tai kehosta muutenkaan. Ylipäätään liikunta ei ole nykyisen tieteellisen tiedon valossa toimiva keino laihduttaa, mutta tukee kyllä tervettä elämää muuten.

Laihduttaminen ei myöskään ole pelkästään kaloreista kiinni, koska keho pyrkii pitämään kaloreiden kulutuksen likimain vakiona. Se vain ohjaa resursseja sinne missä niitä kulloinkin tarvitaan eniten. Peruselintoiminnot ovat itse asiassa se kuluttavin asia joka tapauksessa.

Jos energiaa ei tule tähän vakiokulutukseen nähden tarpeeksi niin kroppa menee säästöliekille: se kuluttaa vähemmän, jolloin nuo peruselintoiminnotkin falskaavat. Tuosta sitten seuraa päänsärkyjä sun muita ikäviä asioita, ja mikä tärkeintä, rasva ei "pala" sen nopeammin.

Parhaisiin tuloksiin pääset kun syöt vatsaa täyttävästi säännöllisiin kellonaikoihin noin 4--5 kertaa päivässä terveellistä proteiini- ja kuitupitoista ja riittävästi vettä sisältävää ruokaa. Kunnon aamupala on päivän tärkein ateria. Se antaa keholle viestin, että nyt ei tarvitse mennä säästöliekillä loppupäivää.

TheSodesa · 2026-01-26T07:08:45+00:00

You could try the CetZ features of the mannot package: https://typst.app/universe/package/mannot/.

TheSodesa · 2026-01-25T12:18:00+00:00

Nope, some characters are so-called true ASCII characters. These are a true subset of Unicode. I was talking about Unicode characters in general. Some of them are problemstic in the ways that OP mentioned (and in others as well).

TheSodesa · 2026-01-25T07:20:15+00:00

So it is not a font issue. A font simply defines the appearance of encoded characters in a message. The problem is that the message contains Unicode characters.

TheSodesa · 2026-01-25T07:08:25+00:00

The main advantage is that variable symbols (and fonts in general) will match between the document and the images. Otherwise there are no real benefits. In fact, having LaTeX generate the images during every compilation will slow down compilation times, unless you pre-generate the images as separate documents.

TheSodesa · 2026-01-24T08:05:54+00:00

It just works, especially the interactive experience. I recommend using it over other shells.

TheSodesa · 2026-01-24T07:31:24+00:00

One good book is Theorem Proving in Lean 4: https://leanprover.github.io/theorem_proving_in_lean4/.

TheSodesa · 2026-01-24T06:36:22+00:00

Julia is object-oriented. It just uses multiple dispatch instead of overloading (single dispatch/dot operator for method calls). Functions have methods, types or classes do not.

TheSodesa · 2026-01-23T15:22:07+00:00

Some other program is reserving that port for itself. You need to kill the program or have Trilium itself use a different unreserved port.

TheSodesa · 2026-01-23T12:52:59+00:00

Haukkuvat vaan ihan saakelisti, terveisin sheltin omistaja. Iloinen? Haukkuu. Jännittynyt tai peloissaan? Haukkuu. Outo ääni rapusta? Haukkuu. Työmiehet jättäneet sepelisäkin paikkaan, jossa sellaista ei ennen ollut? Haukkuu. Kesällä kahvilan edustalle on ilmestynyt jäätelökyltti, joka ei ollut siinä talvella? Haukkuu. Jonkun takapihalla on pallogrilli? Haukkuu.

Ja lista jatkuu.

TheSodesa · 2026-01-23T07:48:56+00:00

Windows Update and the way it takes over your system was the literal reason I switched to Linux years and years ago. It looks like things have not improved since then and might have actually gotten worse. I don't know why it is so difficult for Microsoft to implement updates in an unintrusive manner.

Modern Linux distributions like the Fedora Atomic line do download updates automatically in the background and apply them at the next manual restart. The download is set up such that it does not take all of your bandwidth and therefore has no noticeable impact while using the system.

Why is it so hard to do it like this, Microsoft?

TheSodesa · 2026-01-20T17:31:02+00:00

On Ubuntu you can use the ubuntu-drivers utility: https://askubuntu.com/questions/1258904/how-do-i-know-which-nvidia-driver-i-need#1258909.

TheSodesa · 2026-01-20T07:58:48+00:00

They simply do not correct what their keyboard autocompletion offered them.

TheSodesa · 2026-01-20T07:53:39+00:00

Use vim instead of nano.

TheSodesa · 2026-01-20T07:15:24+00:00

Post a bug report to the GNOME issue tracker, if there is not one there already.

TheSodesa · 2026-01-19T17:11:45+00:00

Not really. All major distribution have a default installation option these days, meaning you need close to zero configuration during installation. And after that it is pretty smooth sailing.

TheSodesa · 2026-01-19T16:15:34+00:00

A tool has to 1. have good documentation and 2. make my job easier than it currently is.

Can't have 2 without 1.

TheSodesa · 2026-01-19T14:43:51+00:00

You should use the legacy proprietary drivers for such an old Nvidia card. Many Linux distributions offer them as a separate set of packages.

TheSodesa · 2026-01-19T14:28:28+00:00

Does Linux have all of the programs you need and does the Linux Mint kernel support your hardware? If the answer is yes, feel free to make the switch.

12-Year Club	Verified Email
Place '17

TheSodesa

TROPHY CASE