wyager

> a search engine which does not have human emotions

I mean TBD, not sure how capable the model they're using for search summary is

Food quality used to be better in Europe but that's flipped, except France which still has some things better (eg French dairy is still better than US dairy)

Average (and probably 10th percentile) retiree is much richer in US. Yes we have higher variance but the mean is much higher too

Europe also has racial ghettos, it's just different groups

> The people in Europe seem to have a higher quality of life

Absolutely not, most places in Europe outside of a few rich countries like Switzerland and Liechtenstein and maybe a few flagship cities seem very low-QoL compared to similarly sized population centers in the US.

I was there a couple months ago and all the cities I visited felt very poor. The buildings were depressing and drab, the trains were frequently delayed, the food was probably the worst I had anywhere in Europe.

The Pentagon is trying to bully contractors into also not using Anthropic's models

I have a probably ~$20k modular rack. It's a lot of fun to experiment with, but the fact that you don't have patch save/recall really slashes the utility.

Doing everything in a DAW is the most practical from a "business" standpoint, but it's way less amenable to creative exploration. You really have to know what you want already.

The practical compromise that works best for me is a well-designed hardware realtime synth. You have access to a small fraction of the design space of modular, but a higher fraction of the accessible design space sounds good, and you of course have patch save/recall.

Recently what I've been doing is creating modular patches, driving them with MIDI, and recording the output into my Elektron Tonverk using their on-device multisample recording. You can record samples at a bunch of different pitch/velocity pairs and save them into a multisample file.

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 tokens.

> 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

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.

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-blocking those countries for the lowest legal risk

* Alternatively, American govt takes the position of "American companies don't have to follow the laws of random countries just because they accept IP packets from those countries". American companies eliminate their official business presence in onerous legal regimes but keep serving users there

* If above happens, this forces the resolution of the question "how does internet jurisdiction work across borders if USA doesn't play along", and a plausible answer is that internet messages start to be treated like physical imports and nation-level internet censorship moves under the purview of customs agencies

The globally routable internet is a very special and valuable thing, but it's a historical aberration and I suspect not very stable long-term. Even today, with the internet way more locked down than 20 years ago, it's still extremely libertarian compared to almost any other economically significant venue. In equilibrium, the state will demand its cut

"LLM" is now in practice a superset of "LMM"

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 you need to know and you don't need to care about the implementation.

I am very familiar :) using euler angles involves using trig functions, which is what this thread is about

> 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?

> 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(x)`.

> 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!

> 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

> Do not deserialize untrusted data.

I think the better lesson is "use safe codecs"

Every LLM harness released in the last year has handled this gracefully via delegation, structured memory systems, etc.

> 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 comment on LLM capabilities despite clearly not having engaged with frontier models in any meaningful way in a long time

Having models write Lean proofs of mathematical claims is standard operating procedure for any LLM math discovery!

Can someone who works in commercial web dev explain how companies even end up with this much crap pulled into their websites?

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 matter because usage is front-loaded

> 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

> 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

There's a company in Austin that uses sound for drone localization, although I forget the name

ZFS makes this completely trivial except for the "beeps and lights a led" part

FYI it looks like some of your comments are getting auto-flagged by the HN moderation system and marked as dead

99.9% of normies have a router NATing all their traffic

It takes active effort to expose a camera publicly

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 everything else (including e.g. PCIe device drivers) would be WASM modules with WIT interface specs. I handed the spec off to Fable and it seems to have made a working proof-of-concept. Has a maximally-WASM OS running on browser/QEMU/Orange Pi. https://eo9.org

I'm curious if people have a good story for why WASI will succeed where Java failed