HNHacker News
TopNewBestAskShowJobs

bheadmaster

5,648 karma · joined March 31, 2021

just some random guy on the internet
submissionscomments
bheadmaster··on Type Server Protocol
If Go is a junior developer onboarding language, then I proclaim myself a perpetual onboarding junior.
bheadmaster··on Ask HN: Why HN dosen't have bot problem?
Survivorship bias. The bots that go through are so human-like you don't even register them as bots.
bheadmaster··on JDK 28
> For complex enough and long-running application your run-of-the-mill Rust (so probably what AI would generate) will likely be slower than your run-of-the-mill Java.

That phrase "complex enough" seems to be quite load bearing.

At which point does complexity reach the tipping point where a Java implementation becomes faster? From my experience, the more complex the application, the more enerprisey the Java code becomes, relying heavily on dynamic capabilities that make it slow even by Java standards.

bheadmaster··on Non-Determinism Doesn't Matter
It seems to me that the phrase "non-deterministic", which has mathematical definition, is used as a fancy word for unreliable - same way that "misinformation" is used as a fancy word for lies.
bheadmaster··on Libreboot 26.10 "Ominous Olive" released with UEFI, Chromebook support
Free Software was a moral & ideological issue to Stallman.

I feel people have the right to bring any sort of issue into the projects they make. Nobody is forced to participate.

bheadmaster··on A Modern Web App in C
FWIW, there's modernc.org/sqlite which already provides pure Go sqlite implementation.

Might be useful to test your own implementation against.

bheadmaster··on A 40ms Go garbage collector pause caused by swap
> more predictable runtime performance

Not really, reference counting can cause a single object deallocation to trigger an arbitrarily long chain of deallocations.

bheadmaster··on First Principles Thinking
Thinking alone about fundamentally deep problems can be poweful, but most software problems are not that deep, they follow a pattern, and it's only a question of discovering them. Doing that alone is inherently slower and less efficient than discussing it with a colleague.

AI just serves as a substitute - an artificial conversational partner.

I feel like you consider yourself more virtuous for not using AI for discussion. Would you consider people who don't talk to colleagues at all, but do all the work themselves more virtuous in an analogous manner?

bheadmaster··on First Principles Thinking
This is one thing I actually do with a chatbot, instead of an agent. Voice mode even.

I start talking to it while doing menial tasks like cleaning or doing the laundry, and I discuss the architectual decisions and options until I come to some resemblance of a plan.

Good side of this approach is that I can't just "skim over" or "copy paste" things - either I understood them and can repeat them myself, or I can't. It takes more time than /grill-me and similar approaches, but it's the only approach that doesn't make me want to claw my brain out.

bheadmaster··on Why is the liver so weirdly regenerative?
Whatever the actual reason for choosing the liver was, we can be certain it wasn't its regenerative property, since such proprerty was unknown to the Greeks at the time.
bheadmaster··on Why is the liver so weirdly regenerative?
I phrased it awkwardly. Simply put, in Ancient Greece, liver was something like heart in modern society. It was the seat of human emotions.

So by destroying Prometheus' liver, Zeus attempted to destroy his human emotions, including his pride and defiance against gods.

bheadmaster··on Why is the liver so weirdly regenerative?
For what it's worth, Prometheus was a Titan, and Titan was immortal, so his liver regrowing the next day wasn't really that special. If eagle fed on his heart, or lungs, they would've regrown too.

The Greeks chose liver because it symbolized the defiance Prometheus had against gods.

bheadmaster··on OpenAI's Sam Altman to Brief UN Security Council Next Week
No, this is not the first time. Scaremongering by frontier AI CEOs has been going on since ChatGPT came out, every time with a massive investment following.

OpenAI got $10 billion from Microsoft after Sam Altman claimed AI could lead to extinction of humanity.

Anthropic got similar multi-billion dollar funding from Amazon and Google after warning AI could develop biological weapons.

xAI got similarly massive funding after Elon Musk predicted a terminator-style future.

If you don't accept this as "empirical evidence", then there's nothing to discuss.

bheadmaster··on OpenAI's Sam Altman to Brief UN Security Council Next Week
> Because we can't observe the counterfactual world, this actually is just an assumption.

If you discard all empirical claims categorically due to "inability to observe the counterfactual world", your own reasoning falls apart. Why would you assume people mean what they say?

> Diving their intention also still requires many assumptions about their intermediate beliefs that I find dubious

You're assuming CEOs of multi-billion dollar companies are honest. I find that dubious.

bheadmaster··on Why building a Rust LSP is hard
Care to provide a counter-example?
bheadmaster··on OpenAI's Sam Altman to Brief UN Security Council Next Week
An assumption is something that we can't know, yet assume is true for the sake of coming up with a theory. What we're assuming here is their intention.

