HNHacker News
TopNewBestAskShowJobs

mb7733

952 karma · joined December 19, 2019

submissionscomments
mb7733··on Baltimore disaster may be the largest-ever marine insurance payout
What makes you think this is not the case? According to the article this disaster was within the parameters the the insurers planned for, even though it is the biggest of its kind.
mb7733··on Baltimore disaster may be the largest-ever marine insurance payout
According to the article, no.
mb7733··on Florida's DeSantis signs law restricting social media for people under 16
>Even if it was the town square many actual town squares require adults to accompany minors. Sure enough if you had a bunch of unattended 12 year olds hanging out the cops would be called and parents asked to be parents.

What? Where is this the case?

mb7733··on CBD products don't ease pain and are potentially harmful – new study finds
The problem is without a control you can't tell the difference between whatever you are describing and the placebo effect.
mb7733··on How do MRI Headphones work? (2022)
You're not alone. The "music" combined with the visual sensory deprevation can be a trip. Some machines are completely featureless on the inside and I've found it can feel like I'm floating in a bit open space, not crammed into a magnetic tube!
mb7733··on CBD products don't ease pain and are potentially harmful – new study finds
Not picking a side on this issue... but there's millions of people who will swear all kinds of things
mb7733··on The internet is slipping out of our reach
Is flat earth a right wing position now?
mb7733··on How I keep myself alive using Golang
Great article! While I haven't done anything as involved I have found using technology to track health issues to be empowering myself.

I'm curious about your thoughts on insulin pumps. I'm not very familiar but I know a few people with T1 that use them and seem happy with them. My understanding is that the idea is that they both monitor glucose levels and supply insulin to keep things stable. Have you considered them? Is there a limitation/downside to them that isn't obvious to a non diabetic? Thanks!

mb7733··on Velato: A programming language where source code must be a valid MIDI music file
> Keep in mind that this set of notes is not the actual program; if a MIDI file is created from this progression of notes, the concurrent notes might be interpreted in a different order in the file, and create an invalid program.

Is the order of notes within a chord the _only_ extra info required on top of a musical score? If so, with some "tie-breaker" I think you could encode any Velato program unambiguously in sheet music.

For example, if notes in a chord were interpreted as commands from lowest to highest pitch, you could move notes up and down by octaves to determine the command order. Just a thought... I like the idea of piece-as-program.

mb7733··on Children need risk, fear, and excitement in play
Is that _really_ that big of a problem? As a non-American, I did not do my undergrad at a school as prestigious as the top ones in the USA. And yet, I am very happy with both my education and my career. (Probably more so than the average hacker news commenter, based on what I read here!)

To put this in American terms, is it really the end of the world to just earn your bachelor's at a solid but not necessarily elite public university? Thereby avoiding the need to "grind" so hard throughout your youth and adolescence? What are the stakes really?

The way I see it, if elite academics is the goal, graduate school is the time to be more selective because at that point one knows where to go based on one's research interests. If entrepreneurship is the dream, then the choice of school doesn't matter much at all! Otherwise, I think there are plenty of great jobs out there that don't require you to have gone to the #1 school in the country.

To be clear, I'm not American so I may just be completely misjudging the apparent importance of choice in school. Also, I likely have different personal priorities than you, so I'm not trying to deny your experience. I just question whether it is _really_ necessary "these days" to optimize childhood around getting into an elite university. I think it's really just a matter of priority.

mb7733··on You've just inherited a legacy C++ codebase, now what?
How does reformatting trash the history? It's one extra commit..

I guess if it splits or combines lines that could cause some noise if you really want the history of a single line... But that happens all the time, and I don't see how it would really prevent understanding the history. You can always do a blame on a range of lines.

Maybe I'm missing something though, genuinely curious for a concrete example where reformatting makes it hard to understand history!

mb7733··on Children need risk, fear, and excitement in play
> That said, the stakes are so much higher these days that it is impractical to give kids total freedom. The long-term costs and lost opportunity is just way too high.

I'm curious, could you expand on this? In what ways are the stakes higher?

mb7733··on BYD launches $15,000 EV
Average price of a vehicle is not a good metric for this. If a bunch of Americans finance $150k trucks (and they do!), that inflates the average, but it's not relevant.

What's relevant is the lowest price for the economy/compact model of a mainstream brand, which seem to be around $20k. For a $5k difference (or less) I don't know if gambling on a new Chinese electric car would be that attractive.

mb7733··on BYD launches $15,000 EV
I was curious so I looked it up. The 2024 Corolla starts at $21,900 in the US. The cheapest '24 I could find was the Nissan Versa at $16,390.

Of course, neither of these are electric. But they are also well known makes in the American market.

mb7733··on Duolingo Sucks, Now What?
At one point it definitely was helpful. I'm not going to claim it could make you fluent but I used it maybe 10 years ago to practice and I found it valuable. It had long form explanations of grammar, exercises that required you to listen and type sentences as responses, and pretty useful forums if you had questions.

I checked it out more recently and it had become much more superficial and I didn't find it worthwhile at all. It seemed totally targeted at mobile where everything was multiple choice and gamified.

