didericis

10 ms·

1.
by didericis 3mo ago
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 textual to avoid the inconvenience. There&#x2
2.
by didericis 4mo ago
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 I think is good or what I thi
3.
by didericis 5mo ago
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 bits that represent your answer. When you think through wha
4.
by didericis 5mo ago
> 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 through the manipulation of bits in hardware. You are
5.
by didericis 9mo ago
> business rules engines, complex event processing, and related technologies are still marginal in the industry for reasons I don't completely understand Translating between complex implicit intention in colloquial language and soft
6.
by didericis 11mo ago
> 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 determinism that is not explicitly understood by probabil
7.
by didericis 11mo ago
> 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 order to actually get the thing you want, you have to expla
8.
by didericis 11mo ago
> 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 computer what it should do.
9.
by didericis 11mo ago
> 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 implementation doesn't matter as long as it
10.
by didericis 11mo ago
> 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 making punctuation mistakes and all t
11.
by didericis 11mo ago
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 english prompts and context is a powerful way for computer
12.
by didericis 11mo ago
> 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 proliferation and ease of replicating it/am playing devil&#x2
13.
by didericis 1y ago
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 like `$\sum_{n=1}^{10}n$` than something that should control
14.
by didericis 1y ago
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/holepunchto and https://d
15.
by didericis 1y ago
Looks interesting. I've been using https://keet.io/ for a good while now, which has similar motivations.
16.
by didericis 1y ago
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 the standard. I'd advocate for that before
17.
by didericis 1y ago
> 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.
18.
by didericis 1y ago
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 limited/controlled.
19.
by didericis 1y ago
> 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 erroneous output caused by model blind spots gets fed ba
20.
by didericis 1y ago
> The more practical question is though, does that matter? I think it matters quite a lot. Specifically for knowledge preservation and education.
21.
by didericis 1y ago
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 a joystick lead to the specific pixels on a screen changing.
22.
by didericis 1y ago
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 describing lower level functionality.
23.
by didericis 1y ago
> 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 for the creation of a lot of one off scripts and things
24.
by didericis 1y ago
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 contaminated data sets.
25.
by didericis 1y ago
I’m extremely skeptical that “thumbs up” and “thumbs down” plus replies to chatbots is sufficiently informative to train models to the same level of quality as models trained on user generated content.
26.
by didericis 1y ago
I built an auto HQ solver with tesseract when HQ was blowing up over thanksgiving (HQ was the gameshow by the vine people with live hosts). I would take a screenshot of the app during a question, share it/send it to a little local api,
27.
by didericis 1y ago
Agreed/that’s a good take. Again, I think they have utility as a “perfect stranger” as you put it (if it stays anonymous), or “validation machine” (depending on the sycophancy level), or “rubber duck”. I just think it’s irresponsible t
28.
by didericis 1y ago
> no judgement The value of a good therapist is having an empathetic third party to help you make good judgements about your life and learn how to negotiate your needs within a wider social context. Depending on the needs people are tryi
29.
by didericis 1y ago
Reminds me of Freeman Dyson’s “Frogs and Birds” categories for researchers https://www.ams.org/notices/200902/rtx090200212p.pdf
30.
by didericis 1y ago
A different but more powerful method of ensuring reproducibility is more rigorous compilation using formally verifiable proofs. That’s what https://pi2.network/ does. It uses K-Framework, which is imo very underrated/d

More ›