Viewing profile — 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 fe…

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 ot…

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…

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 e…

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 b…

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 cou…

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…

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…

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 …

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.wo…

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 …