Maybe the good stuff is still there somewhere but I couldn't find it and quit.

mb7733··on My favourite Git commit (2019)
What gave you the impression that I haven't heard of gitk?
mb7733··on My favourite Git commit (2019)
I don't know how my comment was understood to mean that I am unfamiliar with git. My point was that those of us that use the git CLI have no issues seeing the rest of a commit message besides the first line, and in fact this is the default.
mb7733··on My favourite Git commit (2019)
> I can't imagine that all of your interactions with your codebase are via `git log` with no other flags.

When did I say anything like that?

My point is just that the `git log` command, by default, shows the full commit message. The same goes for `git show`. So a user of the git CLI will regularly see complete commit messages, unless they purposefully request a different format. So, it is not some inherit problem in git that the complete commit message is hard to find. That's just a limitation of certain Git frontends.

mb7733··on My favourite Git commit (2019)
Well, `git` is still the primary way I interact with a git repository, and `git log` shows the entire commit message by default. So I don't run into this problem.

If some "modern" git frontend is only capable of displaying the first line of a commit message, then this is a problem with that tool, not git itself.

(I'm also not convinced this is a limitation of all modern tooling...)

mb7733··on Tear up unused parking lots, plant trees
Honestly, having lived in Vancouver as well as many cities that _do_ have highways running right through town, I didn't miss that in Vancouver at all. Traffic will suck both ways, and at least Vancouver avoids having ugly, loud highways along its waterfront and through most of its downtown.

Definitely, the best case for cars is to have fast highways that bypass the city, but there isn't a lot of room with that given Vancouver's geography, so it's a lesser-of-two-evils. Beyond cars, public transit and cycling provide a better solution in my opinion anyway.

Regardless... the biggest traffic pain point in downtown Vancouver is the 3-lane (total) Lions Gate bridge.

mb7733··on AlphaGeometry: An Olympiad-level AI system for geometry
Like I said, it's got nothing to do with computers or AI. This point of view predates any kind of AI that would be capable of doing either.

The analogy is as follows. Like with with leetcode & job interviews is as follows, to excel at math competitions one must grind problems and learn tricks, in order to quickly solve problems in a high pressure environment. And, just like how solving leetcode problems is pretty different than what a typical computer scientist or software engineer does, doing math competitions is pretty different than what a typical mathematician does.

mb7733··on AlphaGeometry: An Olympiad-level AI system for geometry
No, that sort of thing has been said about math competitions for a long time. It's not a new argument put forward as something against AI.

An analogy with software is that math competitions are like (very hard) leetcode.

There was an article posted on HN recently that is related: https://benexdict.io/p/math-team

mb7733··on Go: What we got right, what we got wrong
I think you misread the sentence you quoted.
mb7733··on Linux hits nearly 4% desktop user share on Statcounter
Also curious to know this! I've been using Mint & Cinnamon for about 10 years and haven't bothered looking at an alternative.
mb7733··on Maybe getting rid of your QA team was bad
Don't teams assign points to their own tickets? So how could one compare the points between teams?
mb7733··on Ask HN: What are some unpopular technologies you wish people knew more about?
I believe the whole language is "style insensitive" for variable names. So it's not just a feature of the stdlib.
mb7733··on Bluetooth stack modifications to improve audio quality on headphones without AA (2019)
I can't say I followed any guide because they just paired like any other bt peripheral. Have you had success with any other Bluetooth devices?
mb7733··on Fish – Update on the Rust port
>Seems to me they're not doing it gradually at all.

They are doing the release all-at-once, but developing gradually. From the original PR[1]:

>This should be thought of as a "port" instead of a "rewrite" because we would not start from scratch; instead we would translate C++ to Rust, incrementally, module by module, in the span of one release. We'll use an FFI so the Rust and C++ bits can talk to each other until C++ is gone, and tests and CI keep passing at every commit.

[1] https://github.com/fish-shell/fish-shell/pull/9512

mb7733··on Git Branches: Intuition and Reality
While I agree changing branches is the most common use-case for git checkout, it's far from the only "normal" one. The form that updates files to match revisions is actually mentioned first in the man page:

  DESCRIPTION
    Updates files in the working tree to match the version in the index or the specified tree. If no pathspec
    was given, git checkout will also update HEAD to set the specified branch as the current branch.
Now that `git switch` exists, one could argue that this is the main use case for `checkout` and the other one could be deprecated.
mb7733··on Bosque Programming Language
Very interesting ideas -- all the way the small practical stuff like being able to expose symbols only for testing without making them public, up to the more ambitious stuff about validation and constraint checking. As a broad research language the pitch is probably not focused enough to draw in users that happen across the docs, but I doubt mass adoption is the goal at this point!

I would love to use a language that implemented even just the "simple" parts, and I doubt I would be the only one.

One specific suggestion I have about the overview and docs is that I think the language around "Cloud" and "Restful/API computing" is more specific than it needs to be. While features like the APITypes would definitely be most useful for cloud/web software, I think the same ideas could be very useful for any kind of software. Anything that even writes a JSON config file could benefit from that concept if I understand it correctly.

← PreviousPage 5 of 12Next →