Myrmornis

4 ms·

31.
by Myrmornis 4mo ago
The string "writ" only occurs once in an article about how to develop ones ideas on non-trivial subjects. Pretty telling.
32.
by Myrmornis 4mo ago
Does anyone really sit there thinking and make much progress? You write.
33.
by Myrmornis 4mo ago
Thanks. I've bought it and started using it; it looks great. I was previously using Hyprnote which did work well, but yours appears to fit my "I just want markdown" case better and to generally be more polished. I'll be
34.
by Myrmornis 4mo ago
I will be happy to spend £10 on this. One feature question though -- does it continue transcribing the meeting even if I've turned my volume down / muted it?
35.
by Myrmornis 5mo ago
> AI-generated papers could overwhelm peer-review systems with low-quality work That's not a problem unique to math, or even to academia. It's a problem in every context in human life where people communicate via written docume
36.
by Myrmornis 5mo ago
> The problem was the view didn't work after something else had been done. In that situation you have two choices: 1. Tell claude to iterate until the tests for the new view and the old views are all passing. 2. git reset --hard bac
37.
by Myrmornis 5mo ago
> I typed :rs pods to switch back to the pods view. Nothing rendered. The table was empty... > now something was fundamentally broken and I couldn't just prompt my way out of it. Hey I don't want to over simplify, I'm s
38.
by Myrmornis 6mo ago
On the one hand I'm not sure Dawkins has read/thought enough about how LLMs actually work. I'm getting the impression he doesn't fully appreciate or is somehow forgetting that it's a text completion algorithm with a
39.
by Myrmornis 6mo ago
I don't think you read carefully what he said. At the end he gave three quite interesting thoughts about what might be true assuming LLMs are less conscious than we are (i.e. assuming our consciousness is not a purely algorithmic pheno
40.
by Myrmornis 6mo ago
Your notes look really interesting, thanks. I'm curious --from the prose style it's clear they were written by an LLM. For design notes like this do you sort of have a mental TODO to go back and write them up in your own words to
41.
by Myrmornis 6mo ago
The article is still missing the most important point about a "trust system" -- you have to explain what it is and convince me that I even care about the problem you're trying to solve. It's my machine, what is a "t
42.
by Myrmornis 6mo ago
Take a look at https://d2lang.com/examples/dagre/ and https://d2lang.com/tour/intro/ The language is richer and all diagram types are implemented consistently in the same language in a w
43.
by Myrmornis 6mo ago
https://d2lang.com/ is a nicer language than Mermaid with much nicer visual appearance. It would be great if it became more widely supported.
44.
by Myrmornis 6mo ago
I read the first couple of posts in the series. The essay is full of criticism of LLMs, and in a couple of places the author distances himself, as if he himself isn't using them ("some people I respect tell me that..."). It&#
45.
by Myrmornis 7mo ago
This is really cool! Is there an alternative way of thinking about it involving a hidden markov model, looking for a change in value of an unknown latent P(fail)? Or does your approach end up being similar to whatever the appropriate Bayesi
46.
by Myrmornis 7mo ago
Doubtless the current LLMs aren't the last word. But this author sounds like they would get more out of the current LLMs if they put their energies into that rather than into criticism.
47.
by Myrmornis 7mo ago
The rounded corners are nothing compared to the notch camera making part of the top of my applications invisible.
48.
by Myrmornis 7mo ago
Alacritty shows a preview at the bottom by default (sounds similar to ghostty). Looked to me like WezTerm doesn't though.
49.
by Myrmornis 7mo ago
This is interesting but don't you worry that you're competing with entire companies (e.g. Anthropic) and thus it's a losing battle? Since you're re-implementing a bunch of stuff they either do in their harness or have de
50.
by Myrmornis 7mo ago
Yes, they do, but the premise in my comment (and this discussion) is that a TUI is being written today.
51.
by Myrmornis 7mo ago
TUIs built today should be usable by AI agents. I'm not sure exactly what it looks like but I'm imagining that every UI view has an associated CLI command that can yield precisely that view. Maybe like formally structured breadcru
52.
by Myrmornis 7mo ago
Ah right, sorry, you were making a much more interesting point than my reply! I read "UI development" and jumped to the conclusion that the point was just about inference-time modify-test cycles. Yes, agreed, if they trained on im
53.
by Myrmornis 7mo ago
Getting them to take screenshots with playwright/puppeteer and look at them as part of their development iteration cycle works well.
54.
by Myrmornis 8mo ago
> Markdown is already beautiful. We don't render it. We don't preview it. You read it raw, the way it was meant to be. I don't want to be inflammatory or shallowly dismissive of other people's opinions. But I find thi
55.
by Myrmornis 8mo ago
Yes. But are you letting your agent make the decision of when and how to call that CLI? And presumably you're invoking it via the Bash tool. In which case your agent is free to write ad-hoc bash orchestration around your CLI calls. And
56.
by Myrmornis 8mo ago
Most of what the article says is true regarding coding agents, but articles like this are making a big mistake: they're completely forgetting that agentic applications aren't all claude code. We're entering an era where many
57.
by Myrmornis 8mo ago
The main problem with many IT and security people at many tech companies is that they communicate in a way that betrays their belief that they are superior to their colleagues. "unlock innovators" is a very mild example; perhaps y
58.
by Myrmornis 9mo ago
Away from applied math/stats, and physics etc, not that many scientists use LaTeX. I'm not saying it's not useful, just I don't think many scientists will feel like a product that's LaTeX based is intended for them.
59.
by Myrmornis 9mo ago
> the worst case scenario for a rebase gone wrong is that you delete your local clone and start over. That’s it. Your remote fork still exists. This is absolute nonsense. You commit your work, and make a "backup" branch pointin
60.
by Myrmornis 9mo ago
The article focused on the local stdio MCP tools used by coding / computer automation agents like claude code and cursor, but missed the fact that we will need protocols for AI agents to call networked services, including async interac

More ›