universa1

8 ms·

1.
by universa1 2mo ago
This looks interesting. I am not really familiar with lean, etc... Could I use this to formalize/verify a proof from a paper?
2.
by universa1 2mo ago
Mostly yes, you still need to check capitalisation of special words... But this should be independent of the actual citation style.
3.
by universa1 2mo ago
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 ar
4.
by universa1 3mo ago
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.
5.
by universa1 3mo ago
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 :-)
6.
by universa1 5mo ago
if you count all parts, bottom, keyboard, cover, battery its more like 500 to 600.
7.
by universa1 5mo ago
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, th
8.
by universa1 6mo ago
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 a
9.
by universa1 6mo ago
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 :-)
10.
by universa1 6mo ago
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
11.
by universa1 8mo ago
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 :-)
12.
by universa1 8mo ago
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 doe
13.
by universa1 9mo ago
try it with ramalama[1]. worked fine here with a 7840u and a 6900xt. [1] https://ramalama.ai/
14.
by universa1 10mo ago
As payment is very much a "relative" problem, giving everyone else more, means essentially giving train drivers less.
15.
by universa1 1y ago
The fiber installing crews around here go street by street and usually do one street section per day/or two.
16.
by universa1 1y ago
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.
17.
by universa1 2y ago
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 &#
18.
by universa1 2y ago
Thunderbird supports the oauth flow for quite a while now :-)
19.
by universa1 2y ago
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
20.
by universa1 2y ago
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-siz
21.
by universa1 2y ago
No clue about dizqueTV, but ErsatzTV is German for tv replacement/substitute :-) so it has a little more meaning then the Chinese Amazon names ;-)
22.
Dockge – Self-hosted – Docker compose.yaml – Stack-oriented Manager(dockge.kuma.pet)
13 points by universa1 2y ago|4 comments
23.
by universa1 2y ago
or maybe he just put it on top of the battery? ;-)
24.
by universa1 2y ago
Regarding the connectivity: tailscale... So far I am happy with them and the free plan hasn't been kneecapped afterwards (so far).
25.
by universa1 2y ago
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 u
26.
by universa1 2y ago
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 under
27.
by universa1 2y ago
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.
28.
by universa1 3y ago
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
29.
by universa1 3y ago
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?!
30.
by universa1 3y ago
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" (gei

More ›