Is it possible to reason or prove the correctness of an LLM?
I'd guess the speed improvement in those cases likely came from learning a better technique, like touch typing and using more of your fingers. Afaik a lot, if not most, of the fastest typists are still on qwerty.
I thought it worked just fine on LTSC 2021 (21H2)
I think it could be interesting to explore Universal Blue based distros such as Bazzite for this kind of use cases. The OS comes from a standard OCI container image, which means you can create your own customized one by…
> For a lot stuff on my local network I don’t want the hassle and there are loads of use cases in local networks for normal people to just have port 80 no certs on something like 192.x.x.x because there is no easy way…
> But also, rewriting history only works if you haven't pushed code and are working as a solo developer. Weird, works fine in our team. Force with lease allows me to push again and the most common type of branch is…
I like that Zig allows using relaxed floating point rules with per block granularity to reduce the risk of breaking something else where IEEE compliance does matter. I think OpenMP simd pragmas can be used similarly for…
C++ lambdas can be used to achieve a similar result, not as pretty though https://isocpp.github.io/CppCoreGuidelines/CppCoreGuidelines... But in general I agree!
I have used this setup for 6 years or so with KeePassXC and it's fine. Just being mindful of not editing stuff on other devices before the first one has had the chance to sync has been enough to avoid pretty much all…
Seeing such pivotal announcement be poorly vetted slop doesn't really inspire confidence in the quality of their product.
Do you have an opinion on the keyboard firmware ZMK? They seem to use LESC but MITM during pairing is still a concern: https://zmk.dev/docs/features/bluetooth
Maybe a dumb question but I have always wondered, why does the (authoring?) spec not consider e.g. "doctypehtml" as valid HTML if compliant parsers have to support it anyway? Why allow this situation where non-compliant…
Update on power draw for anyone interested: measured with a cheap AC power meter, I get 2.8-4.2W idle with occasional jump to up to 8W on my M720q with i5-8400T, 16GB ram and a single nvme drive. This is on Debian 13…
The difference is that unlike Brave and Vanadium, Firefox doesn't come with an ad blocker. You will have to install uBO. If you want to also trim tracking query params, you will have to enable a non-default filter list.…
While I still use Firefox on desktop, on Android I recently switched from Firefox mobile to Brave out of security concerns and frustrations with performance. It has built-in tracker, query param and ad blocking, and is…
I have been planning to get either Witrn K2 or Power-Z KM003C. If just cable testing is enough, the Treedix one is probably good. Related: If you are looking for cables, this guy has tested a bunch (mainly for charging…
Very cool project, I feel inspired to try something like this myself! I noticed there seems to be a use-after-return with the creds returned from CredentialManager::retrieveCredentials (C-arrays can't be passed/returned…
LLM rizzmaxxing is crazy
Fwiw this has been my setup for ~10 years now and I don't really see an issue with it. Screen locker crashing would have been a concern back in the Xorg days but I don't think it's an issue nowadays with the…
It sounds good but I feel little uneasy about them paying Yandex
The talk in question showcases a widget in the start menu that's using react native. Apart from the meme itself, I have not found indication of the start menu being a react native app. Every time this comes up it seems…
So the source is a twitter meme?
I wonder if cosmopolitan libc[0] could be leveraged to create an actually portable executable™ without a rewrite, looks like someone has figured out compiling python 3.11.4 with it[1] [0]…
I'm having kind of a hard time imagining how such position would look like. Only working on greenfield projects, moving onto the next project once the codebase gets intolerable?
Today I learned, thanks
Is it possible to reason or prove the correctness of an LLM?
I'd guess the speed improvement in those cases likely came from learning a better technique, like touch typing and using more of your fingers. Afaik a lot, if not most, of the fastest typists are still on qwerty.
I thought it worked just fine on LTSC 2021 (21H2)
I think it could be interesting to explore Universal Blue based distros such as Bazzite for this kind of use cases. The OS comes from a standard OCI container image, which means you can create your own customized one by…
> For a lot stuff on my local network I don’t want the hassle and there are loads of use cases in local networks for normal people to just have port 80 no certs on something like 192.x.x.x because there is no easy way…
> But also, rewriting history only works if you haven't pushed code and are working as a solo developer. Weird, works fine in our team. Force with lease allows me to push again and the most common type of branch is…
I like that Zig allows using relaxed floating point rules with per block granularity to reduce the risk of breaking something else where IEEE compliance does matter. I think OpenMP simd pragmas can be used similarly for…
C++ lambdas can be used to achieve a similar result, not as pretty though https://isocpp.github.io/CppCoreGuidelines/CppCoreGuidelines... But in general I agree!
I have used this setup for 6 years or so with KeePassXC and it's fine. Just being mindful of not editing stuff on other devices before the first one has had the chance to sync has been enough to avoid pretty much all…
Seeing such pivotal announcement be poorly vetted slop doesn't really inspire confidence in the quality of their product.
Do you have an opinion on the keyboard firmware ZMK? They seem to use LESC but MITM during pairing is still a concern: https://zmk.dev/docs/features/bluetooth
Maybe a dumb question but I have always wondered, why does the (authoring?) spec not consider e.g. "doctypehtml" as valid HTML if compliant parsers have to support it anyway? Why allow this situation where non-compliant…
Update on power draw for anyone interested: measured with a cheap AC power meter, I get 2.8-4.2W idle with occasional jump to up to 8W on my M720q with i5-8400T, 16GB ram and a single nvme drive. This is on Debian 13…
The difference is that unlike Brave and Vanadium, Firefox doesn't come with an ad blocker. You will have to install uBO. If you want to also trim tracking query params, you will have to enable a non-default filter list.…
While I still use Firefox on desktop, on Android I recently switched from Firefox mobile to Brave out of security concerns and frustrations with performance. It has built-in tracker, query param and ad blocking, and is…
I have been planning to get either Witrn K2 or Power-Z KM003C. If just cable testing is enough, the Treedix one is probably good. Related: If you are looking for cables, this guy has tested a bunch (mainly for charging…
Very cool project, I feel inspired to try something like this myself! I noticed there seems to be a use-after-return with the creds returned from CredentialManager::retrieveCredentials (C-arrays can't be passed/returned…
LLM rizzmaxxing is crazy
Fwiw this has been my setup for ~10 years now and I don't really see an issue with it. Screen locker crashing would have been a concern back in the Xorg days but I don't think it's an issue nowadays with the…
It sounds good but I feel little uneasy about them paying Yandex
The talk in question showcases a widget in the start menu that's using react native. Apart from the meme itself, I have not found indication of the start menu being a react native app. Every time this comes up it seems…
So the source is a twitter meme?
I wonder if cosmopolitan libc[0] could be leveraged to create an actually portable executable™ without a rewrite, looks like someone has figured out compiling python 3.11.4 with it[1] [0]…
I'm having kind of a hard time imagining how such position would look like. Only working on greenfield projects, moving onto the next project once the codebase gets intolerable?
Today I learned, thanks