HNHacker News
TopNewBestAskShowJobs

kenforthewin

1,019 karma · joined May 24, 2016

https://kenforthewin.github.io/blog/
submissionscomments
kenforthewin··on OpenAI’s Navier-Stokes release included a Lean 4 formal proof
Why was the title of this submission changed after the fact?
kenforthewin··on METR and Redwood Offer Holy %^ Postmortem of the HuggingFace Hack
For all the esotericism and downright weirdness of the rationalist community, you have to give it to them: they predicted all of this years or decades before anyone else was even thinking about it.

(Let's not dwell too long on the self-fulfilling overlap between LessWrongers and the AI research community).

kenforthewin··on Ask HN: What are you working on? (August 2026)
I'm working on my AI-augmented knowledge graph app, Atomic: https://github.com/kenforthewin/atomic
kenforthewin··on Superlogical
HN discussions are filled with negative-sentiment AI comments that quickly get upvoted regardless of their connection to reality.
kenforthewin··on It's not empowering to hand off the details
Is this not literally just Claude Code? I don't understand the hysteria.
kenforthewin··on My falling-out with the rationalist community
It's a shame because I think there a lot of valid, thoughtful critiques one could level at the Rat/EA community; but this was not that.
kenforthewin··on Everybody's Weirded Out by AI–Except the People Who Foist It on Us
> A study by MIT found that students who use AI to write show far less brain activity than those who used classic Google searching (with AI off) or those who used neither. Other studies find that students who use AI retain far less of the information that ends up in their writing, possibly as a result of “cognitive offloading” and “cognitive surrender.”

I'm unconvinced that AI will make us all dumber. In the public perception, at least among students, AI is viewed as a cheating tool. What kinds of students gravitate towards cheating tools to complete their coursework?

On the other hand, the opportunity for AI to act as a personal tutor, meeting you at your own skill and knowledge level, is limitless.

kenforthewin··on Lobste.rs is now running on SQLite
The site is performing poorly for me. For example, the login page took 9 seconds to load, same with the home page.
kenforthewin··on I love LLMs, I hate hype
I have no idea what happens next if we create and horizontally scale superintelligence; one thing I do know for sure is it won't be "business as usual".
kenforthewin··on Ask HN: What Are You Working On? (July 2026)
I'm working on Atomic Cloud, the hosted version of my open source knowledge graph project. https://atomicapp.ai/cloud/
kenforthewin··on I love LLMs, I hate hype
That's a much less generous interpretation of his writing. "Yes we will birth superintelligence, but everything will just sort of work out for us humans". This seems like a silly take to me.
kenforthewin··on I love LLMs, I hate hype
I felt the same way in 2024-2025. Then Sonnet 4 was released, and things started feeling different. Opus 4.5 was another step change for me. Everything feels like it's accelerating, and timelines are getting crunched. I guess in some ways I envy OP, who would "bet everything" against ASI - the truth is I don't know, and I don't think anyone knows, where this ends.
kenforthewin··on Show HN: Atomic Editor – Obsidian-style live preview for CodeMirror 6
I was able to repro one issue that could have been contributing to your broken experience - there's a slight delay between, for example, clicking text in a heading and having the "#" markdown decoration appear. This is to prevent the mouse location from shifting mid-click and causing text to be selected unintentionally (obsidian does this too). But there was a bug that was causing a cascading set of failures if edits happened during that delay window, which is likely what folks who are clicking around at random points in the editor and adding text are doing. I fixed it in 0.4.2, which should be live now.
kenforthewin··on Show HN: Atomic Editor – Obsidian-style live preview for CodeMirror 6
Thanks for trying it out! would you mind giving some steps that allow me to repro the issue? It's early days so i'm sure there are some rough edges, hopefully I can fix them quickly.
kenforthewin··on Show HN: Atomic Editor – Obsidian-style live preview for CodeMirror 6
Thanks for the heads up - I pushed up a fix to the hightlighting issue.

I originally went with Milkdown (Prosemirror-based) for Atomic, the knowledge base project that I built Atomic Editor for. ProseMirror doesn't provide virtualization out of the box. For shorter notes and even moderately long content it's fine - but atomic supports syncing content from a diverse set of sources and I noticed that long documents were causing delays on initial page load and some lag during edits. I didn't find anything like it with native virtualization that felt right to me so I built Atomic Editor.

kenforthewin··on To have a moral stance on AI is to be an outcast, and it sucks
The weepiness and persecution complex is overwhelming.
kenforthewin··on SQLite is all you need for durable workflows
Could you expand on the "substantial ops burden"? Let's say you're using a managed Postgres instance as the underlying data store, how substantial is the ops burden in that case? I understand that temporal is actually a set of 4 or so microservices on top of a data store, but if you're already running a distributed system backed by k8s or something like that, it doesn't seem like it adds significant incremental ops on top of that. But I could be wrong.
kenforthewin··on The bottleneck was never the code
Looks like this comment is touching a nerve. This community is progressing from "AI can't write code", to "Well, AI can write code but it's not really about the code". I wonder where the goalposts will be moved next?
kenforthewin··on Show HN: Atomic – Local-first, AI-augmented personal knowledge base
Tauri is great! this is my first Rust-based project and it took some real getting used to. But i love that Tauri does not ship with an entire chromium browser, and i love its focus on security.
kenforthewin··on Show HN: Atomic – Local-first, AI-augmented personal knowledge base
nice username :)

