Programming

— Software development, languages, tools, and the craft of building software

1 members Created Jul 2026

Podcast: Formal Methods for Every Engineer in an AI-Powered Future

infoq.com/podcasts/formal-methods-ai-powered-future

In this podcast Shane Hastie, Lead Editor for Culture & Methods spoke to Gabriela Moreira about making formal methods accessible through the Quint specification language, how AI is dramatically…

— via InfoQ, Gabriela Moreira

Sort by Hot Top New Controversial

No comments yet

Be the first to share your thoughts.

Community

Programming

Software development, languages, tools, and the craft of building software

Members 1

Created Jul 2026

Site rules

Apply everywhere on Comentr. Violations affect your global standing.

No illegal content
No spam
No harassment
No impersonation
No vote or standing manipulation
No ban evasion
No report abuse

Read the full Content Policy →

Report thread

Why are you reporting this thread?

Spam or misleading Harassment or bullying Hate speech Violence or threats Sexual or NSFW content Self-harm or suicide Doxxing or private info Off-topic Misinformation Other

Restore the redacted content?

This will make it visible to everyone again. The clear action is logged in the mod log.

Join the conversation

Create an account to continue.

Username

Secure your account with

Email me a sign-in link

Already have an account?

Private note about

Decoration Shown next to @ wherever they appear

Hover-card line 0 / 80

Profile note 0 / 500

Only visible to you