HNHacker News
TopNewBestAskShowJobs

bheadmaster

5,648 karma · joined March 31, 2021

just some random guy on the internet
submissionscomments
bheadmaster··on Notes on switching to Helix from Vim
I personally like Neovim's defaults since it fixes a few rough spots in old school Vim defaults.

Bonus is once you get used to defaults, almost every server has a Vi installed whose basic features you can use.

bheadmaster··on Love C, hate C: Web framework memory problems
> Ideally, there is only one allocation and deallocation in the entire program.

Doesn't this techically happen with most of the modern allocators? They do a lot of work to avoid having to request new memory from the kernel as much as possible.

bheadmaster··on Interactive Double Pendulum Playground
Because of the constant-length rigid connections, they start behaving like celestial objects in perfect orbit.
bheadmaster··on Kirigami-inspired parachute falls on target
I used to be an adventurer like you.

But the I took an arrow to the knee.

bheadmaster··on Kirigami-inspired parachute falls on target
Hey! As a simulated NPC, I don't appreciate being called out like that.
bheadmaster··on Y'all are over-complicating these AI-risk arguments
> Will some kind of magic turn these AIs into independently acting agents once they get smart enough? I doubt it.

Not quite magic, but it just might be the case that developing independent acting capabilities would be the most efficient way to serve humans.

bheadmaster··on A 3K-year-old copper smelting site could be key to understanding origins of iron
RuneScape has it right the first time.
bheadmaster··on Rio Terminal: A hardware-accelerated GPU terminal emulator
In short - it depends on your CPU and your display configuration.

On a 640x480 screen, a terminal will probably render fine with low CPU overhead. On a HiDPI screen, CPU may have millions of pixels to render for a single terminal window.

It's not that different from other application programs IMO. DAWs and VSTs often offload rendering to GPUs to save as many CPU cycles as possible to get the latency down. I love having low latency in my terminals, so I prefer GPU accelerated emulators.

bheadmaster··on Type Theory and Functional Programming (1999) [pdf]
> By far the most popular language, Python, doesn't even have static typing.

Arguably, Python is statically typed - it's just that it only has one type: object.

bheadmaster··on Rio Terminal: A hardware-accelerated GPU terminal emulator
> why I should want my terminal to be hardware-accelerated

So your CPU can focus on doing useful computation instead of software-rendering the terminal.

bheadmaster··on Greatest irony of the AI age: Humans hired to clean AI slop
I don't disagree with the conclusion, I disagree with the reasoning.

There's no reason to assume that models trained to predict a plausible next sequence of tokens wouldn't eventually develop "understanding" if it was the most efficient way to predict them.

bheadmaster··on Greatest irony of the AI age: Humans hired to clean AI slop
> Semantic symbolic computation on natural languages still seams like a great way to bring reasoning to computers, but LLMs aren't doing that.

But they do close a big gap - they're capable of "understanding" fuzzy ill-defined sentences and "infer" the context, insofar as they can help formalize it into a format parsable by another system.

bheadmaster··on Greatest irony of the AI age: Humans hired to clean AI slop
> LLMs are not AI. Machine learning is more useful.

LLMs are a particular application of machine learning, and as such LLMs both benefit by and contribute to general machine learning techniques.

I agree that LLMs are not the AI we all imagine, but the fact that it broke a huge milestone is a big deal - natural language used to be one of the metrics of AGI!

I believe it is only a matter of time until we get to a multi-sensory self-modifying large models which can both understand and learn from all five of human senses, and maybe even some of the senses we have no access to.

bheadmaster··on Is Zig's new writer unsafe?
I've never worked with Zig in my life, and I don't have an opinion on it either. I've heard it's neat. Despite that, this post was intuitively clear to me.

Zig's *std.Io.Reader and Writer seem to be abstractions over many types, like Java's interface class, Go's interfaces, C++'s concepts or Rust's traits. However, it seems that abstraction itself is leaky - in that the length of the buffer is an implicit dependency which cannot be known from the type alone.

Admittedly, we don't know if there's a good explanation for the behavior - but then again, HN comments are as good a place to learn as any. Maybe someone will come up and explain.

bheadmaster··on The best YouTube downloaders, and how Google silenced the press
They still want the YouTube experience to be smooth, to allow users to skip small parts of videos without waiting for it to load every time, to be able to watch multiple videos at the same time, to be able to leave video paused until it loads, etc., which limiting downloading data would hinder. I assume blocking downloads is just not worth destroyinf user experience.
bheadmaster··on Keeping SSH sessions alive with systemd-inhibit
I assume that's a parody on systemd developers' attitude towards The Unix Way (TM).

