▲ -12 ▼ "Bend": an attempt to apply formal proofs to AI-generated code (github.com) submitted 1 month ago by unquietwiki@programming.dev to c/programming@programming.dev 2 comments fedilink This showed up on TLDR today. Supposed to be able to loop this in with AI-assisted code development to provide guardrails on what the program is actually supposed to do.
▲ 5 ▼ DuckLabs to Join AWS, Projects to Remain Open Source (ducklabs.com) submitted 2 months ago by unquietwiki@programming.dev to c/opensource@programming.dev 1 comment +1 crosspost fedilink
▲ 1 ▼ Enabling IPv6 support for IPv4-only apps on Linux (blog.apnic.net) submitted 3 years ago by unquietwiki@programming.dev to c/ipv6@lemmy.world comment fedilink