It seems like a pain in the neck because of the difficulty of writing code for Android, especially older versions, since the API's keep changing and the older SDK's might be hard to find and use (I haven't tried). It helps if you can root the phone, but that isn't always easy either. Plus, a phone-sized PC display doesn't sound that useful. For a wall or desk display, you might be better off with an Inkplate (e-reader with reflective e-paper display) or similar.
The Wikipedia article discusses some applications. One amazing thing I remembered about the algorithm is its running time, which is infinitesimally slower than linear, by which I mean that the growth factor above linear is the inverse Ackermann function! I've never studied the analysis but I found the result to be mind boggling.
SPJ left Microsoft a couple of years ago but I don't remember what he is doing now. Does he still develop GHC?
I wonder what he thinks of:
-
The idea of using AI for automatic code synthesis in dependently typed languages. The idea is that if the (human-written) types are precise enough and the code is effect-free, you avoid the hallucinations and other issues with current LLM-generated slop/code. Of course being able to generate code with an arbitrary type amounts fo AGI-level automated reasoning, but it's ok to accept limitations on how powerful it can be.
-
Whether Haskell itself still excites him and if not, what does. Does he like Idris? Maybe Lean? And on the low level effectful side, what about Rust? What does he think are the current exciting ideas in PLT (programming language theory), and for that matter in general?
-
Is he familiar with Ben Lippmeier's dissertation about Discus, formerly called the Disciplined Disciple Compiler (DDC)? It had a very interesting critique[1] of Haskell in its first chapter, that motivated the DDC language design, that used effect types to track memory mutation. The language never caught on and might not have really been usable, but the motivation for it seemed mostly valid to me. So I wondered if Haskell has any answers to that section of the thesis.
[1] https://benl.ouroborus.net/papers/2010-impure/lippmeier-impure-world.pdf start at page 17.
I may think of some other things to add.
You could try Organic Maps as an alternative to OsmAnd though it's not so great either.
The other demand that makes BIFL phones and even laptops difficult is web browsing, because of the mutually recursive escalation of web sites' and browsers' appetites for machine resources. A 2005 laptop that tops out at 512mb of ram simply can't run browsers needed to use the modern web. I'm still using a Thinkpad X220 from 2011 with 4gb of ram, but I have older ones that are no longer viable because of memory and CPU limitations.
Added: video codecs (if you want to watch youtube) are another area where old cpu's can't keep up, and the reasons for that are somewhat more valid than web bloat. The new codecs really do have better video quality at a given bit rate, in exchange for the increased cpu cycles.
It sounded to me like people have become more distrustful towards news media. Seems understandable.
Does gnu bc have outstanding bug reports? If not, it doesn't need updates. Its spec was frozen 30 years ago, more or less. Rather than unmaintained, I'd call it maintenance-free. BIFL software as it were. Sounds great to me.
Seems like a whine, bc is an interactive tool and it's unusual to use it for anything where its response isn't instant.
GNU bc is one of the oldest GNU tools and it uses an MP library that RMS banged out in an afternoon or two, I think. It could probably be adapted to use GMP which is very high performance.
Preferring GPL to other licenses seems fine with me, unless I want to work for Amazon without getting paid.
I don't understand that chart really, but charging speed is carefully controlled in the phone, based on monitoring the battery temperature among other things. They won't charge from 0% to 80% at 100 watts even if they might hit 100W momentarily under the right conditions. Fast charging is hard on batteries anyway. Make sure you are ok with replacing the battery every so often, if you're going to fast charge regularly.
Ah thanks, I had thought it was the same frequency but different protocol. Good to know. I do see phones starting to have satellite capabilities now, though at first just for texts.
Idk what the deployment issues are for 5g vs 4g, but I get the impression that at least here in the US, most new installs are 5g which means that 4g coverage will gradually worsen, then maybe go away. Same with 5g but not as soon, I'd guess.
It doesn't and can't exist, because the networks keep changing. You could have a 2005 phone that still is perfectly solid, but it's a 2g phone and the networks now are all 4g and 5g. Also, the idea of a smartphone is to use internet services or at least web pages, and those invariably want you to use recently made phone hardware to deal with bloat. If you can get 5 years from a phone you're doing ok.
Browsing on a phone or with Debian works ok for me with Firefox, though I don't like Firefox that much.
I found Organic Maps preferable to OsmAnd but neither are that great. It should be possible to do something reasonable without a lot of CPU demands, given how dedicated GPS map navigation devices existed ih the early 2000s.
Yes if you ditch Youtube and anything else that requires modern codecs, that solves another issue. I've found Newpipe has broken a few times but it usually works, so that is what I use.
Modern apps and games (requiring GPU even) are another story, but let's assume you don't want to run them.
This leaves the question: if you want a BIFL smart phone but you don't want to make phone calls with it, don't want to run a web browser, and don't want to watch videos on it, what DO you want it to do?