There's also McFly which I slightly prefer, just because the interface looks a bit nicer. Although it does have an annoying missing feature - you can't scroll through the history.
Why would I hate systemd? It has fixed many of the problems with desktop Linux that many people refused to even admit were problems. This looks like it throws all that away.
Well... Not from Framework. I looked one up and it was £700 for the main board or £1300 for the whole laptop. Or I could get a laptop with the exact same CPU (Ryzen AI 7 350) from Asus for £800. I mean, sure it's probably not as good a laptop. But even so... If your laptop breaks are you going to spend £700 on a new main board that might fix it, or £800 on a new laptop that definitely works.
It definitely doesn't make sense for upgrading - you can just sell the old laptop and buy a new one if you want to upgrade.
Tbh I hope they succeed still, but it's really hard to compete with the sheer pricing power of less modular products.
Except for the small form factor I bought a second hand PC with those specs for £300. I think the only reasons to buy it are you really want small form factor, or you want to play with local AI and don't want to use a Mac (which is still better value for money on that front).
Not to downplay the small form factor - I do think that is cool. Just... Not £1k cool.
Kernel code isn't fundamentally different. Even designing hardware is still basically just coding, despite what hardware designers claim. (They think it's fundamentally different because many things happen in parallel in a single cycle.)
the Guardian and Israel’s +972 Magazine revealed Israel’s military surveillance agency, Unit 8200, was making use of Azure to store countless recordings of mobile phone calls made by Palestinians living in the West Bank and Gaza.
I mean... I don't think denying Israel access to Azure is going to have much effect on the genocide. It's not like they don't have plenty of alternatives.
This goes against what we know about good design. Where possible you shouldn't need to use a manual. Telling people to always read the manual is a cop out.
Also he apparently read his furnace's manual and months/years later remembered what a flashing light meant, despite never having had to refer to it again? Either this guy has freakishly good memory (possible but unlikely) or he's bullshitting. Given the overall tone I'd go with the latter.
And what is even the advantage of knowing in advance? Does he think people would not read the manual after seeing a flashing error light? You can look up most issues when they happen you don't have to memorise error codes in advance.
Since you said you're not very technical I think you're going to have a bad time with Linux. I would instead do this:
Go to one of those slightly sketchy cdkey sites and buy a "genuine" key for "Windows 11 IoT LTSC" for a few dollars. Don't worry about the sketchiness. The keys work, and keys themselves don't carry any risks. Microsoft does not care about this.
Install it using Rufus. When you use Rufus it has a few options to fix annoyances in Windows - use those. I think they're enabled by default.
This fixes 99% of the issues with Windows 11. No ads, no bloatware. Much more reliable than Linux and you won't spend your life debugging things.
I'm obviously going to get downvoted to hell because of where we, and I'll switch to Linux if they ever take this option away, but for now it works very well and avoids the pains of Windows ads and Linux bugs.
This is an unbelievably good explanation of some very difficult concepts. I think the Lean documentation should start with an enormous link to this post.
Highly recommended to anyone interested in Lean who isn't already an expert.
Still way more annoying than Github. Still, they apparently are moving from an existing mailing list / git send-email "solution", so it is at least a huge step in the right direction.
If they're philosophically against Github I don't know why they didn't just move to Codeberg though. Maybe that's too modern for people who have only just moved on from mailing lists.
I don't feel like it's the same - autotune can make me more in tune than I could ever achieve. Current LLMs definitely can't write better code than me, they can just do it faster.
It makes sense (RVA23 is probably the first profile that is actually competitive for desktop use), but also is there a single real RVA23 chip available yet? Might be a little premature...
Seems like they allow
()code blocks too, so it's kind of the worst of both worlds...