🦞🌯 Lobster Roll

Thread

Improved Idris (2.0 / Blodwen) interactive editing / code completion (twitter.com)
see https://github.com/edwinb/Blodwen

Stories related to "Improved Idris (2.0 / Blodwen) interactive editing / code completion" across the full archive.

Improved Idris (2.0 / Blodwen) interactive editing / code completion (twitter.com)
see https://github.com/edwinb/Blodwen
10 things Idris improved over Haskell (deque.blog)
Powerful DNA Manipulation: Improved Gene Editing With New Understanding of CRISPR-Cas9 Tool (scitechdaily.com)
Cryo-EM captures CRISPR-Cas9 base editor in action. Within a mere eight years, CRISPR-Cas9 has become the go-to genome editor for both basic research and gene therapy. But CRISPR-Cas9 also has spawned other potentially powerful DNA manipulation tools that could help fix genetic mutations responsible...
MagicQuill: An Intelligent Interactive Image Editing System (magicquill.art)
Show HN: MagicQuill – An Intelligent Interactive Image Editing System (magicquill.art)
MagicQuill: An Intelligent Interactive Image Editing System (magicquill.art)
Magic Quill – An Intelligent Interactive Image Editing System (magicquill.art)
VS Code Extension to let LLMs interactively debug your code (github.com)
Show HN: Diamond – an interactive CLI for editing trees (github.com)