HNHacker News
TopNewBestAskShowJobs

terminalbraid

1,809 karma · joined October 14, 2024

submissionscomments
terminalbraid··on The Actual Reason Why Google "Fell Out" of the AI Race Changes Everything
https://news.ycombinator.com/newsguidelines.html

> please use the original title, unless it is misleading or linkbait

terminalbraid··on The Dark Night of Mathematics
Why does it seem like this to you when there's nothing been produced of note?
terminalbraid··on Tell HN: Namecheap gave my account to an unverified third party
porkbun is really good
terminalbraid··on Escape IntelliJ: Scala and Kotlin LSPs on Emacs Eglot
This is my experience and it really sucks that Jetbrains has devolved into such a poorly run company. It's clear a lot of their real talent who cared about the programming side and refactoring left years ago. Now it seems like all their product decisions are from bog standard non-technical business people who chase buzzwords.

This is a major problem for them because they fragmented their IDE codebase so much properly maintaining it requires resources and people they don't have and would have to invest years of effort to replace. But that doesn't maximize quarterly profit, so it's left to decay and we get hourly LLM plugin updates.

terminalbraid··on Tensor Is the Might
Yes, this is what I'm complaining about.

> coopt: to appropriate as one's own; preempt.

The term existed for some time before programming if that's your source of confusion. Now it is a twisted and ambiguous version of itself.

terminalbraid··on Tensor Is the Might
> A tensor is nothing but a flat array of numbers

I'm so very, very tired of tech coopting rigorous mathematical terms.

terminalbraid··on Einstein's relativity rules chemical bonds in heavy elements, new research shows
To simulate a proton you need to solve a strongly coupled highly relativistic SU(3) gauge theory (naturally non-abelian i.e. the force carrier field itself carries charge and is self-interacting at tree order) problem with constituents that have masses orders of magnitude below the relevant energy scales (i.e. you have many matter AND force particles that can pop in and out of existence and they all strongly interact with one another).

To simulate a water molecule you do so with a weakly coupled SU(1) gauge theory (light does not interact with itself at tree order) problem where the masses of all constituents are orders of magnitude above the relevant energy scales (you can think of it as the electrons and nuclei and particles coming in and out of existence are contained in a renormalization scheme).

We have "good simulation models" of both, but the former is extraordinarily complicated compared to the latter for the reasons stated above.

terminalbraid··on Einstein's relativity rules chemical bonds in heavy elements, new research shows
Not in the sense that the electrons would be orbiting "outside" the star. Neutron stars are already a conglomeration of particles, including a sizeable fraction electrons that are effectively "squeezed out" of neutrons to have equivalent fermi energies. Any additional charge you add would immediately grab an "orbiting electron" into the existing system.
terminalbraid··on Einstein's relativity rules chemical bonds in heavy elements, new research shows
That's a fundamentally different problem and a terribly unfair comparison.
terminalbraid··on Successful companies go blind
Can we stop the "drop how at the start of a title" auto editing? I suspect this was to fix some flood of problems long ago, but every time I encounter it it modifies the title away from true intent of the author.
terminalbraid··on Punk, or why I don't stream anymore
I appreciate the commentary, but there's some irony of this being hosted on a github.io space.
terminalbraid··on Half-Baked Product
> The engineer knows the tech but doesn’t really understand what it takes to keep the business afloat.

This is assuming there IS a way to keep the business afloat. It's this framing of thinking that has caused more suffering, frustration, and bad will in all the places I've worked at which are just reskins of this article.

A business is entitled to it's model but it is not entitled to success. This story which is more than just a strawman or anecdote gets it right: The engineers are doing their job the best they can with unreasonable expectations set by people who do not feel they need to be constrained by reality and just have dollar signs in their eyes. The engineers do not share the same type of blame as everyone else at the company. Their failure was enabling nonsense and greed.

terminalbraid··on Android Developer Verification: Threat masquerading as Protection
Is that not already the case today? Everything on the play store is verified. Anything outside of that is not by google and you are shown something.

The whole point out of this outrage is alternative stores (like f-droid) can wholly and entirely be shut down on a whim without recourse.

