Next to Epstein.
Readit Newswolfgangbabad commented on Where Is GPT in the Chomsky Hierarchy? fi-le.net/chomsky/... · Posted by u/fi-le
wolfgangbabad commented on AI will make formal verification go mainstream martin.kleppmann.com/2025... · Posted by u/evakhoury
I don't think formal verification really addresses most day-to-day programming problems:
* A user interface is confusing, or the English around it is unclear
* An API you rely on changes, is deprecated, etc.
* Users use something in unexpected ways
* Updates forced by vendors or open source projects cause things to break
* The customer isn't clear what they want
* Complex behavior between interconnected systems, out of the purview of the formal language (OS + database + network + developer + VM + browser + user + web server)
Yeah, there were about 5 or 10 videos about this "complexity" and unpredictability of 3rd parties and wheels involved that AI doesn't control and even forget - small context window - in like past few weeks. I am sure you have seen at least one of them ;)
But it's true. AI is still super narrow and dumb. Don't understand basic prompts even.
Look at the computer games now - they still don't look real despite almost 30 years since Half-life 1 started the revolution - I would claim. Damn, I think I ran it on 166 Mhz computer on some lowest details even.
Yes, it's just better and better but still looking super uncanny - at least to me. And it's been basically 30 years of constant improvements. Heck, Roomba is going bankrupt.
I am not saying things don't improve but the hype and AI bubble is insane and the reality doesn't match the expectation and predictions at all.
wolfgangbabad commented on Roomba maker goes bankrupt, Chinese owner emerges news.bloomberglaw.com/ban... · Posted by u/nreece
The problem is that all are quite tall which is a problem with some older sofas etc. Samsung did one "slim" model I think some time ago, but not sure if you can still buy it.
Google is too big to fail. It's the backbone of the Internet. Just YouTube is synonymous with online video.
wolfgangbabad commented on Claude Code on the web anthropic.com/news/claude... · Posted by u/adocomplete
Codex is the way.
wolfgangbabad commented on Docker Systems Status: Full Service Disruption dockerstatus.com/pages/in... · Posted by u/l2dy
wolfgangbabad commented on Docker Systems Status: Full Service Disruption dockerstatus.com/pages/in... · Posted by u/l2dy
even reddit throws a lot of 503s when adding/editing comments
My dream is that The Qt Company will make some monstrous deal with the EU and all the licensing will become 100% opensource while they will be tasked and paid to maintain it longterm and work on it.
wolfgangbabad commented on Tauri binding for Python through Pyo3 github.com/pytauri/pytaur... · Posted by u/0x1997
I don't understand why people like Tauri - the fact it uses the system web browser completely destroys the main advantage of Electron: that you can test it locally and be absolutely sure that it will render like that on any other system since the browser is shipped with it.
I agree. I don't mind VS Code or some app a person did eats 300 MB of RAM and is Electron if it does the job done. By the way good luck implement something like rtl, i18n, text select and right click context menus in you favorite C/Go/Rust/ImGui/ImmediateModeWhatever library.
Wanna switch between Arabic, Chinese, English in a textarea or input or the whole app? Trivial in Electron. Again, good luck with that in any other environment.
Electron is superior for any text/form apps. HTML/CSS/JS are truly magical if you dive deeper and for any form-like classical type of crud apps there is really no better option.
With our computers getting more RAM and disk space every few years - especially compared to AI needs, Electron is actually super lean compared to those AI llms models. Funny enough, LM Studio is an Electron app ;)