Here is concrete example of a Neurosymbolic programming framework using a proof assistant which is also a programming language (Rocq). All you have to do is drop this MCP in your opencode (or similar) coding framework and you can have LLMs write certifiably correct code.

github.com/scidonia/mcp...

At bookwyrm.ai we've been performing experiments in Neural-symbolic programming and we're getting amazing results. Generative AI driven by both specification and formal verification.

🧵1/

I've been conducting experiments with the use of LLMs for "Design by Contract" (DbC), a paradigm described by Bertrand Meyer. DbC is quite straightforward to use in a language like python (for instance using icontract). The idea is essentially to:

AI can't replace humans but that doesn't mean you can't use it to achieve important workflow efficiencies.

As a dev-focused startup, talking with developers is important to understand what is important to you.

We would love to talk with fellow developers to show off BookWrym and to get your feedback.

Willing to help? Please send us a DM or fill in the form on this page: bookwyrm.ai/contact

#developers

1/ If you're using AIs to generate code, you might want to have a look at this chart. Language choice now should also take into account AI comprehension and writing abilities.

BookWyrm #API for back office automation.

Extract text from docs > create semantic chunks > structure with Pydantic models > automate workflows.

Type-safe JSON output, source attribution, quality scores. Perfect for invoicing, compliance, data entry.

bookwyrm.ai/backoffice-automation

#ai #dev

1/ AI is changing the way we write code and that means tools and methodologies have to change. It’s time to bring en.wikipedia.org/wiki/Design_...
back into style.

1/ I used to lecture in CS. Due to AI, I can tell you if I did it now I would not allow any computers in my class room at all. Assignments would be pen and paper. Students need to learn to reason, first and foremost.

1/ Reactors I have known and loved: LAMPRE One of the weirdest and most innovative reactors that I've come across is the LAMPRE reactor. As some may know, one of the biggest safety problems that nuclear reactors experience is a meltdown, which usually occurs from a loss of coolant event.