GitHub shouldn't be a dependency for publishing Rust on crates.io(infosec.exchange)

152 points by speckx 4 months ago | 55 comments

Potential issues in curl found using AI assisted tools(mastodon.social)

505 points by robhlam 1 year ago | 145 comments

Mastodon post by curl maintainer Daniel Stenberg reporting that Joshua Rogers' AI-assisted tools found many potential curl bugs, with 22 fixes already landed.

Two ARM64-specific compiler optimization bugs, in GCC 15/16 and Rust, hit curl(mastodon.social)

44 points by torutofu 20 days ago | 5 comments

Mastodon post by Daniel Stenberg noting curl hit two arm64-specific compiler optimization bugs in GCC 15/16 and Rust, linking a GitHub issue.

It's Not the End of Programming(mathstodon.xyz)

31 points by boris_m 2 months ago | 36 comments

More questions about whether researchers can trust OpenAI with unpublished math(mathstodon.xyz)

845 points by pred_ 1 month ago | 787 comments

Mastodon thread by mathematician Andreas Thom questioning whether researchers can trust OpenAI with unpublished mathematics shared via ChatGPT, citing the non-sofic group result.

Why are there so many CPU bugs nowadays(mas.to)

20 points by riffraff 9 months ago | 6 comments