Toot

Written by John Regehr on 2024-11-22 at 01:09

@tivasyk @dalias effect of AI coding assistance on building theories of programs TBD…

=> More informations about this toot | View the thread | More toots from regehr@mastodon.social

Mentions

=> View tivasyk@mastodon.social profile | View dalias@hachyderm.io profile

Tags

Proxy Information

Original URL: gemini://mastogem.picasoft.net/toot/113523935256120041
Status Code: Success (20)
Meta: text/gemini
Capsule Response Time: 290.634584 milliseconds
Gemini-to-HTML Time: 0.808912 milliseconds

This content has been proxied by September (ba2dc).