porphyra

5 ms·

1.
by porphyra 7d ago
Fallout 4's endgame with the autogenerated "quests" of defending settlements get boring extremely fast.
2.
by porphyra 7d ago
It's even worse when you see the exact same animal asset but scaled differently with a different color hue on a completely different planet. Ruins the immersion immediately. Obviously, it has come a long, long way since the 2016 articl
3.
by porphyra 10d ago
Also, despite the Honda being a rebadged Chevy, the average buyer may not be aware and may be drawn to the Honda brand's reputation for reliability and quality.
4.
by porphyra 13d ago
They can host larger models by pipelining it on multiple wafers. Each wafer stores one layer and N layers can serve an N * 44 gb model with N concurrency. The limitation would of course be inter-wafer I/O, which my comment was getting
5.
by porphyra 13d ago
Why do they only host small models rather than the 2.4T version? Is the I/O and interconnect between the wafers bad due to the limited beachfront relative to the massive size of the chip?
6.
by porphyra 14d ago
It seems that a rogue engineer poisoned the prompt in that instance. But the fact that they keep the system prompt open is nice. Generally I am biased towards favoring more freedom and openness rather than clamping it down in the name of sa
7.
by porphyra 14d ago
The canonical view of a bicycle is facing right. Usually, people want to draw/photograph/depict the side of the bicycle with the running gear, which is on the right side of the frame for historical reasons.
8.
by porphyra 14d ago
Dario's "ethical" look is also kinda sus. I hate to use ad hominem, but the dude's wife literally pitched a porn film to Epstein even after he was a convicted registered sex offender [1]. Dario is also really sinophobic
9.
by porphyra 14d ago
In my personal opinion (this will be controversial and feel free to disagree): Elon is the best. * great contributions to many industries including spaceflight, electric cars, and self driving cars. It doesn't even matter if he is the
10.
by porphyra 14d ago
Better than even the Chinese models? That's a difficult-to-quantify, extremely rapidly moving target. Just today, Qwen 3.8 Max 0902 came out with a huge improvement over the previous Qwen 3.8 Max.
11.
by porphyra 15d ago
With the same logic there can never be another browser engine ever again. Which I think is actually true as everyone is converging on Blink/Chromium but it is depressing to think about.
12.
by porphyra 16d ago
In theory, running Apple Silicon apps on ARM64 linux machines would be really nice. But we are still far from having a performant and feature-complete implementation of doing so. Darling only targets x86_64 stuff. Still, it's a cool pr
13.
by porphyra 16d ago
Vibe coding is obviously not quite there yet right now. But in the future it will be. The output of agents will be just as correct and rock solid as the software from the most experienced software developers. We'll also have the additi
14.
by porphyra 16d ago
I feel like with the advent of vibe coding, the bar to making your own browser is gradually lowering. People are already making all sorts of useful "houseplant programming" to serve their own pain points. Sooner or later, agentic
15.
by porphyra 16d ago
theoretically equity trading is about distributing stonks most optimally so that productive companies get more and less productive ones get less, improving productivity of society as a whole
16.
by porphyra 22d ago
Also right now Sol 5.6 Max is super slow but if it were way faster on a chip (like Taalas' Llama 8b demo) then it would be an extreme value multiplier. But the model is so large that "baking it onto a chip" doesn't seem
17.
by porphyra 22d ago
Mini split + ductless ERV [1] would probably be cost efficient and effective for this home office. No need to get a full ducted hvac setup. [1] e.g. https://www.pioneerminisplit.com/products/pioneer-ecoasis-50...
18.
by porphyra 1mo ago
Hopefully they can unify the harnesses now. Weird how there's both grok build and cursor-agent at the same time.
19.
by porphyra 1mo ago
> llama server where the model is, which context size to use, what to use for the K/V cache quant, that it should do MTP, tune some MTP parameters, and that's kinda it. isn't that the hard part? You know the ballpark ideal
20.
by porphyra 1mo ago
The alternative is Claude-style "safeguards" aka censorship, which: 1. doesn't eliminate the possibility of a jailbreak anyway 2. frequently has false positives, triggering on innocuous requests, which is just really annoying
21.
by porphyra 1mo ago
How does that invalidate the "compression is prediction"? If the future data is different and you failed to generalize, then the failure to predict means you got worse at compressing and have to spend more bits storing the new inf
22.
by porphyra 1mo ago
Weather can be arbitrarily extreme, but: 1. My whole house AC only consumes 3 kW when the outside is really hot, like 36 degrees C, and I seriously doubt that car AC can consume 5 or 6 kW 2. With hotter weather, the density of air also decr
23.
by porphyra 1mo ago
Possible, but EVs tend to be more efficient in city driving than highway driving, thanks to regenerative braking and the fact that the dominant form of energy loss, air resistance, scales quadratically with speed.
24.
by porphyra 1mo ago
The Waymo I-Pace is much less efficient than the regular roadgoing I-Pace. One X user posted a pic of the dashboard of a Waymo with 111,000 miles on the odometer, and it averaged 1.0 kWh per mile [1][2]. This is about 2.5x worse than the EP
25.
by porphyra 1mo ago
the metro areas where it gets rolled out are all blue regardless of state
26.
by porphyra 1mo 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
27.
by porphyra 1mo 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
28.
by porphyra 1mo 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/
29.
by porphyra 2mo 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
30.
Jacobian Conjecture for Baby(muchmirul.github.io)
101 points by porphyra 2mo ago|22 comments

More ›