evanb

10 gün öncediscuss

I’m RSS-subscribed to a few sections relevant to my research.

18 gün öncediscuss

The gilded age’s wealthy were also the winners of winner-take-all technologies such as the railroad and oil.

Given the energy scales involved, it's more likely that the issue lies with the approximations DFT makes to quantum mechanics, rather than the approximations quantum mechanics makes to quantum field theory.

evanb

geçen aydiscuss

I'm a professor of physics; my research area is computational quantum field theory. I was beginning a new approach for a certain kind of model. I know the model has not been simulated before (a collaborator has just constructed it for the first time using in-field knowledge developed in the last year).

I've been steadily more impressed, but the real startling moment was earlier this week, I could show that in a particular operation I had a bug (some identity wasn't satisfied) but I couldn't understand why. In one try Claude Code grokked my code, explained the problem to me (there were some dimension-dependent minus signs that needed to be computed), and fixed it.

evanb

2 ay öncediscuss

By the Standard Model of Physics Software you can edit Quarkdown in Atom to get Quarkup and change your Neutron Mail to Proton Mail, but it only works if you type with your left hand and create an Electron app and an anti-Neutrinos AI blogpost.

evanb

3 ay öncediscuss

In case the author is reading this, if you're going to introduce the complex-valued harmonics you should be careful to put the complex conjugate in the inner product

    <f, g> = ∫ f(ω)^* g(ω) dω

which does match the corresponding linear-algebra inner product if the vectors are over the complex numbers

    p . q = Σ_i p^*_i q_i

which guarantees that p.p ≥ 0 even for complex p (and does not change the only-real case).

evanb

3 ay öncediscuss

Hmm. As a physicist my intuition is that information-preserving transformations are unitary (unitary transformations are 1-to-1). If a compression algorithm is going to yield a bit string (the zip file, for example) shorter than the original it can't be 1-to-1. So it must yield the zip file and some other stuff to make up for the space saved by the compression.

evanb

3 ay öncediscuss

You could package all your data into a zip using this language but you would also have a worthless stretch of memory seemingly filled with noise / things you’re not interested in.

evanb

3 ay öncediscuss

I don't remember much about music theory but I know enough about symmetry to know that there's a mistake in the diagram at 9 o'clock.

evanb

3 ay öncediscuss

Bug report: I tried 6.999999̅ and got false. So there's some nonstandard model of the reals being leveraged here.

evanb

4 ay öncediscuss

Of course that's true, but (in the context of the GP) code's bespoke artisanal nature is not the one most people value.

evanb

4 ay öncediscuss

I have always anthropomorphized my computer as me to some extent. "I sent an email." "I browsed the web." Did I? Or did my computer do those things at my behest?

evanb

4 ay öncediscuss

As a term-rewriting system the rule x-x=0 presumably won’t be in Simplify, it’ll be inside - (or Plus, actually). Instead I’d expect there to be strategies. Pick a strategy using a heuristic, push evaluation as far as it’ll go, pick a strategy, etc. But a lot of the work will be normal evaluation, not Simplify-specific.

evanb

4 ay öncediscuss

Mathematica has Infix [0], which expresses the adjacency with a ~ (because Mathematica reserves pure blankspace for multiplication). But it works fine to do eg. `"hello"~StringJoin~" world"`; I was always surprised we could only have the predefined operators in many other languages and we couldn't define our own.

This seems like a great attempt. I would be worried about how much parsing and backtracking might be required to infer the infix precedence in a totally general system (like garden-path sentences[1]) or actually ambiguous parse trees (which is cured by adopting some rule like right precedence and parens, but what rule you pick makes some 'natural language' constructions work over others).

[0] https://reference.wolfram.com/language/ref/Infix.html

[1] https://en.wikipedia.org/wiki/Garden-path_sentence

evanb

4 ay öncediscuss

Mathematica has symbolic and infinite-precision addition, so you can't automatically take advantage of obvious compiled code.

evanb

4 ay öncediscuss

> The initial focus is to implement a subset of the Wolfram Language so that it can be used for CLI scripting and notebooks.

If you have Mathematica installed you can write CLI scripts and notebooks.

evanb

4 ay öncediscuss

They did consider it, got a contract that affirmed that the military would be bound by the same pre-existing terms of service as every other user, and want to resist the military's pressure to renegotiate.

Surely that might be naive but the entire issue is that they want to stick to the original contract, which is of course the purpose of a contract in the first place.

evanb

5 ay öncediscuss

IANAL but it seems 3rd-amendment-adjacent.

evanb

5 ay öncediscuss

I'll try to find it; thanks!

Submissions

Apartment Birds Heard Recently

comments