luckystarr

6 ms·

1.
by luckystarr 5d ago
They still have enough unskilled labor they can pull from the country side. They pack up the village and ship them (relocate the people) to a city in need of workers.
2.
by luckystarr 8d ago
Finally. Now I can remove all my symlinks. :)
3.
by luckystarr 10d ago
Consider: the US is a (somewhat) greenfield project, while the EU is a brownfield refactoring. These sorts of refactorings take time, even more so if done by "committee". The good thing is that explicit interfaces have to be creat
4.
by luckystarr 16d ago
Why would one need a blackboard if one had a coordinating agent that would launch a sequence of builder agents that run either in parallel or in sequence depending on what the coordinating agent determined was safe?( ) Honest question, I do
5.
by luckystarr 24d ago
Translation: As the number of bugs per line of code is a constant depending on language and project, we will experience a world full of bugs now that LLMs generate so much more code. On the other hand, LLMs are so quick at fixing them, the
6.
by luckystarr 1mo ago
I noticed back in the days that my FidoNet point client software ran a lot faster (actually processing a lot of messages, so IO and CPU heavy) in Windows than in DOS, which was unintuitive to me back then.
7.
by luckystarr 1mo ago
What was the minimum required density you derived?
8.
by luckystarr 1mo ago
Not if the models are way cheaper. For many tasks you can do with DeepSeek Flash, and for more gnarly problems you switch to GLM or Kimi. But sure, if you do everything in large models like Kimi K3 or GLM it gets expensive quickly.
9.
by luckystarr 1mo ago
Until the manufacturers enter an arms race and copy a page out of the mobile hardware vendors book. But perhaps they'll do it badly and we've got a few more years.
10.
by luckystarr 1mo ago
Apparently the task was to remove dead weight. Haven't read what they replaced "Enzyme" with. I did subagent based removal tasks a few times. These were the ones that required the least amount of input or thinking from me, be
11.
by luckystarr 2mo ago
Taste is something you use to build the guardrails of AI over time and many paper cuts endured. Once you have a big enough set of these (call them rules) recorded, they become your development substrate. You narrow the paths the agents can
12.
by luckystarr 2mo ago
Shameless plug for my project, which is a bit different. I had the problem of crashing terminals due to OOM kills and wanted to switch to a more lightweight terminal. Also I had too many of them and couldn't find the right one any more
13.
by luckystarr 2mo ago
OS is listed as FreeRTOS.
14.
by luckystarr 2mo ago
https://en.wikipedia.org/wiki/Lean_(proof_assistant) Not sure about "bugs" in that area, but there is a lot of work going on by mathematicians in formalizing and checking ever more complex proofs using proof
15.
by luckystarr 2mo ago
And reading reports, endlessly.
16.
by luckystarr 2mo ago
If these proofs were output by the AI in a format readable by a proof verification system, the verification step of publishing vanishes. Then it's only valuable to check if the stated intention actually matches the proof and isn't
17.
by luckystarr 2mo ago
Then it's a case of trying to uphold the narrative?
18.
by luckystarr 2mo ago
Tried it on Android and got "!!!!!!!!!!!!!" for answers.
19.
by luckystarr 3mo ago
Fair take if the user is the same person as the implementer. If I sell software to my customers that reduces their operational complexity by me investing some code, then I don't consider it a loss.
20.
by luckystarr 3mo ago
Can be that I remembered it incorrectly, as it was in 2008, but here it is: https://se-radio.net/2008/03/episode-88-the-singularity-rese...
21.
by luckystarr 3mo ago
There is a difference between easy to set up and not having to set up anything. It's an improvement in operational UX.
22.
by luckystarr 3mo ago
It only changes behaviour if the risk of having to pay outweighs the benefit. And Google won't tell what they earned through that I guess.
23.
by luckystarr 3mo ago
I listened to an interview with one of the researchers. They had a component to verify "this binary will never allocate mem outside it's allowed area" and by statically verifying that they could enable high performance IPC. A
24.
by luckystarr 3mo ago
Sounds a bit like Microsoft's Singularity project, though I don't know if they even used a proof system to ensure a program couldn't do bad stuff(TM). After verification they just let the program run in Ring 0 (kernel space)
25.
by luckystarr 3mo ago
> [int overflows, etc.] No runtime cost when Z3 can prove it. Otherwise, the compiler emits a safe runtime check as fallback. Super interesting approach. I see this eventually be integrated into future mainstream languages, though that m
26.
by luckystarr 3mo ago
How I see this: Refactoring code to reduce the number of lines is _compression_, akin to RLE coding. Refactoring the code to lift conceptually coherent parts is _abstraction_. Less compression, more abstraction. Then you're fine.
27.
by luckystarr 3mo ago
Over the last year or so I arrived at a (sort of) MQTT semantic broker that facilitates an actor architecture. It supports federation (including transitive, so proxies "just work"(TM)), transparent outbound buffering with disk ove
28.
by luckystarr 4mo ago
Then the workers wouldn't spend 20 trillion and the economy as a whole would tank.
29.
by luckystarr 4mo ago
In most of Germany neither is required (Baden Württemberg requires non-EU citizens to pay 1.5k€ per semester). Commonly though you have to pay from 200 to 300€ administrative fees. The harder problem is to enter Germany, but as you have EU
30.
by luckystarr 4mo ago
I tried coding "ownership strictly" in Rust myself for a while and I've given up for the most part. In a lot of cases I painted myself into corners that I couldn't get out from without changing everything. That is probab

More ›