Cu3PO42

10 ms·

1.
by Cu3PO42 12d ago
I didn't get that either until I read this comment. I read "pushin" as one word, figured it was a made up proper name for a product. Once upon a time, I, too, had a domain where the TLD was part of the actual name and require
2.
by Cu3PO42 13d ago
Just two days ago, a preprint by Julia Stadlmann went up on arXiv [0] improving the prime gap from 246 to 240. Now OpenAI announces Astra has shown a gap of 186 [1]. That must really blow. [0] https://arxiv.org/abs/2608
3.
by Cu3PO42 26d ago
It’s currently 50% off on OpenRouter even.
4.
by Cu3PO42 1mo ago
Thanks for pointing that out. I tried the Codex App before but didn't see that. I want to like the app, but I'm not sure if it actually fits well to my use case. With my current setup I need to fully quit and restart it if I want
5.
by Cu3PO42 1mo ago
This does look legitimately exciting. A surprisingly large pain point when doing agentic work has been commenting on something in a larger plan document. I always find myself summarizing the surrounding text to contextualize a comment when
6.
GPT-5.6 Sol Pro solves open problem in convex optimization(medium.com)
26 points by Cu3PO42 2mo ago|2 comments
7.
by Cu3PO42 2mo ago
I loved garnix and I’m sad to see the service shut down. That said, open sourcing the platform is the best way to do it I can imagine. I wish the team success at Shopify.
8.
by Cu3PO42 3mo ago
Sonnet 5 is not currently available in the EU region on Bedrock, whereas previous models were and still are. I wonder if this is only due to early stages of the rollout or if this is due to recent US restrictions. Unfortunately that means I
9.
by Cu3PO42 4mo ago
They switched to a weekly release cycle, presumably to compete with the perceived iteration speed of the many VS Code forks.
10.
by Cu3PO42 5mo ago
While it is certainly inspired by Arc, it doesn't share any code. Arc is proprietary and Chromium-based, Zen is Open Source and Firefox-based.
11.
by Cu3PO42 8mo ago
I personally find the "animals killed since you opened this page" number to be the most unsettling. YTD numbers are so large, I find them hard to process. If you choose to eat meat, please be aware of the conditions most of these
12.
by Cu3PO42 8mo ago
I've looked at OpenRC, RUnit and S6. I haven't recently run any of them "in production", however. Personally, I am a strong believer that declaring the desired state is a lot easier to get right than actually writing the
13.
by Cu3PO42 8mo ago
Gnome, for example. GDM now needs systemd's userdb. It is indeed becoming harder and harder to avoid and I understand that this isn't great , but systemd tackles some genuinely hard problems that others don't. Which is to sa
14.
by Cu3PO42 8mo ago
You seem to be under the impression that you cannot reset your Secure Boot to setup mode. You can in the UEFI, doing so wipes any enrolled keys. This, of course assumes you trust the UEFI (and hardware) vendors. But if you don't, you
15.
by Cu3PO42 8mo ago
> What prevents Microsoft from mandating removal of enrollment permissions for user keychains and Secure Boot toggle Theoretically, nothing. But it's worth pointing out that so far they have actually done the opposite. They currentl
16.
by Cu3PO42 8mo ago
> Maybe I could get a EU bank from another EU country but my employer will not accept an out of country account for salary deposits because it makes their tax life difficult and my mortgage provider doesn't trust foreign accounts ei
17.
by Cu3PO42 8mo ago
If you're working in a corporate environment, this may not be viable. LibreOffice is great software, but it's not 100% compatible. Things may look slightly different, get lost or otherwise cause problems. I've really tried, b
18.
by Cu3PO42 9mo ago
nix-darwin is essentially this. I have a small bootstrap script to install Xcode CLI and Nix, git clone my dotfiles and activate the config. That in turn sets up the system, also installs Homebrew, installs apps from the App store and sets
19.
by Cu3PO42 9mo ago
ZeroSSL is Austrian, however since I last looked at them it appears they were acquired by a US corporation.
20.
by Cu3PO42 10mo ago
If you use secure boot and don't let your keys near Windows, you should be fine even if your Windows install is compromised. Unless you don't trust Microsoft themselves, in which case you'd need to re-enroll keys whenever swi
21.
by Cu3PO42 10mo ago
I also strongly dislike requiring remote attestation for any kind of software I want to run. But what I also dislike is cheaters in my online games and I genuinely do not have a better suggestion on what to do. Personally, I run Windows pur
22.
by Cu3PO42 11mo ago
The important part in the parent is "that don't need a user password". You just said you had to supply a (user) password. With a TPM you can set it up that your disk is unlocked automatically, but only if no-one changed anyth
23.
by Cu3PO42 1y ago
Is it? Last time I tried to self-host my email I did. I had DKIM, DMARC and SPF set up correctly as verified by multiple sites, but I couldnt't get reliable delivery to any Microsoft-hopsted mailboxes. Every other provider I tested was
24.
by Cu3PO42 1y ago
Anecdotally, I'm not. I always use Firefox (or Zen) and get almost no Captchas. Neither at home, nor at work. Not on Windows, not on Linux, not on macOS. I'm not going to say that Cloadflare isn't doing anything fishy, but if
25.
by Cu3PO42 1y ago
Depending on the timeouts involved, I imagined it might still happen if you had automatic retry. And thanks for the pointer, I actually have the same fix in my config with the nice benefit of only adding a single non-changing entry to &#x2F
26.
by Cu3PO42 1y ago
Neat. Though I wonder if this suffers from the same race condition that the graphical session does when your shell is stored on a data volume. Specifically, if you restart and opt to restart apps, they can come up before all volumes have be
27.
by Cu3PO42 1y ago
The game really doesn't perform great, but it's not impacting the fun I'm having with it, so I decided to stick with it. What I don't get is why Randy Pitchford seems intent on alienating the player base further by doubl
28.
by Cu3PO42 1y ago
backdrop-filter is supported by all major browsers, but specifically using SVG filters, which are more powerful and is out-of-spec, is only supported in Chromium-based browsers.
29.
by Cu3PO42 1y ago
> One of the channels I am still on is full of VPS hosted ghosts; This hits hard. I might be one of those ghosts. When I last checked in, I saw the same in virtually all the channels that were once important to me. My bouncer is still ru
30.
by Cu3PO42 1y ago
If you liked Arc, you should try Zen. I understand it brings many of the same ideas to a Firefox base.

More ›