porphyra

4 ms·

31.
by porphyra 2mo ago
Tesla Cybercab has about three or four times the efficiency and like a fifth of the price by having smaller, two person vehicles. Indeed, the vast majority of trips are taken by single people and it's ridiculous to have a giant machine
32.
by porphyra 2mo ago
Yup I linked that in my other comment but copy-pasted here for everyone's convenience: The counterexample of the Dinitz-Garg-Goemans conjecture was basically just "keep going" and finally "enough of partial results. now
33.
by porphyra 2mo ago
The counterexample of the Dinitz-Garg-Goemans conjecture was basically just "keep going" and finally "enough of partial results. now finish with a complete unconditional counterexample" lol https://x.com/
34.
by porphyra 3mo ago
The article talks a lot about how China makes most of the electric cars and Mexico wants to "capture a piece of the action", but the Olinia has substantial amounts of its engineering and parts from China [1]. And instead of learni
35.
Jacobian Conjecture for Baby(muchmirul.github.io)
101 points by porphyra 3mo ago|22 comments
36.
by porphyra 3mo ago
Foreign media like the BBC were actually caught applying a yellow filter to footage of China [1] [2] so maybe they trained on that lol [1] https://www.globaltimes.cn/page/202102/1215710.shtml [2] https:/&#x2
37.
by porphyra 3mo ago
Thanks. I like low profile mechanical keyboards in theory but I guess I'll just stick to the Keychrons and Lofrees.
38.
by porphyra 3mo ago
Many ISPs block .cc domains. Especially when .co.cc was a free domain name thing and tons of malware would use it.
39.
by porphyra 3mo ago
Teenage Engineering makes a lot of products that are basically just a grid of buttons and knobs. It's an obvious comparison to make, even if you disagree on the style/soul etc. Like the OP-1 is also a rectangle of buttons, and eve
40.
by porphyra 3mo ago
You could probably easily get Codex (CLI) to vibe code Linux support tbh. It's probably just a regular USB HID device. The main problem is that right now it only works with the GUI Codex App which doesn't have official Linux suppo
41.
by porphyra 3mo ago
What's wrong with it? I believe you but I'm just curious... since on paper it just uses Gateron low profile switches which seems reasonable.
42.
by porphyra 3mo ago
Regarding the going "up and down", Starlink satellites orbit at about 500 km above the Earth's surface compared to the Earth's radius of 6400 km. For longer distances it will still be worthwhile. Right now, you're r
43.
by porphyra 3mo ago
Starlink satellites are intentionally designed to be very dark, but they become more visible when the sun is about to come up or if there are super bright light sources on the ground nearby to reflect off of them.
44.
by porphyra 3mo ago
One cool thing about Starlink is that it can potentially improve latency across the world. In optical fibers the light travels only two thirds as fast due to the index of refraction. But in space you can use a laser to send the data in a st
45.
by porphyra 3mo ago
Interesting timing to release this just when SWE-1.7 and Grok 4.5 came out being much cheaper than GPT-5.5.
46.
by porphyra 3mo ago
How come all the open source projects are fretting over the copyright status of LLM code but big companies are just vibe coding slop all day for their internal closed source projects without a care in the world?
47.
by porphyra 4mo ago
Why does usajobs.gov have an autoplaying sound?? I opened this link during a meeting by accident.
48.
by porphyra 4mo ago
I think Atlas might also be slightly faster than vLLM: https://flowtivity.ai/blog/120-tok-s-1m-context-private-ai-d...
49.
by porphyra 4mo ago
> If not inlined, subresources can fail to load for all kinds of network reasons. Also, it's commonly recommended to load fonts asynchronously/deferred without blocking the main page render. But I HATE it when the page jumps ar
50.
by porphyra 4mo ago
You can also run Qwen 3.6 27B dense model on DGX Spark with comparable performance [1][2] for about $4000 (Asus Ascent GX10 is $3999 at various retailers). In theory you can also get 48GB of VRAM with, say, two 3090s, but it will take up a
51.
by porphyra 4mo ago
I thought this had something to do with the DGX Spark at first from the name haha. (Incidentally, a lot of recent work has gone into making the DGX Spark better at inference, like MTP yielded a 50-100% speedup, so DSpark will likely be very
52.
by porphyra 4mo ago
The Pinephone comes with ridiculously weak compute. The Jolla Phone has a Mediatek Dimensity 7100 comparable to $300 phones like the Honor 600 Lite [1]. Of course, with the $750 price tag you're getting an unlocked bootloader/Linu
53.
by porphyra 4mo ago
Imagine if they bring back the Mac Pro with 768GB of ram to compete with the $100k DGX Station.
54.
by porphyra 4mo ago
What's edge masking and what am I looking at? I clicked through several of the options and I don't see any difference. There just seems to be a really basic gradient shadow. I have gpu enabled in google chrome (verified by visitin
55.
by porphyra 4mo ago
Is it just me or is the webpage broken with a redirect loop between: * https://www.bluewin.ch/en/news/german-train-service-suspende... * https://www.bluewin.ch/en/news/german-rail-service
56.
by porphyra 4mo ago
Wild how back in the days, phone chips were 10 years behind PCs in performance, but now they are almost the same (in single-core performance, anyway).
57.
by porphyra 4mo ago
Pretty neat that you can just install it and start using it (at a Sonnet 4.6-level model) without needing to sign in or pay. Typically, Chinese websites are a big pain to log in or sign up because they require a +86 phone number due to lega
58.
by porphyra 4mo ago
If your car slows down to 20mph you'd instantly know. If Claude silently switches to dumb mode, you might not even realize.
59.
by porphyra 4mo ago
Mildly annoying how almost everything strips out EXIF data nowadays, in part due to security concerns like this, and then I can't find out what camera, lens, and settings were used to take photos.
60.
by porphyra 4mo ago
A lot of prompt engineering goes out of date quickly. Nobody nowadays goes "you are an expert software engineer. make no mistakes" lol. As a personal anecdote, I find that a lot of big prompts and skills use up context window budg

More ›