The implication (or as you said, "the links"), that talking about how dangerous their product is leads to more money, is true regardless of their intention. They create hype, they get money, that's not an assumption, that's an observation.

The question is only if their intention was to make money, or are they speaking from the heart. That's the assumption we choose.

bheadmaster··on OpenAI's Sam Altman to Brief UN Security Council Next Week
Occam's razor is about minimizing the number of assumptions needed for a conclusion. In this case, "they believe it" is the same number of assumptions as "they get paid" - just one.
bheadmaster··on Why building a Rust LSP is hard
Most of which run the code in a subprocess and use IPC.
bheadmaster··on Why building a Rust LSP is hard
In order to have direct function calls, you need to load the plugin's code in your own memory. Which means you expose your own memory to the plugin. Any malicious/buggy plugin could wreak havoc on your program - even managed code doesn't solve that problem in general.

IPC is the natural solution to that - run a process in its own address space and communicate with it via I/O. TCP is not most optimal, but it is uniquous. Same thing with JSON.

In LSP, most of the processing happens in the LSP server anyway - communication overhead between client and server is negligible in comparison to it.

bheadmaster··on Meta continues to run ads promoting child sexual abuse material in India
> Which is true as well

Not quite, as if it was, the War on Drugs would succeed. Instead, it failed spectacularly.

People using Meta products are not making an arbitrary choice that happens to be evil. They are using Meta because other people are using Meta (network effect) or because it helps them calm down after a long day (addiction).

You can say they are "technically part of the problem", as in, their usage supports Meta existence in some micro way, but that doesn't warrant the harsh phrasing you've presented in the original comment.

Punishing addicts doesn't solve the social problem of addiction, in the same way that punishing homeless people doesn't solve the social problem of homelessness.

bheadmaster··on Meta continues to run ads promoting child sexual abuse material in India
"People who are using this shit of a drug should be aware that they are part of the problem with every line they do, whenever they fetch a bag of cocaine. You are part of the problem"
bheadmaster··on Initial effects of AI technology on employment look positive
> It’s dark times for employment currently unless you’ve got a rare nepotism path.

In the civilized society, we call that "recommendation".

bheadmaster··on The Real Luxuries In Life
It's because we're no longer a burden.

Many parents would gasp at this sentence, but the same parents would likely complain to anyone who'd listen about how negatively their children are affecting their lives.

bheadmaster··on Building an (almost) fully self-hosted, sandboxed, agentic software factory
I've had an idea for an automated verification for a while, but too busy to implement it.

For every property of the system, implement a mock that simulates a system that works, and multiple variations with forseeable bugs (models are fairly good at predicting possible bugs). Then, write a unit tests that pass on the working simulation and fail on the buggy simulations.

This way model ensures reasonably well that the unit tests test what they're supposed to. Then, you use those tests as a verification to guide the model to implement the functionality.

This approach relies on the assumption that the model can design a reasonable architecture composed of independently-testable modules. In my experience, frontier models should be able to do that.

bheadmaster··on We rebuilt the Linux MicroVM stack on Apple Silicon
Are there any technical reasons to override native scrolling functionality in the first place?
bheadmaster··on Protobuf has LSP support
Make sure to take reporting negativity bias into account. People will speak up when they don't like something, while stay quiet when everything is fine.

I, personally, enjoy Buf. It has solved many frustrations I've had with The Way it was previously done, manually installing protoc plugins, writing arcane flags into scripts nobody wants to touch, working around various quirks, like how protoc produces different output based on which directory you invoke it in, et cetera... I don't quite like the remote plugin model and rate limiting, but using local plugins is easy enough that it doesn't matter.

Buf has made my life easier, and I've actually been using `buf_ls` for a while now in NeoVim. I understand where the criticism of the title comes from, but I don't personally feel it in this particular case. In fact, I didn't even notice it.

I don't even mind the monetized properietary cloud thing, as long as Buf CLI and the related toolchain remains free software, serving the community. Hope you won't do the ol' switcharoo any time soon.

bheadmaster··on Parametron: 50s Japanese computer that uses neither transistors nor vacuum tubes
Your comment is AI. My tarot reader gypsy woman flagged it with 95% confidence
bheadmaster··on Thoroughly Understanding C++ ABI (2024)
Yeah, I'm not interested in decoding what you meant by your aphorism. Either say what you mean or don't.
bheadmaster··on Thoroughly Understanding C++ ABI (2024)
System V ABI is pretty standardized.
bheadmaster··on AMD acquires Taalas to boost inference performance by etching models in silicon
It's possible in the future we will have Rick and Morty style AI in literally everything just because it's so easy to add it.

    Sentient Switchblade: "Hi Beth! You've gotten taller! Shall we resume stabbing?"
Page 1 of 34Next →