This github issue comes to mind:

https://github.com/tmux/tmux/issues/428

bheadmaster··on Java 25's new CPU-Time Profiler
> Isn’t trying to build any complex project a pray on the first try?

I managed to build Docker Daemon - one of the most widely used and complex Go projects - from source with a simple `go build`.

I've never figured out how to build Jenkins from source.

Do you know of any widely used Java project that has a simple build process? Maybe a positive anecdote could change my mind.

bheadmaster··on Java 25's new CPU-Time Profiler
> to build a modern java project with gradle [...] it just works.

That's the thing - it "just works" if you're on a "modern" Java project, if it uses Gradle, and if it uses it properly. Most of the Java projects I've had pleasure on working profesionally were not on that standard of quality.

You may argue that it's up to developers to keep build system simple, but in that case C++ tooling also "just works" because you can build a modern C++ project that uses CMake in two commands.

Good tooling prevents the project build process from becoming an undocumented Rube Goldberg's machine.

bheadmaster··on Java 25's new CPU-Time Profiler
In my experience, the problem of Java is the lack of standardized tooling.

To build an average Java software, you have to install a specific version of JDK, download a specific build system (Ant, Maven, Gradle, Bazel), hope everything works out on the first try - and if not, debug the most-likely-XML spec file searching for invalid dependency that's printed out on the 1000-line error output...

What Java is desperately missing is something like Python's `uv`.

---

Sibling comment mentioned that debugging Java itself is also a nightmare, which reminds me of the many Spring Boot projects I've had to debug. Stack traces containing 90% of boilerplate code layers, and annotations throwing me from one corner of the codebase to another like a ragdoll...

Admittedly, that's not inherently the problem of Java, but rather the problem of Spring. However, Spring is very likely to be found in enterprise projects.

bheadmaster··on Integer Programming (1977) [pdf]
I find the idea of a language model solving an integer programming problem odd. LLMs can barely do basic arithmetic. How do you imagine this happening?
bheadmaster··on New research reveals longevity gains slowing, life expectancy of 100 unlikely
> very illogical to hope

Hope is a feeling of expectation of positive outcomes, therefore illogical by definition.

bheadmaster··on Cognitive load is what matters
> Okay, I get the cognitive load is bad, so what's the solution?

Modularity.

Each component in your system should be a (relatively) simple composition of other (smaller) components, in such a way that each component can be understood as a black box, and is interchangable with any other implementation or the same thing.

bheadmaster··on Writing a basic service for GNU Guix
Reproducibility, just like Nix.

You can be certain that, if you've managed to get a piece of software running with Guix, you can also get it running identically on any other machine.

bheadmaster··on Go’s race detector has a mutex blind spot
The ultimate argument against goto was the proof that structured concurrency could express any flowchart simply by using the switch statement.

Is there a similar proof for structured concurrency - that it can express anything that unstructured concurrency can?

bheadmaster··on You can now disable all AI features in Zed
> why argue about it at all

Because double negatives are confusing. Enable_AI = true is much clearer than Disable_AI = false.

bheadmaster··on You can now disable all AI features in Zed
> Enable_AI COULD have the connotation (to some) of just enabling the visibility of the feature, whereas Disable_AI gives more of a sense of shutting it off.

Personally, I don't feel much difference between the two. I doubt that an average reasonable person would either.

bheadmaster··on Trying Guix: A Nixer's impressions
> what has had FSF backing and been successful?

GCC is still indispensable. I doubt it will be rewritten in Rust any time soon.

bheadmaster··on AI coding tools can reduce productivity
> Patient outcome and contentedness compared to others with similar indications

Which would incentivise doctors to refuse to treat patients who are more ill, lest they risk their ratings go down.

bheadmaster··on AI coding tools can reduce productivity
It's all so great in theory, where you get to imagine an ideal world in which all our incentives align and we're all rowing on a big boat towards success.

In real world, most things don't work out that way. What metrics do you use to measure surgeons' success? If you use fatality rate, then as a result surgeons will refuse to do more risky surgeries which will put their ratings at risk, which makes the healthcare worse, instead of better.

bheadmaster··on AI coding tools can reduce productivity
> Yes, yes we can.

Of course we can. But can we do it in a meaningful way, such that the metric itself doesn't become a subject to optimization?

"When a measure becomes a target, it ceases to be a good measure"

← PreviousPage 6 of 34Next →