HNHacker News
TopNewBestAskShowJobs

notnmeyer

342 karma · joined May 20, 2020

* https://github.com/notnmeyer * https://nate.horse

notnmeyer.at.hn

submissionscomments
notnmeyer··on Bend – A language that blocks AI mistakes via proof, on CPU and GPU
this almost feels like a monkey paw scenario, where poor laws can fundamentally alter things in a way that is surely not intended.

"make the board 1x1"

and the flag is placed off the board... i feel like i would blow my foot off with this.

notnmeyer··on Bend – A language that blocks AI mistakes via proof, on CPU and GPU
I tried insisting that the bug and the walls were on different planes of existence... But then the flag gained "phase lock" and blocked me.
notnmeyer··on Ask HN: What default model do you use and why?
this is a really neat idea. thanks for sharing!
notnmeyer··on TreasuryDirect: Prepare for ID.me – Your New Way to Log In
i understand that, but i also didn’t feel facism taking hold before trump. probably a bad lumping of things, but my experience with id.me has been largely positive.
notnmeyer··on TreasuryDirect: Prepare for ID.me – Your New Way to Log In
doesn’t id.me predate trump? i could totally be wrong about that, but it’s not new.
notnmeyer··on 388 years ago, Galileo worked out why human giants can't exist
i can’t read the article to see what the specifics are, but assuming it’s essentially the square-cube law it doesn’t mean giant creatures can’t exist, it’s that small creatures can’t scale to be giants while being unchanged.

again i’m guessing, but if the conclusion is something like “if giant humans existed, X, Y and Z wouldn’t work”. then a “giant humans” would have to be something decidedly non-human.

notnmeyer··on A shell colon does nothing. Use it anyway
the people writing it are doing it for themselves probably. i wouldn’t expect it to survive a code review. the necessity of using esoteric bash features or syntax is a pretty good smell that you should be using something else imo.

different strokes of course.

notnmeyer··on Potential session/cache leakage between workspace instances or consumer accounts
echo “read @AGENTS.md” > CLAUDE.md
notnmeyer··on Vulnerability reports are not special anymore
this is hilarious and i might try it.
notnmeyer··on Steam Machine launches today
yeah, so this was exactly my scenario. i have an xbox and ps5, but bought a steamdeck about 6 months ago to play indie and windows games... its been utterly amazing. i dont care about specs, or graphics, or framerates (within reason). playing on steam still feels like it did when i was young.

maybe im misunderstanding, but you exactly like the person that a steam machine is for.

notnmeyer··on Steam Machine launches today
anyone talking about hw performance is not the intended market. if you have a gaming pc, like building systems, etc, you are not the intended market.

this is for folks who want steam games in their living room and dont want to build their own system.

notnmeyer··on MCP is dead?
because being confidently incorrect is a thing?
notnmeyer··on GitHub confirms breach of 3,800 repos via malicious VSCode extension
i mean, then you say it like that…
notnmeyer··on Myths about /dev/urandom (2014)
haha, this is so much better
notnmeyer··on Myths about /dev/urandom (2014)
glad i’m not the only one. i’m more or less baffled reading that.
notnmeyer··on Incident Report: CVE-2024-YIKES
the fact that this could easily pass as real says a lot about the state of things.
notnmeyer··on Valve releases Steam Controller CAD files under Creative Commons license
i hope i’m wrong, but probably as long as gabe does.
notnmeyer··on The fun has been optimized out of the Internet
i think discovery is the real thing all these “back in my day…” blog posts are about. they want the quirk delivered to them, but they’re fallen out of the zeitgeist and conclude that the old days are completely gone.
notnmeyer··on The best is over: The fun has been optimized out of the Internet
i don’t think it has to be like this. make dumb or silly stuff, share it.

it feels like the folks who lament about the good ole days grew up, got a corporate job, and forgot how to have fun.

notnmeyer··on Ghostty is leaving GitHub
prs not being visible because search is down, various ui elements not loading, pushes failing, merges failing, gha runs that fail with random errors or take forever to schedule

i literally do not recall the last day that passed without someone on my team noticing that some portion of gh was degraded.

notnmeyer··on Mise-En-Place
i think mise does too much. the deeper you go into its features the more rough edges you’ll find. i predominantly use nix on macos for managing app-level tool and package deps, but mise does a better job for this when you’re a part of a team (and can’t be overly prescriptive).

mise tasks gets gross pretty fast in my experience.

notnmeyer··on CSS is DOOMed
at this point i’m more interested in what _can’t_ run doom.
notnmeyer··on GNU Pies – Program Invocation and Execution Supervisor
> The name Pies (pronounced "p-yes")

oh come on

notnmeyer··on Bose has released API docs and opened the API for its EoL SoundTouch speakers
i’d love for this to be required by law. i’m probably not thinking of some great reason why that might be a bad idea, but it seems like an effective way to reduce e-waste.
notnmeyer··on C100 Developer Terminal
different strokes dude
notnmeyer··on C100 Developer Terminal
a framework desktop and omarchy is conceptually 98% of what the c100 purports to be.
notnmeyer··on C100 Developer Terminal
ehhhh, i disagree partially. a less cynical take would be to call it “opinionated”.

any computer can be for “experts”, but that’s not the same as delivering something preconfigured and opinionated.

nobody has actually seen this thing in action yet, but in my head it’s hardware + some opinionated linux distro (i imagine something like omarchy) + support.

certainly not what everybody would want, but if there are people that enjoy configuring their systems then there’s people that don’t.

notnmeyer··on C100 Developer Terminal
i’ve been following this for a while and still find it completely wild that you can preorder but there’s effectively no details.

theres a couple completely unimpressive videos (like 15s long) from employees on linkedin where they show off… tiling window management.

notnmeyer··on Btop: A better modern alternative of htop with a gamified interface
taking inspiration from a game doesn’t mean “gamified”.
notnmeyer··on Code like a surgeon
> My current goal with AI coding tools is to spend 100% of my time doing stuff that matters. (As a UI prototyper, that mostly means tinkering with design concepts.)

this struck me as weird. both in terms of “tinkering” being the most important thing to be doing, and then also describing “working like a surgeon” to be tinkering.

Page 1 of 9Next →