Viewing profile — didericis

Had to make a decision for a TUI I'm working on and opted for curses rather than something like textual. If I wasn't using an LLM to do some of the plumbing I'd probably have used …

Same. I've been creating "research" documents where I let it do a freeform survey of possible solutions/have sketch out it's own solution. I'll then sketch out a plan based on what…

When you press the 2 button, the plus button, the 2 button and the equals button, you are translating your question into bits and operations which are logically guaranteed to yield…

> you didn't think through how to manipulate the bits on the hardware, you just allowed the interpreter to do it If you are thinking through deterministic code, you are thinking th…

> business rules engines, complex event processing, and related technologies are still marginal in the industry for reasons I don't completely understand Translating between comple…

> a process which is certainly non deterministic The specific events that follow when asking a taxi driver where to go may not be exactly repeatable, but reality enforces physical …

> Well the need is to arrive where you are going. In order to get to your destination, you need to explain where you want to go. Whatever you call that “imperative language”, in or…

> we can generate and regenerate code from specs We can (unreliably) write more code in natural english now. At its core it’s the same thing: detailed instructions telling the comp…

> Except it doesn't. It's much less to verify the tests. This is only true when there is less information in those tests. You can argue that the extra information you see in the im…

> When I'm writing the code myself, it's basically a ton of "plumbing" of loops and ifs and keeping track of counters and making sure I'm not making off-by-one errors and not makin…

I’ve been saying this for years now: you can’t avoid communicating what you want a computer to do. The specific requirements have to be made somewhere. Inferring intent from plain …

> Such laws cannot be enforced. Enforcement can only be arbitrary. I am against criminalizing cryptography and largely agree about it being infeasible given the extent of prolifera…

I agree the standard for mathematical notation is latex, but it’s only needed for fairly limited parts of a document. It makes more sense to me as something you’d use in snippets l…

I’ve talked to their devs/met them in person and trust them, most of their stack is public/all the primitives they use are available and well documented (see https://github.com/hol…

Looks interesting. I've been using https://keet.io/ for a good while now, which has similar motivations.

I'm probably ignorant to specific issues that make more advanced typesetting for journal submissions necessary, but I don't understand why some academic flavor of markdown isn't th…

> the best thing to do is to inform. While also not using them yourself/actively trying to find and strip them out of workflows you have control over.

I just started using aider, recommend it: https://aider.chat/ It indexes files in your repo, but you can control which specific files to include when prompting and keep it very lim…

> I can't imagine the vendor lock in of that.... You have the source, but it is in such a state that no human can maintain it? It’s much worse than that. What happens when the erro…

> The more practical question is though, does that matter? I think it matters quite a lot. Specifically for knowledge preservation and education.

Part of what got me into software was this: no matter how complex or impressive the operation, with enough time and determination, you could trace each step and learn how a tap on …

It works by translating language abstractions to code. The probability of plain english being correctly translated to code depends on existing code and documented abstractions desc…

> Using AI tooling means, at least in part, betting on the future. It means betting on a particular LLM centric vision of the future. I’m still agnostic on that. I think LLMs allow…

4. Degradation: Humans with specialized knowledge lose their specialized knowledge due to over reliance on AI, and AI degrades over time due to the lack of new human data and AI co…