lugao

8 ms·

31.
by lugao 2y ago
I can't agree more. Linus position here is not dissimilar to CEOs and alike. He's trying to deal with R4L using his (allegedly) 100% technical and 0% political perspective but in this case it simply doesn't work. R4L is a pol
32.
by lugao 2y ago
Really solid program. I bought a license years ago because it is the only software that correctly remuxes media for direct play in Chromecast, including surround sound and HDR. I wish Jellyfin could catch-up with the compatibility level Air
33.
by lugao 2y ago
There seem to be a latch mechanism to keep it attatched. I would be surprised if it was designed to rely solely on magnets.
34.
by lugao 2y ago
Exactly! And it was obviouslly written by (or with help of) a LLM. The first definition is even gramatically incorrect! Lets see what gemini thinks of the first paragraph if I force it to criticize it: https://g.co/gemini&#x
35.
by lugao 2y ago
Is this just a shortcut creator script with a landing page?
36.
by lugao 2y ago
Why a naive pixel matching library got so many likes here?
37.
by lugao 2y ago
> next gen flagship at around 1k Have you seen GPU prices lately (last 5 years)? A RTX 4080 super with merely 16 GB of VRAM is at least 1k, there's no way a 32 GB next gen flagship would be released at this price range.
38.
by lugao 2y ago
Could not import my 10 year + google history hosting it in my raspberypi 5. The number of pending tasks was over 2 million after one day. I guess it was not optimized for large imports, sadly :(
39.
by lugao 2y ago
What's your take on continuous life? SmoothLife, Lenia and Bert Wang-Chak Chan work in general?
40.
by lugao 3y ago
Awesome write-up! I wonder how much simpler and/or unnecessary some of the snippets would be by using typst.app instead of latex. The figure creation pipeline is also great, in this case a custom plugin for typst would need to be added
41.
by lugao 3y ago
I've utilized it to craft a number of high-school level mathematics and physics problems and solutions, and the experience was genuinely pleasing. The scripting language brings a fresh perspective to the markup language, while the plug
42.
by lugao 4y ago
I will probably get down voted here, but in my perspective the author bitterness towards mathematics ends up doing the opposite of his supposed objective of "demystifying" the subject. It pushes "hackers" and "maths
43.
by lugao 4y ago
As others here pointed out: this is bad awk. I think good awk scripts lie somewhere between "This is atrociously overfit to this file" and "this is so general you should have done it in python/perl/etc". Of cou
44.
by lugao 4y ago
You could at the very least model impossible states and check they won't happen. The assumptions are not that hard to model either, there are not that many moving parts.
45.
by lugao 4y ago
The academy have developed tools for code verification, state modeling and formal proofs. The choice of using a javascript fork for financial contracts is deliberately dumb and will result in the craziest bugs we could imagine.