universa1

This looks interesting. I am not really familiar with lean, etc... Could I use this to formalize/verify a proof from a paper?

Mostly yes, you still need to check capitalisation of special words... But this should be independent of the actual citation style.

there was a pen that used special paper to directly record your notes (15-20years ago)... should be possible nowadays to directly transfer this to a connected device and have it feed it to an llm.

and after looking it up, it appears they are still available: https://www.livescribe.com/landingpage/ls3_onenote/

I think the actual solution is closer to, you buy a team specific ticket/option: if your team advances you get the ticket, if some other team advances their fans get the tickets.

A 10 year old definitely,and 5year old is close, but not unrealistic, To drive a car you don't need to be able to read... To drive a car on the road with other people is a whole other story :-)

if you count all parts, bottom, keyboard, cover, battery its more like 500 to 600.

The attachment mechanism is usually standardized, so you can just switch between brands.

Nowadays a larger factor might be how close the next dealership/repair shop is. Some things are time critical, and when it breaks in this time, then you don't want to drive hours to have it fixed/get a part/ have a mechanic available.

There are some differences between the brands... And you can always be Clarkson and get a Lamborghini, even when it makes no sense ;-)

i am curious: is the performance gap between x86 cpu inference and apple silicon, or, a imho more apples-to-apples comparison, e.g., amd strixpoint halo vs apple silicon?

i would expect the "pure" cpu inference to be behind, but an approach like strix halo/dgx spark to be much closer?

I am fully on your side, but tests are not 100%: False positives and false negatives.

The way out is obviously better tests and not less tests :-)

What one has to keep in mind as well, that even though tractors are really heavy they spread that weight across a large area (using low tire pressures and having massive tires to begin with). So, iirc, the per area impact is even lower then a human. It impacts a lot larger area, though!

Plowing vs tilling is also very much about soil erosion and depends very much of the location you are in.

you can use git with overleaf, but from practical experience: getting even "mathematically/technically inclined" people to consistently use git takes a lot of time... which one could spend on other more fun things :-)

Not affiliated, but for Germany I'd check https://gh.de ... For technical products you can filter for mostly any relevant detail... At least most German shops are there, and only a few not.

I am always curious why there doesn't seem to be something similar everywhere?

try it with ramalama[1]. worked fine here with a 7840u and a 6900xt.

[1] https://ramalama.ai/

As payment is very much a "relative" problem, giving everyone else more, means essentially giving train drivers less.

The fiber installing crews around here go street by street and usually do one street section per day/or two.

Hmm, I've a deja-vu... My mind tells me I've read these three comments before on a different topic... If I don't forget, I'll have to check tomorrow on a real PC.

Hmm this doesn't sound like what I experienced a professor doing... But this probably depends on the location and the discipline... Or well at least here in Germany you can more or less pick what you want to do: more being a people / project manager or more own research, or a mix of that... The uncertainty/low chances of getting a tenured position are not different though... And though it might suck, this is something you know, at the latest, after your PhD.

Thunderbird supports the oauth flow for quite a while now :-)

Hmm... You might be able to build one out of a remarkable [1], as that runs linux, has support for external keyboard and might only be lacking in the battery life department, when actively used.

[1] remarkable.com

I wanted to recommend Minisforum, as I have a um560, that is powered through usb-c. But that is not available anymore... So those kind of machines exist...

You could get a frame.work laptop in an external case, slightly larger than hand-sized, though.

No clue about dizqueTV, but ErsatzTV is German for tv replacement/substitute :-) so it has a little more meaning then the Chinese Amazon names ;-)

or maybe he just put it on top of the battery? ;-)

Regarding the connectivity: tailscale... So far I am happy with them and the free plan hasn't been kneecapped afterwards (so far).

But in the end you have to replace at least some of the nitrogen (and other nutrients) you are taking from the field in some way. And without a major shift in consumption patterns (less meat) this will mean fertilizer, as the alternatives usually lead to a much lower yield.

in some sense yes, and if you are only interested in good predictions this might work out well. What, maybe due to my limited understanding, is, that this is not theory driven and therefore does not really provide understanding of the underlying process.

That's also nice, but the memory speed is also higher, Ddr5-7266 vs 5600 iirc. The resulting higher bandwidth translates more or less directly into more performance for the iGPU.

having this as a backup sounds nice to be honest. getting a sim card in the traveled to country was sometimes a bit of a hassle in the past... nowadays probably not so much. anyways, this might provide the time to get a sim card locally, as those often times used to be a lot cheaper, than some travel sim... and also might provide different coverage provider / network wise, depending which network they roam on...

mhm, at least for older phones there is stuff like: https://esim.me/

no clue if it works to set the card up in a phone and then use it in a board?!

yes, i am always suprised that such a tool does not exist everywhere (at least the modern western world...). not every shop is in there and rarely I buy from elsewhere... but even just checking specs of any kind of "hardware" (geizhals has also home appliances, ...), or seeing what is available with certain specs, geizhals is a godsend.

and it mostly still has that "old-web"-style :-)

Not sure if the Mainboard Chipsets initially released with the Pentium iv supported the later released core2 quads... Which is actually the case for the am4, where even the cheapest, oldest Chipset (a320) can support the newest am4 CPU, as long as the MB maker provides a bios update.