HNHacker News
TopNewBestAskShowJobs

couchand

4,397 karma · joined October 28, 2013

submissionscomments
couchand··on Ideas on modernizing the open-source desktop
Completely fair to complain that the icons do not indicate the purpose of each menu. They do helpfully name each menu in the tooltip: the hamburger on the left is "Main Menu", the three vertical dots in the location bar is the "Current Folder Menu" and the down arrow next to the view switcher is "View Options".

The Main Menu offers global actions, and appears in the left-hand global pane of the window. The Current Folder Menu offers actions specifically related to the location named in the location bar. The View Options menu is part of a split button with the view switcher, and has additional view-related options.

You're right that the icons themselves do not explain their full and complete functionality. Fortunately, we do not need to rely on hoping for the right labels for actions (be they textual or iconographic). For software intended to be used on a regular basis, it's worth spending a bit of time internalizing the model.

couchand··on We Write Code by Hand
Oh, we're back to using lines of code as a productivity measure?
couchand··on How much of F-Droid is LLM generated?
And they never will, with that attitude.
couchand··on Businesses with ugly AI menu redesigns
Not just you. There's been a huge pushback in the local music community around this. Concerts listings now prominently feature the name of the poster designer! Humans FTW.
couchand··on It's a shame what's happened to radio
Radio is still cool! But it's just not really on the FCC-licensed bands anymore. Independent Internet radio stations keep the spirit alive. Look around, there very well might be a vibrant local music-and-more community right in your neighborhood! Two stations I listen to regularly here in NYC:

8 Ball Radio - https://8ballradio.nyc

Radio Free Brooklyn - https://www.radiofreebrooklyn.org

Who else has favorites to share?

couchand··on OverpAId – Fire your CEO. Hire the future
And in truth it's a paradox. The better a company is (generally correlated to an empowered workforce with a sense of agency and purpose), the harder it is to extract profit for the capitalist class.

Which helps explain the "need" for CEOs to meddle.

couchand··on Claude Is Not a Compiler
The argument being made here is really incredible when you unpack it.

1) The construction of the Empire State Building was particularly effective due to the depth of human-to-human collaboration.

2) Isn't it great that we can burn a bunch of dinosaur blood to convince ourselves that we don't need other humans?

couchand··on Show HN: Teach your kids perfect pitch
> I tried learning to play a recorder (flute) using some internet howtos as a guide, but got stuck at the first lesson, when the sound produced by the flute didn't match what the Fourier analyser in audacity measured.

> That is, I tried to play a C, but the Fourier transform resulted in a bimodal distribution, and none of the bumps was near the expected C frequency.

What a wonderful experiment! You've uncovered "harmonics": your recorder (or any instrument) sounds a complex mixture of frequencies, even when you play just a single note. The different mix of frequencies from one instrument to another is what gives each a unique sound, called the "timbre". The harmonics of wind instruments like your recorder are particularly complex! Try the same experiment with a stringed instrument, which will make something closer to a pure sine wave. Try it with anything that will make noise!

But I'd recommend not using Audacity to learn to play an instrument. You need your ears for this, so it may as much effort developing listening as developing playing technique. But in the end, don't worry too much about that, just have fun making music!

