If I recall their talk correctly, models are unions of SDFs, which get sampled into a point cloud, and each point gets splatted as another SDF primitive called a "fleck".
Game dev sits in a now awkward range between tech and art, so I expect it to become much more polarised on this topic than other collectives which lean either way.
Wouldn't it be more productive spending the tokens on adding ACSL annotations to verify CPython with Frama-C? You'd verify the actual runtime instead of an AI translation of it, and fixes could be contributed upstream directly.
One advantage of this approach is that it can be done both on the C implementation code and the Python standard library. It's a bit approximate -- automatic retrofitting of formal specification maybe it helps to think of it as a stepping stone for simple automated testing and property based testing.
Yes, some of these companies offer libraries to turn your mobile app into an exit node and get paid for the traffic. You can find news about Google Play playing whac-a-mole against apps doing so silently, often involving law enforcement as well.
Also some free VPNs use their users as exit nodes for their actual paying customers, good luck finding a user who understands that. It's the obvious way to monetize such a service other than ads.
It's a mixed bag. The company I work for (nearly $6 billion anual revenue, southern EU) only started giving out the lowest tier of Github Copilot licenses this summer, and only widely at the business units they're desperate to see grow (I got lucky there due to wearing multiple hats). Everyone else keeps coding manually, although the nerdiest of us catch up with Codex/Claude/whatever on our own time, same as it ever was.
Meanwhile, a friend at a consulting company of similar scale tells me they don't hire anyone who shows a lack of experience with "agentic engineering" during the interview. They're turning all their projects into software factories from issue ticket to deployment. He's much more resourceful and experienced than me so I trust he isn't automating himself out of his own job, but I'm much more gloomy about this transition.
I agree in principle, but I don't feel in a position to bargain: I'm a junior dev earning below my region's average salary (for all industries, not just tech), far below other engineers my age because reasons, and my education is now becoming obsolete for industry. I'll let others take the high ground, I just want to stay employable and not lock myself out of a decent salary.
Doesn't work for me in Chrome either; it transforms the URL from the top comment into https://sp.m. I believe this is the result of browser-level defenses against IDN homograph attacks, some of which postdate this article.
reply