terminalbraid··on Android Developer Verification: Threat masquerading as protection
Because as designed they have to live under whatever google puts into Android because they have inordinate control over the whole ecosystem? I'm not sure why or how you would possibly describe that as "childish".
terminalbraid··on Android Developer Verification: Threat masquerading as Protection
Banking has slowly been transitioning in this direction as they close brick and mortar places. I'd have to drive 20 minutes to cash a check (which is still sadly common in the US in certain industries).
terminalbraid··on Godot will no longer accept AI-authored code contributions
Your argument might carry some weight if you added any kind of argument past "lots of new productive output" and then silence.
terminalbraid··on Godot will no longer accept AI-authored code contributions
Weird that AI is supposed to be able to enable all this and yet all we get is news about how it's really just burning out projects that have limited resources making them more expensive and companies having to hire back devs they laid off.
terminalbraid··on Why does kinetic energy increase quadratically, not linearly, with speed? (2011)
If changing definitions and adding dimensions are fair game, try it for a damped oscillator and tell me where whatever dimension sphere is in there.

If you understood what you were trying to push now you'd recognize that adding in your time dimension to force an argument involving a circle is just a matter of the sign in the 2nd order differential equation. This also falls apart if that sign changes and you get hyperbolic solutions. and I'm sure you'll just say that's just another kind of sphere with negative curvature

terminalbraid··on Godot will no longer accept AI-authored code contributions
It's also telling with all the comments of "just wait a few months the models are getting so much better" which has been said for years and will continue to be said for years. It's the same with any other scam with tenuous value (see cryptocurrency).

At some point you just call it failed.

terminalbraid··on Godot will no longer accept AI-authored code contributions
It's their project, they can run it how they like. If they lose out on valid contributions that's their loss.

People are never entitled to their contributions getting accepted to someone else's code base.

terminalbraid··on Pricing velocity is an ownership problem
Most of your submissions seem to be to solely grab attention for yourself, but the guidelines clearly state

https://news.ycombinator.com/newsguidelines.html

> Please don't use HN primarily for promotion. It's ok to post your own stuff part of the time, but the primary use of the site should be for curiosity.

> Don't solicit upvotes, comments, or submissions. Users should vote and comment when they run across something they personally find interesting—not for promotion.

terminalbraid··on Why does kinetic energy increase quadratically, not linearly, with speed? (2011)
If I follow you, that's not strange. That's exactly how Lagrangian mechanics are formulated (minimizing the action which has exactly the kinetic energy as a term to be minimized against a potential energy term) which rests on well-founded symmetry principles.
terminalbraid··on Why does kinetic energy increase quadratically, not linearly, with speed? (2011)
> Every time in physics you see quadratic, you should think sphere.

Not sure how I reconcile that for systems with linear symmetry that don't admit a sphere such as a 1D harmonic oscillator (i.e. a spring). You're confusing the fact that spheres require quadratics but quadratics are not sufficient to admit a sphere.

terminalbraid··on Why does kinetic energy increase quadratically, not linearly, with speed? (2011)
> Why not take the absolute value? Nature hates those

And yet inverse distance laws for potential energy for gravity and electric fields use the absolute value because they require an unsigned distance and how you treat the singularity at zero is extremely important to the structure of those interactions

terminalbraid··on Why does kinetic energy increase quadratically, not linearly, with speed? (2011)
Very upset this didn't rely on doppler shifting of the car colors
terminalbraid··on A Call to Action: Stop the FCC's KYC Regime
I will not be called to action by a page with a big slop image at the top.
terminalbraid··on Show HN: Homebrew 6.0.0
How do you square advocating for the "Open Source Resistance" which touts "stop asking for permission" to do software and then saying "we need everything on MacOS to be signed and will be dropping packages that don't get Apple's permission"?

I'd consider donating, but I find that behavior to be part of squeezing free computing and participating in and advocating for the corporate erosion of ownership of one's hardware environment.

terminalbraid··on Entanglement Builds Space-Time. Now "Magic" Gives It Gravity
An ant traveling at constant speed on a "scrunched up section of a table cloth" will still take the same amount of time following the same path to get from A to B. Any material analogy requires some kind of stretching or compression.
terminalbraid··on Mathematicians issue warning as AI rapidly gains ground
Consider that since an LLM is really just an large encoding of data, the "proof" is in there already. All further work on it is effectively only rearranging words. Then all math an LLM is capable of is "done" and we have the "proof" in the LLM which by your definition is now "MUCH easier to understand" and this work is somehow sufficient.

Do you see the problem with your reasoning?

terminalbraid··on The newest Instagram “exploit” is the goofiest I've seen
But the agent could be trained on sensitive data that could leak which could enable a different attack.

Saying it's safe to "ignore" anything that exposes information is dangerous. You might as well claim social engineering isn't real as long as the person doesn't have direct access to the thing you want.

← PreviousPage 2 of 12Next →