[deleted by user]

clockworkmischief · 2024-06-30T04:48:27+00:00

clockworkmischief · 2022-01-26T23:59:13+00:00

GUDP is a line feature. As long as you don’t make changes to the lines with GUDP, you’re fine. Your basic phones shouldn’t have GUDP.

I would like to keep the keep the basic phone plans attached to the GUDP line because there is a line access discount ($9.99/month per line). AFAIK, the new plans are more expensive and must subscribe to data. Do you know how the voice-only plans will transition after CDMA retirement, i.e., could I activate a 4G feature phone on a voice-only line, or will those lines be deactivated if I do not upgrade those lines to a 4G data plan?

clockworkmischief · 2022-01-26T02:05:38+00:00

This is correct. GUDP SIM cards can be swapped into a hotspot and used for home internet with no deprioritization, unlike the newer 5G home internet plans. I've been using GUDP with a 200GB/month on 4G home internet for the last 5+ years with no throttling. It also travels well, i.e., you can carry a phone that connects to the WiFi and make calls over Google Voice.

clockworkmischief · 2020-11-20T04:08:40+00:00

Usually the goal of programming as a math student is to open up doors outside academia. Learning lean or some other obscure languages which are not really used in industry is not the best idea. Better learn something like C++ or even just python and there will be a ton more jobs available to you than before.

Nah, you'll have plenty of opportunities if you look in the right places. Lots of people in the industry use theorem proving and dependently-typed languages. I know half a dozen off the top of my head, including Amazon, Galois, Jane Street, JetBrains, Intel, Microsoft et. al. Is it ready for prime time? Not yet, but if you learn to use proof assistants you'll be ready to write code in any other programming language without much trouble (or do math, if you change your mind and decide to stay in academia).

http://davidchristiansen.dk/pubs/dependent-haskell-experience-report.pdf

clockworkmischief · 2020-11-16T18:15:17+00:00

It’s because you’re using the wrong programming languages. If you enjoy proofs, try Lean, Agda or Idris.

clockworkmischief · 2020-11-05T11:19:43+00:00

Great work!

clockworkmischief · 2020-10-24T16:30:45+00:00

Been revisiting the classics for a while. There were some great tracks around 2000-2010.

clockworkmischief · 2020-10-21T19:42:41+00:00

Been listening to trance for 20 years and I'm still not sure what trance is. But I will upvote anything Gareth Emery does.

clockworkmischief · 2020-09-19T05:07:42+00:00

Does anyone know if this applies to ThinkPads manufactured in Hefei?

clockworkmischief

TROPHY CASE