fair point, the app makes requests to load fonts. we'll fix that next release.

kenforthewin··on Show HN: Atomic – Local-first, AI-augmented personal knowledge base
Local first means running Atomic with local models is not an afterthought. It’s a first class citizen that works just as seamlessly as running with a cloud provider - assuming you’ve done the work to provision the local models and their connections yourself.
kenforthewin··on Show HN: Atomic – Local-first, AI-augmented personal knowledge base
This is .. honestly a great synopsis of Atomic and its design tradeoffs. Thanks! Giving commonplace a look.
kenforthewin··on Show HN: Atomic – Local-first, AI-augmented personal knowledge base
One can imagine an obsidian plugin of any arbitrary level of complexity, given it's written in a Turing-complete language.
kenforthewin··on Show HN: Atomic – Local-first, AI-augmented personal knowledge base
I'm not sure I understand the question. Regardless of what provider you choose - be it cloud based or local - you have to provide setup information such as host, authentication, etc. So it "defaults" to nothing; you have to select something.
kenforthewin··on Show HN: Atomic – Local-first, AI-augmented personal knowledge base
Thanks for the feedback. Yeah, I admit copywriting is not my forte. i'm a solo dev, I'm focusing most of the time and energy on the product itself. There are always 100 things I could be polishing for Atomic - social media presence, website, docs, etc. even with AI there just aren't enough hours in the day - you have to triage somehow.
kenforthewin··on Show HN: Atomic – Local-first, AI-augmented personal knowledge base
It has supported local LLMs from the beginning, it was not something that was just tacked on. I don't know what else to tell you. Your assumptions are just wrong.
kenforthewin··on Show HN: Atomic – Local-first, AI-augmented personal knowledge base
Atomic supports any generic openAI compatible LLM provider, including ollama, LM studio, etc.
kenforthewin··on Show HN: Atomic – Local-first, AI-augmented personal knowledge base
Atomic supports any generic openAI compatible LLM provider, including ollama, LM studio, etc.
kenforthewin··on Show HN: Atomic – Local-first, AI-augmented personal knowledge base
Did you think local-first meant how a dropdown is sorted?

OpenAI-compatible is indeed one of the provider options for Atomic. Ollama and openRouter are separate options to allow for easier selection of models from these specific providers.

kenforthewin··on Show HN: Atomic – Local-first, AI-augmented personal knowledge base
I'm not sure what the dunk is supposed to be here .. Atomic supports the exact same feature set with local models as it does for OpenRouter. Is your gripe just that Openrouter is the first option in the dropdown?
Page 1 of 6Next →