bagsvaerd70

It definitely does, a very nice area overall!

If you don't find any official degree online you can always stick to a bootcamp course that is similar to Harvard Math 55. It has had several forms. The most interesting ones being either Halmos + Rudin (plus many aids such as Gelbaum & Olmsted) or just Hubbard & Hubbard. Either way you will get a very solid introduction to mathematics that covers algebra and analysis, in a really rigorous way.

However, being a computer scientist I think a different approach to mathematics can be more enjoyable and also much more useful for many theoretical and practical developments that are yet to come. The downside is that materials are a lot less cohesive (any other references appreciated!). I'm talking about an approach with a focus on the foundations of mathematics, emphasizing logic, category theory and type theory.

Some links:

http://www.paultaylor.eu/~pt/prafm/

https://ncatlab.org/nlab/show/computational+trinitarianism

https://softwarefoundations.cis.upenn.edu/

http://adam.chlipala.net/frap/

http://concrete-semantics.org/

PKVitality has a sensor array that is pretty much non-invasive: https://www.pkvitality.com/ktrack-glucose/

There's also an alternative using radiofrequency: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4641327/

Sure. This recent Nature Reviews Genetics paper should describe the basic associations between DNA methylation and glucose levels, as well as point you towards more specific literature:

http://173.239.45.5/~joshmitt/data-beta/Horvath-NatureRev201...

Bagsvaerd is great. I was living in the Lyngby-Naerum-Birkeroed-Farum area for many years, working in formal methods. I hope to be back soon! Are you still in the area?

I'm not a big Apple fan. I've bought some of their laptops after the transition to Intel, but slowly switched away when macOS became less of a priority.

That said, I think Apple is sitting on top of another blockbuster, similar to the iPhone in terms of impact, if they know how to play it well. I'm referring to the Apple Watch equipped with a non-invasive glucose sensor.

I realize that they have a bit of a regulatory battle to fight before releasing it. But the potential is immense. It will change how people eat, not just diabetics. It's pretty well established science now that if we reduce the area under the glucose curve (read minimize glucose spikes), we will age more slowly and we will reduce metabolic disease enormously.

If you are willing to take total control of your mobile environment, Android can give you very good privacy. Arguably better than Apple.

Simply buy a Pixel (or any other device that supports AOSP). Build your own AOSP image (which is quite easy). And you are ready to go. Use applications from F-Droid only.

Admittedly it's not as straightforward as running your favorite Linux distro, and there are some caveats, but it's quite close.

Why don't you try a good MSc program, perhaps in Europe where you can find great places with free tuition?

Thanks. Care to share a uMatrix setup that reports a non-unique fingerprint on https://panopticlick.eff.org ?

Do you have a recommended setup to tackle fingerprinting?

I'm using a VPN + ublock origin + https everywhere + temporary containers + don't track me google + chameleon + canvas blocker + custom user.js (that disables e.g. webgl).

It's pretty good to address many tracking methods (e.g. cookies, IP) but fingerprinting is remarkably hard to prevent.

I love working remotely from a home office in some sunny spots of the Mediterranean. If you choose well, you can find cheap places with great weather all year round, quality food and very good services (including healthcare).

For me nothing beats a quiet home office as I need to do really deep work in probability & logic.

To Org and Magit, I would also add Notmuch as the third killer app for Emacs. A super mail user agent.

Its search engine extraordinarily quick and powerful. Besides, the whole architecture Notmuch has is incredibly elegant.

I like to rsync into a BTRFS volume, and then take a snapshot.

It's simple, fine-grained (you can use .rsyncignore files like .gitignore files) and versioned.

I've heard from my doctor and from other patients about cases where some steroids helped or even resolved tinnitus completely. I'm currently investigating this option.

In my case, years before my tinnitus onset, I started having a lot of discomfort on my right ear (my tinnitus is mostly one-sided, just like my floaters).

Firstly, my right ear started getting clogged with wax really frequently. Then, I developed extreme sensitivity to cold. So, cold air would give me acute ear pain.

Immediately before and after my tinnitus onset I had mild vertigo quite frequently.

Ever since I developed tinnitus, my ear feels full and clogged.

I suffer from pretty strong tinnitus.

I have also had episodes of extreme eye dryness. Furthermore, I got floaters whose onset matches my tinnitus onset. Additionally I have very mild sporadic joint pain. I'm HLA-B27+.

Altogether, this is quite obvious evidence for autoimmune arthritis or some related autoimmunity. I know this because I do autoimmune genetics research in a top lab. I've gone to a few doctors and they never even suggested the possibility of me suffering from autoimmune disease, which is scary.

I'm in the process of being diagnosed only because I explicitly decided to go to a rheumatologist myself. The rheumatologist facepalmed when he heard the whole story.

I suspect a significant proportion of tinnitus phenotypes are mild autoimmune ones.

> I would LOVE an app that captures handwritten notes in outline form

Some form of org-mode notation plus handwritten notes would be a killer app.

What mouse?

Habits. Actually Habits >>> Discipline >>> Motivation.

Developing good habits means I can use the small amount of willpower everyone has per day on making some improvements or working on extra-hard tasks while still doing many additional things that take little effort since they are habits already.

I run continuous improvement tasks every now and then, and I have designed some key habits to live a fulfilling life, which I'm evolving slowly.

I use a simple task management system that looks like a kanban board, plus an inbox and a calendar. The key here is to control flow and keep it easy to maintain.

People have said it here already, but I will repeat it again. Systems (actually habits!), not goals, are the solution.

You need to derive pleasure from sticking to a habit and making continuous improvements. Arbitrary and concrete goals might be hard to achieve. But if you stick to habits, good things will happen™. Good things that are hard to plan. E.g. you will not get the girl you want, but you will get another great girl, possibly a better one!

Sticking to goals brings very short-lived pleasure, whereas habit rewards are continuous and long-lasting.

To form habits, try https://www.tinyhabits.com/. In a nutshell, this is a continuous improvement framework for habits.

I have helped people upgrade 16.04, and we have encountered some bugs.

I used to run Ubuntu, but I see less and less reasons to do so these days. It's too complex and brittle. I can't understand it, and many of its components either deviate significantly from upstream due to excessive patching or they are non-standard things.

If I want to run a simple imperative distribution, where everything is understandable and packages follow upstream, I run Arch. I used to run Slackware, but the number of dependencies has grown exponentially. So dependency resolution is needed, and Arch follows Slackware ethos very closely. With the introduction of systemd, it provides vanilla packages and almost nothing else. It's literally what you get when you turn Linux from Scratch into a binary distribution.

For most things, I'm going a step further, and I run a functional distribution. NixOS is great, and GuixSD shows some promise. Functional-ness brings a lot of peace of mind. I love having declarative and reproducible setups.

Interestingly, the only two distributions where I have had zero problems setting up Keras and PyTorch are both Arch and NixOS.

Choose your way. Either imperative and very simple (Arch, Void) or functional (NixOS, GuixSD). I think there are a lot less advantages running regular distros (Ubuntu, Fedora).

It's a simple and extremely powerful language.

Very few pieces of software combine simplicity and power. I'm very excited.

It'd be great if Julia devs could help deploying Julia Pkgs on Nix, now that Julia is getting ready for prime time and Nix is steadily gaining more and more users: https://github.com/NixOS/nixpkgs/issues/20649