HNHacker News
TopNewBestAskShowJobs

FranchuFranchu

203 karma · joined April 24, 2021

Type theory is great!

meet.hn/city/ar-Buenos-Aires

submissionscomments
FranchuFranchu··on Laugh Along with GNU – GNU Humor
The dictionary section is really funny. Highly recommend it.
FranchuFranchu··on What Instagram’s upcoming Twitter competitor looks like
Wow, so this will integrate with ActivityPub? This makes me quite hopeful. Maybe ActivityPub will be the new e-mail of social platforms, and Meta's product will be the GMail of ActivityPub. I think social platforms are something that really needs some decentralization.
FranchuFranchu··on The Dangerous Ideas of “Longtermism” and “Existential Risk”
I agree with you regarding many areas of thought, where conclusions can be reached by deductive or inductive reasoning from premises.

However, these people are proposing a "new axiom set" of sorts, where lives now have the same utility as the possibility of saving life in the future. Ethical principles have no further premises and are derived entirely from one's ideas and feelings. The ideas and feelings here are obviously biased. I think we should look critically at ideas that spring up from biased people.

FranchuFranchu··on The Dangerous Ideas of “Longtermism” and “Existential Risk”
I would take longtermists seriously if they were one of those poor people they talk so much about. But right now, there is an obvious conflict of interest when they speak about longtermism.
FranchuFranchu··on LHC experiments see first evidence of a rare Higgs boson decay
Arm chair physicist however I know how this data is analyzed, so I have something to say:

I think there's a better and perhaps clearer to understand interpretation here: All particles have an invariant mass, inherent to the particle itself, and a momentum, which is, roughly related to velocity in matter and frequency in photons (but not quite!). These together determine the energy a particle has.

Some particles are long-lived and some are short-lived. The Higgs boson is short-lived. In these collisions, it really does exist for a period of time, however, it decays to smaller particles with an total energy that equals the energy of the original Higgs boson. The ATLAS detector detects these long-lived stable particles.

The phenomenon you are attempting to explain is particle decay (why the Higgs boson decays into other particles). I never heard of inter-field energy dissipation as a cause for particle decay, but it seems really interesting. However, I don't really understand what "inter-field energy dissipation" means. They are all very theoretical terms to me.

I am comfortable with hand-waving it as "particles decay because they decay, because that's the way the laws of physics work, and it's allowed because the resulting state is of higher entropy". It seems like it is a phenomenon that is very hard to explain.

FranchuFranchu··on RedPajama: Reproduction of LLaMA with friendly license
I think that at this point, LLM etymology is way more interesting than LLMs themselves.
FranchuFranchu··on Perfect Circle
I got 20% by drawing an ellipse
FranchuFranchu··on Complementary foundations for mathematics: when do we choose? [pdf]
I really enjoyed reading this. It was mind-opening.

I wonder if in the future, something useful with practical applications will come out from this philosophy, and we'll look back to 2022 the same way we look back to geometers who tried to prove Euclid's fifth postulate.

FranchuFranchu··on Freedom to Roam in Scotland (2019)
The mystery of the squarest country: https://www.youtube.com/watch?v=8mrNEVUuZdk
FranchuFranchu··on Building an interpreter for my programming language with ChatGPT
I tried to make ChatGPT solve IMO-type math problems. However, its reasoning is almost always flawed. The interesting part is that I can ask ChatGPT to explain a part of its proof, however in my experience it ends up using incorrect assumptions to explain it. (for example, "You are right that 1 is an odd number. However, 1 is not an odd number so it works to solve the problem")
FranchuFranchu··on Why America’s Railroads Refuse to Give Their Workers Paid Leave
Here in Argentina, the right to strike is granted by our constitution. A restraining order preventing unions from striking would be seen like a restraining order preventing voters from voting.
FranchuFranchu··on Inside the Proton
It's a bit like the "energy" in an electric capacitor. It's a property of the system's state that is related to the interactions between the particles.

In a charged capacitor, there's a lot of electrons on one side, but very few of them on the other. When you close the capacitor, suddenly you get a lot of energy out of it.

FranchuFranchu··on What I learned trying to classify abortion access across the rich world
> whether this is sinful or not completely irrelevant to whether it should be illegal

Unless your country has an official religion. Making the sins of that specific religion illegal would not not make sense there.

