wyager

8 ms·

1.
by wyager 4d ago
Everyone is "doing that instead". Every successful company in every industry is heavily using AI at this point. If that were illegal, the next best option would be AI labs acquiring the companies instead of just selling them t
2.
by wyager 5d ago
> how would they make money then? By acquiring companies and letting the now-internal employees use AI, easily outcompeting any company they didn't acquire
3.
by wyager 5d ago
The concept is stupid and the rule as stated is stupid. "Any AI model a company offers to the public has to be released as open weights." OK great, that means no models released to the public, complete concentration of power.
4.
by wyager 9d ago
Interesting scenarios that could happen in next few years * American internet companies start to make the judgement that supporting EU/ANZ countries with difficult legal/tax requirements is a net cost and stop doing it, just IP-bl
5.
by wyager 11d ago
"LLM" is now in practice a superset of "LMM"
6.
by wyager 12d ago
I believe Lean supports a signature search mechanism. E.g. Haskell has Hoogle, Lean has Loogle. So in many ways it's actually easier to search for "library" code than in most languages, because the type tells you everything y
7.
by wyager 27d ago
I am very familiar :) using euler angles involves using trig functions, which is what this thread is about
8.
by wyager 27d ago
> I’ve been writing code for 46 years. Not once have I had to code a derivative. It sounds like discussions about "porting from math" do not pertain to you then?
9.
by wyager 28d ago
> the derivative (with respect to x) of sin(x) is cos(x), regardless of units for x. Not if you use "turn"-trigonometric functions, as the author suggests. turn-sin `t sin(x) = sin(2pi * x)` has `d/dx tsin(x) = 2pi * tcos
10.
by wyager 28d ago
> For graphics rendering Euler equation doesnt matter. Huh?? "Euler angles" are one of the most popular representations in computer graphics! The only other good alternative is quaternions, where as you say this also matters!
11.
by wyager 28d ago
> The author's not talking about doing math, but about porting math into code. If your code doesn't look like the math it's "ported" from, the odds of it being bad code go up like 100x
12.
by wyager 1mo ago
> Do not deserialize untrusted data. I think the better lesson is "use safe codecs"
13.
by wyager 1mo ago
Every LLM harness released in the last year has handled this gracefully via delegation, structured memory systems, etc.
14.
by wyager 1mo ago
> But ask them to enumerate all the intermediate steps required to create a formal direct proof, and it will loose attention and forget important details as they go out of their input window size. It's interesting how people will co
15.
by wyager 2mo ago
Can someone who works in commercial web dev explain how companies even end up with this much crap pulled into their websites?
16.
by wyager 2mo ago
The averaged-over-usage-lifetime software quality for things like cars or video games is worse today than it was before OTA updates Arguably the peak quality after a few months/years of fixes is better, but that doesn't really mat
17.
by wyager 2mo ago
> EU funding brought fiber to my farm area Yes, boondoggle subsidies allow you to un-economically bring fiber to a subset of random places. I say this as the beneficiary of one such boondoggle. It doesn't scale well
18.
by wyager 2mo ago
> the very architects of AI are the people whose jobs are most easily automated by AI Think very hard about what this implies for the future pace of AI R&D
19.
by wyager 2mo ago
There's a company in Austin that uses sound for drone localization, although I forget the name
20.
by wyager 2mo ago
ZFS makes this completely trivial except for the "beeps and lights a led" part
21.
by wyager 3mo ago
FYI it looks like some of your comments are getting auto-flagged by the HN moderation system and marked as dead
22.
by wyager 3mo ago
99.9% of normies have a router NATing all their traffic It takes active effort to expose a camera publicly
23.
by wyager 3mo ago
Very exited about WASM/WCM as a portable format for capability-secure applications. I had a spec file sitting around for an OS project idea I had, where the kernel would just be the WASM compiler + a few small shim drivers, and everyth
24.
by wyager 3mo ago
I'm curious if people have a good story for why WASI will succeed where Java failed
25.
by wyager 3mo ago
The entire US lunar effort cost only $330B in current USD, commensurate with the amount AI companies have raised on private markets alone , and there was also a cold war
26.
by wyager 3mo ago
> Solstice (100k NVIDIA chips, currently spec'd to be Vera Rubins) in the next five years Is this supposed to be impressive? Five years for the equivalent of, what, Colossus 1? What a joke
27.
by wyager 3mo ago
EU countries continuing to ensure the conditions for their future economic competitivity
28.
by wyager 3mo ago
> i wish govt would fund these labs and make it free and opensource. It would be impossible for the govt to allocate this much capital towards such a moonshot, and even if they could, they would do it in a way that would get 90% frittere
29.
by wyager 3mo ago
That would be a valid explanation if they hadn't totally oversold and underdelivered on "apple intelligence". In reality, this explanation is just cope
30.
by wyager 3mo ago
Apple has completely dropped the ball on every single detail of AI rollout for the last 5 years - why do you think they will suddenly stop now? My prior is that the new siri stuff is just as vaporware as the previous "apple intelligenc

More ›