esafak

16 ms·

511.
by esafak 4mo ago
I knew it was going to be Baez just from the title and domain.
512.
by esafak 4mo ago
Can we get some refs for this number? If true it sounds like poor design.
513.
by esafak 4mo ago
It was good while it lasted, genuinely and consistently finding errors. I migrated to https://github.com/zeflq/pi-reviewer so I can be in control. There are commercial alternatives, of course.
514.
by esafak 4mo ago
He just needs to share the source; I really doubt there is much magic going on.
515.
by esafak 4mo ago
Do you even review the code then?
516.
by esafak 4mo ago
Google Docs had the best authz system when it came out and it's still an exemplar.
517.
by esafak 4mo ago
Legacy corps on the Microsoft steamboat.
518.
by esafak 4mo ago
"omp is a fork of Pi by Mario Zechner, rewritten as a coding-first surface: sessions, subagents, slash commands, extensions — all TypeScript..."
519.
by esafak 4mo ago
The first thing that jumped out at me is its form factor. It is easier to engineer (cheaper) and less threatening than a bipedal robot. The drawback, of course, is that it is less mobile.
520.
by esafak 4mo ago
HA, a blast from the past, when audio encoders were making strides and collecting mp3s was a thing. Same for video encoders.
521.
by esafak 4mo ago
why did you switch from oc to pi?
522.
by esafak 4mo ago
Dang, can you change the submission url to https://zcode.z.ai/en ?
523.
by esafak 4mo ago
I tried it but went back to OC, which feels smarter. It does have a 1.5x usage promotion for GLM 5.2 on the coding plan so now is a good time to test it...
524.
by esafak 4mo ago
Unless you are in research I would not bother; you are trying to drink from a firehose. Let other people do the curating for you.
525.
by esafak 4mo ago
It may be theoretically possible, but is it ergonomic and useful? Do you use Lean for your programs?
526.
by esafak 4mo ago
Is this useful for specifying programs too or only theorems?
527.
by esafak 4mo ago
Can it do that with high fidelity to the source; e.g., denoise and restore?
528.
by esafak 4mo ago
It's like a different brand now. Apparently the Chinese drove this trend: https://www.hotcars.com/bmw-moves-on-big-grille-era-neue-kla...
529.
by esafak 4mo ago
Image generators should embed their prompts, and eBay should run a slop detector.
530.
by esafak 4mo ago
How does that work with JS frameworks like React, since most development takes place with them?
531.
by esafak 4mo ago
A benighted programming language if I ever saw one. I don't use Excel so maybe someone call tell me why people don't just migrate their queries to Python: https://support.microsoft.com/en-US/Excel/python&
532.
by esafak 4mo ago
I don't use local models but have you tried augmenting the model with code intelligence MCPs like https://github.com/DeusData/codebase-memory-mcp ?
533.
by esafak 4mo ago
How so? People want to avoid it.
534.
by esafak 4mo ago
Spotify is the same. This impersonation ought to be illegal.
535.
by esafak 4mo ago
I can't speak to the numbers, but the values it espouses sound reasonable.
536.
by esafak 4mo ago
Not only that but it impinges on your life; it would be irresponsible to ignore it. There goes your job while you weren't paying attention... This is the mother of all tech revolutions. There will never ever be anything as big as AI, e
537.
by esafak 4mo ago
This is terrible advice. You absolutely should structure your code with a view to the future. Easily refactorable code is synonymous with good code. And using the right abstractions makes this happen. Consult a domain expert to find out wha
538.
by esafak 4mo ago
If we are to compare LLMs to BR or its PKD book, I think the apt comparison would be to implanted memories. LLMs are frozen in time with no experiences of their own but I am convinced this is a temporary situation. Continually learning, hiv
539.
by esafak 4mo ago
In movies r̶o̶b̶o̶t̶s̶ AIs have delivered speeches on the meaning of life too: I've seen things you people wouldn't believe. Attack ships on fire off the shoulder of Orion. I watched C-beams glitter in the dark near the Tannhäuse
540.
by esafak 4mo ago
And your company wouldn't VPN a banned model.

More ›