HNHacker News
TopNewBestAskShowJobs

schaefer

1,713 karma · joined December 16, 2012

Hi friends,

I enjoy Rock Climbing, Go, Software Engineering, and Buddhism.

dilapidated homepage: https://slow.camp

submissionscomments
schaefer··on The AI zombification of universities
Of course they can. What the heck?!?

Logic 101 changed the clarity of my thinking markedly.

schaefer··on The US is winning the AI race where it matters most: commercialization
and you're not alone (I run Qwen 3.6 35B-A3B at home too).

But just for the sake of discussion, let me ask: Who is the service provider you're using to run Deepseek V4? Do you have any way of knowing whether that compute is happening in the US or abroad?

schaefer··on Obsidian plugin was abused to deploy a remote access trojan
Obsidian stands beside the terminal and Firefox as one of the pieces of software I use the most every single day. Thank you for all you're doing.

-

I've read the article describing the attack, and my very first thought was utter surprise that the entire attack chain started with someone accepting a shared vault from a stranger via social media (linked in and similar). That seems really, really strange to me.

I've never shared a vault - but if I did, I'd probably do so as a git repo of markdown files.

It would be interesting to see a blog post from Obsidian about "good hygiene for sharing vaults".

schaefer··on Can LLMs model real-world systems in TLA+?
From the link above, I also found Leslie Lamport's Home page[1], The original developer of TLA+. Leslie's home page contains an incredible amount of info about TLA. There's a published Book with pdf available. There are video courses and talks.

There are also git repos of examples[2] and tools[3]

Thanks for the link, _doctor_love

[1] https://lamport.azurewebsites.net/ [2] https://github.com/tlaplus/Examples [3] https://github.com/tlaplus/tlaplus/

schaefer··on The agent harness belongs outside the sandbox
Yeah, I also get that vibe from the article.
schaefer··on The agent harness belongs outside the sandbox
To me the article isn’t convincing. There are some interesting points raised. Like “the llm sharing memories between a team of developers”.

I mostly use llms individually, so this is a real blind spot for me. But I might convinced to share a corpus of memories between developers if it ever becomes practical.

But for now aren’t context windows still sometimes smaller than the task at hand… so those “llm memories” take the form of literal documentation???

The closer llm memories get to native format, i.e: stored tokenized content, don’t we lose compatibility between setups anyhow. What if you’re using fp16, and I’m using nvfp4?

schaefer··on Ti-84 Evo
I'll take my father's HP 49g to my grave. but if TI wanted to flirt with me, all it would take is a setting to enable Reverse Polish Notation. (I did check the features, and no mention).
schaefer··on Quarkdown – Markdown with Superpowers
According to the wiki, Quarkdown supports cross-references in the same document, but not cross-references across many documents.
schaefer··on Understanding the short circuit in solid-state batteries
>> Does not describe a way to prevent [dendrites], so solid-state batteries don't seem like a realistic product for now.

Every lithium battery in use today is susceptible to dendrites. One of the promises of solid state batteries is more safety, not less.

schaefer··on Framework Laptop 13 Pro
Thank you for supporting Phoronix. They are the #1 review I keep an eye on for linux laptops.
schaefer··on Reading Is Magic
This article is a horrific bait and switch. The title is "Reading is Magic", but towards the end the tone is literally:

> … all struggles will be powered by outright sexual sadism.

If that’s where we’re heading, how about a different title and at least a little heads up in the introduction?

Personally, I wouldn’t have wasted my time.

schaefer··on The End of Eleventy
I'm sure you know about pandoc for translating markdown into html (and all it's other tricks).
schaefer··on Sam Altman's response to Molotov cocktail incident
To repurpose an old idiom: Not even a dozen AGI agents could make a baby in 6 months.

But yeah, your point stands.

schaefer··on Go hard on agents, not on your filesystem
I hadn’t heard that. Thanks
schaefer··on Show HN: Twitch Roulette – Find live streamers who need views the most
FYI: muppetman’s profile says “don’t take me seriously”, so I think this is a joke?
schaefer··on Go hard on agents, not on your filesystem
Ugh.

The name jai is very taken[1]... names matter.

[1]: https://en.wikipedia.org/wiki/Jai_(programming_language)

schaefer··on Is anybody else bored of talking about AI?
> Not really? It's kind of a big deal.

Why on earth is the parent comment downvoted? the title of the TFA asks a question. This statement directly answers that question. Seems very on-topic.

schaefer··on Books of the Century by Le Monde
Salman Rushdie is alive and still writing.

(Author of Midnight’s children)

schaefer··on Can I run AI locally?
No Nvidia Spark workstation is another omission.
schaefer··on The MacBook Neo
>I'd love to see a consortium of computer makers come together to refine a Linux distro that's consumer-friendly enough to oust Windows and compete with Mac OS.

System 76 already has Pop!_OS. Lenovo.com/linux will redirect you to a list of linux compatible lenovo laptops that's a mile long.

schaefer··on How will OpenAI compete?
does anyone have a citation/reference for this?
schaefer··on Show HN: Sowbot – Open-hardware agricultural robot (ROS2, RTK GPS)
again, just an oppinion, but it feels really weird to hear you find "exception after exception", when the net result that you've ruled out more real world robotics projects on ARM than likely exist on x86 that you're suggesting should be the "norm".

you've ruled out the entire NXP ecosystem, the entire Nvidia Jetson ecosystem, the entire AMD/FPGA/Zynq ecosystem, even perfectly good options like beagle-board .... who else?

incidentally, you've also ruled out this project - as they are using an M7 microcontroller to meet their hard-real-time timing constraints...

schaefer··on Show HN: Sowbot – Open-hardware agricultural robot (ROS2, RTK GPS)
> The only reasons to use ARM SBCs in robots are...

Obviously, anyone can have there own opinion on this. I work in robotics, we are quite happy with our A53 and M4. Though, we use a SOM, not a SBC, if you feel like splitting hairs.

schaefer··on Transmission of epigenetic alterations across generations in mammals
>Now children represent a massive cost to parents, that does not provide any benefit.

Obviously not everyone has to, but many people find their meaning in life through raising their children.

schaefer··on Every company building your AI assistant is now an ad company
I already have a refrigerator. Thanks. :)
schaefer··on Ex-GitHub CEO launches a new developer platform for AI agents
I'm with you. I start every new prompt with: "Good morning", even at midnight. I'll be so embarrassed if that leaks.
schaefer··on Man who videotaped himself BASE jumping in Yosemite arrested, says it was AI
okay. But is there a place I can actually look up known jump points that are steep enough to be viable base jumps but are not also in a Park?

I am not a base jumper (I am a rock climber), but it's my observation that many base mountains with faces steep enough for base jumping are also in the parks and therefor restricted to base jumping.

Or are so remote they require some serious skills to summit in the first place. -- Not quite the tram ride you can get to the jump point in Europe.

schaefer··on Everyone’s building “async agents,” but almost no one can define them
^^ requires paid subscription.
schaefer··on Man who videotaped himself BASE jumping in Yosemite arrested, says it was AI
I’m convinced this is how Dean Potter died. Jumping at dusk to try to evade capture my Yosemite rangers.

If it had been legal, and had he jumped in broad daylight, I think he’d have survived that day.

schaefer··on Man who videotaped himself BASE jumping in Yosemite arrested, says it was AI
There are lots of places to legally BASE jump in Europe. You can even take a gondola to the jump point. But very very few legal options in the USA.

I wish there were more places to legally enjoy BASE jumping on US public lands.

← PreviousPage 4 of 20Next →