I’ll try to fill mine in today. It wouldn’t have been any easier to do it earlier, and it’s preferable to do it on election day or close to it, so you have all the information available. The main contested elections in my district are local ones, and stuff is always happening.
I’m an antifan of Apple but the M4 Max is supposed to be faster than any x86 desktop CPU, and use a lot less power. That’s per geekbench 6. I’d be interested in seeing other measurements.
Those used to be called coffee shops, though now they are likely virus spreaders.
This is about installing on a Nexus 5 which is from 2013. Sounds painful.
RIP. I had no idea he was that old.
ELIZA? Or maybe just a rubber duck as used by programmers.
I’m not anxious about the election. I’m anxoius about what happens in the 4 years after it. Keeping me calm til November 6 is near useless.
NK already has missile tech, just not clear whether it has real intercontinental range. The US and Russia did that in the 1950s though.
nuke delivery stuff
That’s what space tech means, I thought.
I just meant the amount of computation required of a gps receiver isn’t huge by today’s standards. Remember that gps was designed in the 1970s for use with the technology of that era. Today’s stuff is 1000s of times faster.
GPS decoding is less computationally difficult than you seem to think, and in any case, in phones it’s done by a hardware module. The Garmin Geko handheld GPS was made in 2003 and ran on two AAA cells for 12 hours or something like that. Today’s GPS’s fit inside wristwatches and use even less power. It’s just not that big a deal. The cpu load of mapping applications on phones is dealing with the maps, computing driving directions, etc.
I wouldn’t worry about map updates by internet. The roads don’t change that often. You can update from a USB-connected computer once a year or so and be fine.
The other stuff doesn’t sound too bad, though idk why you want a phone for the purpose. If the GPS is for road navigation you can get an old dedicated unit that runs on 12 volts do you don’t have to mess with batteries. Those were nicer than phones in some ways. I still have a couple of them kicking around.
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?
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.
Well, a good scandal might have come along to take out a few of the candidates, though that didn’t happen afaik. Other than that, I mean, what is the hurry? I don’t follow politics all that closely anyway, but there are a few local organizations that I like, so I figure on mostly going by their endorsements. It usually takes me about an hour to fill in the ballot.