FranchuFranchu··on The ideal praise-to-criticism ratio (2013)
0 to 7 is the positive:negative ratio of this comment section as of writing.
FranchuFranchu··on Supreme Court Overturns Roe vs. Wade
If the Republicans tried passing laws with a federal ban on abortion, a federal ban on same-sex marriage, and a federal ban on contraception, they would lose a very, very, large portion of their voting base. I highly doubt they will do it.
FranchuFranchu··on Hot or Not?
I think that this has good intentions, at least. Science should be easily reproducible. But using the median for this is very very silly, and I don't think the results from this are very meaningful.
FranchuFranchu··on Show HN: A central bank simulator game with a realistic economic model
I tried setting interest rates to 20% for the whole game, with... interesting results.

Inflation rised steadily as people ate all the apples in the market.

At the beginning it looked like inflation would never stop, but at some point an orchard managed to become profitable, becoming crazy rich ($22000) because apple prices were at $100. This made apple prices crash, going down to $0.02. This pattern repeated itself a few times.

GDP stayed very low, obviously.

FranchuFranchu··on Brain wave signals during sleep show how risk-seeking people may be
I'm not knowledgeable about statistics and studies like this in general; do you mean this is a "green jelly beans cause acne" [1] situation, where you test for many hypotheses and one of them turns out to be significant?

[1]: https://xkcd.com/882/

FranchuFranchu··on ReVanced
12 bucks is about two or three days of work where I live. I will do everything that is in my hands that won't get me arrested to save money and improve my quality of life. Google does the same, so why shouldn't I?
FranchuFranchu··on Ask HN: Why can't await be used from non-async functions?
Because the sync function does not know what to do in case the async function doesn't return immediately and awaits something else. It can't block because that would block the whole thread, possibly including UI. Spawning a new thread and blocking there would break the whole point of async and would be expensive.
FranchuFranchu··on Learn Rust by writing a small OS
I really like this website's design. It's an elegant way to group topics.
FranchuFranchu··on Sunsetting the Bethesda.net launcher and migrating to Steam
The thing I like the most about Steam, and this outmatches everything else, is the regional price localization. 60 USD is not worth the same around the world, and Steam compensates for it.
FranchuFranchu··on Education Department Forgives $415M of For-Profit College Debt
I don't see the problem. A huge for-profit organization gets free money in the shape of a student loan, without spending any of it because the degree is allegedly worthless, and then the money gets taxed to pay the loan off? It cancels out.
FranchuFranchu··on How light is a neutrino? The answer is closer than ever
My understanding is that an electron volt is the energy an electron needs to move against an electrical gradient of 1V (imagine like rowing against the current). It is a unit of energy, so at first glance it doesn't really make much sense to use it a a mass unit. However, since e = mc2, you can calculate the mass that is equivalent to 1 eV (which, in kg, turns out to be about 10 to the power of -36).

The electron volt is related to the electric charge of the electron, not to its mass. Similarly, a magnet weights more than its strength turned into mass.

FranchuFranchu··on Rusty Typestates – Starting Out
I wonder if it would be a feasible to have some sort of internal compile-time variable in each binding that could make compile-time states not have to use hacky methods like this one.

Essentially, instead of the compile-time value attached to a binding only being a type (with generics, optionally), it could also have a regular Rust value attached to it.

FranchuFranchu··on Linux in a Pixel Shader – A RISC-V Emulator for VRChat
This is insane
FranchuFranchu··on IPv6 Watch
Obviously, anyone already using this site can already afford IPv4
FranchuFranchu··on Right or left, you should be worried about big tech censorship
"Whoa, it's the guy in that one xkcd comic!"
FranchuFranchu··on Mozilla rolls out DoH to Canadian users of Firefox
> They force package managers in the name of freedom. Who will be the server? Canonical? RedHat? One must use wget, tar, and gcc on linux. Everyday the reasons to keep GNU/Linux are converging to 0.
FranchuFranchu··on GitHub Copilot is not infringing copyright
> without any benefit to original authors

I don't really expect any benefit when writing some pieces of code. These days I just make certain types of code I make public domain, because if it's MIT then BigCorp inc. will just make my name one in a really long list of contributors, and I won't get any benefit either.

← PreviousPage 2 of 4Next →