gaigalas

20 ms·

391.
by gaigalas 11mo ago
If you do it all, you can optimize the whole supply chain. Maybe you can put some expensive capacity you built to use and leverage it when otherwise impossible, etc. Maybe it's bad business dealing with lots of non-standardized externa
392.
by gaigalas 11mo ago
What happens if I am, and now my developers suddenly start to produce changes much faster? Like, one developer now produces the volume of five. Would you keep charging the same rate per head?
393.
by gaigalas 11mo ago
If you're automating code generation but not automating verification, there will be a mismatch. Maybe the fatigue comes from that mismatch? The classical vibe coder style is to just ignore verification. That's not a good approach
394.
by gaigalas 11mo ago
I develop software, I also test and run it. All in my machines. But you (yes, you personally) have to collect the results and publish them to a webpage for me. For free. Would you make this deal?
395.
by gaigalas 11mo ago
Wow! If curl developers are overwhelmed by AI PRs, imagine how mathematicians will feel verifying a huge backlog of automated proofs. Or isn't there such a thing? Can someone make a very complicated automated proof that ultimately reve
396.
by gaigalas 11mo ago
> TL;DR GitHub is adding a $0.002-per-minute fee on all GitHub Actions usage, so the control plane is no longer free. That's not true for _all GitHub Actions usage_. https://resources.github.com/actions/2026-pri
397.
by gaigalas 11mo ago
Is it trivial for any mathematician to understand lean code? I'm curious if there is a scenario in which a large automated proof is achieved but there would be no practical means of getting any understanding of what it means. I'm
398.
by gaigalas 11mo ago
Have you read the document I linked? I refered to a specific quote and figure in the dissertation. Otherwise, I'm afraid we're comparing it with something else.
399.
by gaigalas 11mo ago
> Take some ordinary, off-the-shelf servers. Treat them as dumb, untrusted pipes. Sounds like REST. The original REST, not the botched CRUD that companies pushed for. https://roy.gbiv.com/pubs/dissertation/field
400.
Apywire: Lazy object wiring and dependency injection for Python 3.12(github.com)
1 points by gaigalas 11mo ago|6 comments
401.
by gaigalas 11mo ago
Small project I've been developing. It's designed to make configuration easier, after many frustrations with omegaconf and hydra in the past. The idea is quite simple: you create clean objects in pure python, but the glue between
402.
by gaigalas 11mo ago
What kind of rare proprietary knowledge?
403.
by gaigalas 11mo ago
Makes sense. I'm excited for your solution, despite not having seen it. If you can solve that, it would be awesome.
404.
by gaigalas 11mo ago
Unless I say it's meaning is to be optionally reflected upon during runtime! Look, I understand the purism and mostly, I agree. But this is not a clean slate language, it will never be perfect and it's going to become more and mor
405.
by gaigalas 11mo ago
That's not entirely true. Ideally, there would be a follow up with a reflection API. Also, comments are syntax and they're mostly meaningless. By your reasoning, programming languages should have no comments. So, it's not rea
406.
by gaigalas 11mo ago
Something needs to change. I don't care about one specific proposal. It's miserable having a de-facto build step for an interpreted language. Worst of both worlds. Maybe just TS is fast, but it encourages developers to put more an
407.
by gaigalas 11mo ago
The sooner we get https://github.com/tc39/proposal-type-annotations , the better. Once we get it, there is still a solid decade before runtimes support it, and optimistically, still more 10 years minimum having to deal
408.
by gaigalas 11mo ago
They don't need to directly change votes. It can be much more indirect. For example, you can associate an unpopular celebrity or sports team with a political movement, driving its approval down. Also, you don't need _those_ accoun
409.
by gaigalas 11mo ago
Definitely! Not only for the user, but it makes sense for the process of making the tools as well. If I left the agent for itself, it often come up with outrageous styles and I need to prompt it for something more sober. --- You can do a lo
410.
by gaigalas 11mo ago
Why not introduce a single shared CSS for style consistency? Not full CSS separation, each tool could still have its local CSS. Things like styling buttons, responsiveness, and so on are better solved once. A good rule of thumb is: if the s
411.
Left Padding Mastery: The Definitive AI Agent Guide(github.com)
1 points by gaigalas 11mo ago|0 comments
412.
by gaigalas 11mo ago
It is likely that the training set contains stuff like rationalizations, or euphemisms, in contexts that are not harmful. I think those are inevitable. Eventually, and specially in reasoning models, these behaviors will generalize outsite t
413.
by gaigalas 11mo ago
I like good old names like the foobar2000 audio player. Iconic. - Starts with lowercase. - Means nothing. - Good player. https://www.foobar2000.org/
414.
by gaigalas 11mo ago
Connectivity to databases was one of Delphi's main selling points. I think one dude spread the myth of no DLLs in the Twitter thread, lots of people repeated it, and since Delphi 6/7 is not around anymore and it's hard to che
415.
by gaigalas 11mo ago
Save that as `app.hta` on Windows (from XP up to this day!), then double click it. Not native GUI, but as fast and useful as one. It's more limited nowadays, but you can still do a lot.
416.
by gaigalas 11mo ago
"no matter what" is pushing it. It was very common for Delphi programs to use stuff that required external DLLs.
417.
by gaigalas 11mo ago
VB6 was old by the time XP appeared, and XP lasted for a long time. It was fast.
418.
by gaigalas 11mo ago
I am not sure if we need a karma precog analogue. It does seem better than just upvotes and downvotes though.
419.
by gaigalas 11mo ago
Memento Mori with extra steps. (surprising that the text doesn't mention it)
420.
by gaigalas 11mo ago
Users can swap their search engines freely on all browsers but they often don't want to.

More ›