couchand··on The future of everything is lies, I guess: Where do we go from here?
I can tell you as a resident of New York City that the negative effect of the automobile on the built environment is very much present here as well.
couchand··on How NASA built Artemis II’s fault-tolerant computer
If your implication is that stencil art does not take effort then perhaps you may not fully appreciate Banksy. Works like Gaza Kitty or Flower Thrower don’t just appear haphazardly without effort.
couchand··on Solar Balconies Take Europe by Storm
Fortunately they do, and in fact the article makes that clear. +1 for reading to the end of the paragraph that was quoted.
couchand··on Slop is not necessarily the future
I think camp 1 would rather see ten useless things than one useful thing.
couchand··on Ghost artists on Spotify
Interesting that your first counterexample is Charlie Parker. I've been listening to a lot of Phil Schaap's Bird Flight recently (https://www.philschaapjazz.com/sections/bird-flight). It's funny to see how many of the episodes are Phil describing a recording session more or less like this:

"The Bird showed up two hours late to a three and a half hour recording session. They recorded one take each of six tracks, but the recording engineer was surprised when they started so he missed the first half of the first track. And that's how we got the five tracks on <INSERT CRITICALLY-ACCLAIMED ALBUM HERE>."

couchand··on Traits are a local maximum
FWIW It's not at all clear to me how this requirement would be implemented in practice: "This syntax would explicitly be limited to orphan implementations."
couchand··on Avremu: An 8-Bit AVR Microcontroller Simulator Written in LaTeX
The classic AVR instruction set does not include multiplication, you have to be targeting a device that supports AVRe+, such as an ATmega rather than an ATtiny. Try adding -mmcu=avr5 and it will show up pretty quick. Example: https://godbolt.org/z/x951M8fn8

Edit: nice work author, I love it!

couchand··on Excerpts from a conversation about personal information management
What an incredibly on-the-nose anecdote, I love it!

The term of art for this strategy is "size to the horizon". Imagine you're looking across an open plain. The trees and rocks closer to you are bigger and you can make out more detail. The ones further away are still abstract.

You have to know exactly what to do with the things right in front of you, but you have to keep only a general awareness of that which is distant.

couchand··on Translation of Rust's core and alloc crates to Coq for formal verification
I apologize if my comment came off as snark. Your comment was nothing but pasted text which ommitted relevant detail, so it was not clear what the intent was. In context, to me, it did not seem to be illuminating. It actually seemed to be introducing confusion where there previously was none.

Data races are not possible in safe Rust. Race conditions are. The distinction is made clear in the Nomicon article, but commenters here are really muddying the waters...

couchand··on Translation of Rust's core and alloc crates to Coq for formal verification
That's decidedly not a data race, however.
couchand··on Translation of Rust's core and alloc crates to Coq for formal verification
On the one hand, we like to encourage learning here. On the other, we prefer not to copy-paste a bunch of possibly-irrelevant content. Well, forgive me for pasting in a StackOverflow answer that may be relevant here: https://stackoverflow.com/questions/11276259/are-data-races-...

> Are "data races" and "race condition" actually the same thing in context of concurrent programming

> No, they are not the same thing. They are not a subset of one another. They are also neither the necessary, nor the sufficient condition for one another.

The really curious thing here is that the Nomicon page also describes this distinction in great detail.

couchand··on Did GitHub Copilot increase my productivity?
Test code is code. It's as much of a burden as every other piece of code you are troubled with, so you must make it count. If you're finding it repetitive and formulaic, take that opportunity to identify the next refactoring.

Just churning out more near copies is not a good answer.

couchand··on Did GitHub Copilot increase my productivity?
This. The right way to structure database access is a result type per tuple, not an object type per table.
couchand··on Did GitHub Copilot increase my productivity?
Wouldn't standard ANSI SQL's information_schema be sufficient to build such an interface? I'm struggling to see how an ORM is necessary.
couchand··on Serial to Parallel Port Converter
Curious, MIDI is a decidedly digital protocol...
couchand··on ESP32 Drum Synth Machine
Lots of folks are doing front panels in PCB these days. They're precision and sturdy and you already have the workflow set up.
couchand··on Ointers: A library for representing pointers where bits have been stolen (2021)
My guideline with pointer tricks is: if you're not just masking bits it's too complicated for real use.
couchand··on Ointers: A library for representing pointers where bits have been stolen (2021)
Oh that's frightening they shift the entire pointer by the alignment
couchand··on Ointers: A library for representing pointers where bits have been stolen (2021)
I see that in the readme but I don't see where that's handled in the bitmasking. It appears to be universally masking high-order bits here: https://github.com/irrustible/ointers/blob/1961f75bbb9818d72...
couchand··on Ointers: A library for representing pointers where bits have been stolen (2021)
Am I misreading the bitmask code? It looks like (in addition to a few other ideas) it's using the old "stick a few extra bits in an aligned pointer", but it seems to be only manipulating high bits, whereas aligned pointer zeroes are low-order bits.

I'd suggest a heavier investment in testing infrastructure.

couchand··on U.S. Rules Apple Illegally Interrogated Staff and Confiscated Union Flyers
Not a lawyer here. Why does an Article III judge need to get involved, and not in other administrative matters, like say, in an administrative immigration case?

edit: further investigation has indicated that it's immigration law which deviates from usual practice of administrative law, which would potentially expect an automatic stay in a context like this.

couchand··on U.S. Rules Apple Illegally Interrogated Staff and Confiscated Union Flyers
With even a basic history of labor power under capitalism it's clear that police are one of the greatest threats to organozed workers due to their role enforcing the capitalist status quo.

Don't expect a wolf in sheeps' clothing to baa.

Page 1 of 34Next →