Great fleas have little fleas upon their backs to bite 'em,
And little fleas have lesser fleas, and so ad infinitum.
And the great fleas themselves, in turn, have greater fleas to go on;
While these again have greater still, and greater still, and so on.
The Vermin only teaze and pinch
Their Foes superior by an Inch.
So, Nat'ralists observe, a Flea
Hath smaller Fleas that on him prey,
And these have smaller yet to bite 'em,
And so proceed ad infinitum:
Thus ev'ry [Poster], in his Kind
Is bit by him that comes behind.
Chris fix is an awesome channel for working on your car. He covers everything from fluid changes to transmission replacements. Great production quality and extremely engaging.
I think this is all totally fair. You are getting less laptop for the same price.
I will put a couple of nits here:
> * No dedicated GPU options, period.
It supports thunderbolt, so you can have an eGPU! That said, while eGPUs are pretty cool, they're expensive an inefficient.
> * Form factor is quite a bit more bulky than its competitors, even considering the fact parts are removable.
I would revise "quite a bit" down to "slightly." The Dell XPS is 15.28 mm thick. The Framework is 15.85mm thick. That's 0.57mm. It is on-par with the slimmer ultrabooks out there. I'm totally happy with the form factor.
* The magnetic bezel works great and I've had no problems with it at all. It's completely secure and you pretty much need to lever it off with your fingernail if you want to change it for a different color, or clean around the edge of your screen. The lid spring is slightly wobbly as others have reported, but not too bad.
* It does have thunderbolt and it works great. I've use mine with a Razer core x for gaming without issue. It also works with my Kensington dock.
Thanks for the clarification! It's good to know that it does support thunderbolt, that does assuage some of my concerns regarding the expansion cards, though it does still make me question why you have something like a single usb type a slot as one of the options.
Do you mean that you'd think it should be a two port type-A module? The modules are just really really small. You might be able to fit two A ports on one but it'd be very tight. Especially since the sides need to be a bit thicker to accommodate the mechanical groove.
It'd be much more possible to physically fit a 2 port usbc module, but of course that comes with all sorts of annoying caveats and/or expensive hardware because properly port multiplying usbc (let alone thunderbolt) seems to be quite difficult.
Yeah, it just seems like a peculiar choice to turn a thunderbolt 4 port into a single type a port. I get that it's modular so you can just swap it out whenever you like, but then again, you can also just carry a dongle with you that has a whole plethora of ports. The expansion card options that exist right now don't really seem to fully utilize it (though I really like the full sized displayport expansion card).
There's certainly a lot of potential for more interesting expansion cards like an hdmi capture card, 10gb ethernet, or perhaps even some older serial ports or vga for compatibility with older equipment. I just hope that they survive to see some more iterations.
> I get that it's modular so you can just swap it out whenever you like, but then again, you can also just carry a dongle with you that has a whole plethora of ports.
I think you're missing a middle ground here, and that's that most people don't really want to carry around a dongle or swap things around all the time. The ability to swap the modules around is more about being able to choose a setup for your own needs that you keep in like 90% of the time, but still have the flexibility to change that over time or for short periods as needed.
Like, I absolutely want a usbc port on either side so I can plug power in either way, and then I also want an hdmi port and a usba port every now and then, so that's my standard setup. I don't really change them out much (in fact, I'm much more likely to rearrange them for the sake of convenience, like swapping the hdmi port and the usb port because that's where the cable I need is).
But that's a unique setup to me, and while I'm sure there are laptops that have a setup roughly like this the last thing I want to be constrained by when buying a laptop is stupid questions about where and how many ports there are.
Meanwhile there are people who just WILL NOT EVER buy a laptop without an sd card reader and that's just a waste of space for me. We both get what we want.
I would probably buy an ethernet port though, and I might swap that back and forth with hdmi depending on what I'm doing that week. That said, narrow profile ethernet is such a mechanical pain in the ass I do not blame anyone for not trying to make it.
I think maybe they could make a model with 6 bays instead of 4, but I assume for this version they were constrained by the thunderbolt controller in the intel chipset they're using.
Signal stores messages on their servers until they're delivered at which point they're purged.
Additionally, Signal's encryption scheme gives their messages the "forward secrecy" property which means that acquiring key material at some point in the future does not allow you to decrypt any previous messages. Any encrypted messages that they could provide would be useless.
For more, check out their really interesting doc on the double ratchet algorithm that they use!:
I think that this is correct and a consequence of Gödel's incompleteness theorems, although my knowledge about this is quite sketchy.
What I was referring to more (and should have clarified better) was that there are models of arithmetic that can characterise the natural numbers uniquely (up to isomorphism) - translated to type theory, it is possible in languages like Coq and Lean to fully define what a natural number is without including any extra objects - even if you won't be able to prove all theorems about them. Notably, though, first order theories are not sufficient to define the natural numbers, for every set of first-order axioms about the natural numbers, there are "non-standard models" that can look quite weird. You need second-order logic or something equivalent in power to prevent that (the difficult axiom here is the axiom of induction which needs to be able to quantify over predicates).
