Elektrine lite

← Feed

David R. MacIver

DRMacIver@mastodon.social

<p>I guess I toot now.</p>

Posts

  • Post #2311696

    Oh BTW we said we&amp;#39;d release Hegel for Go in a week or two, and two weeks later here you are, hegel-go: https://github.com/hegeldev/hegel-go / https://pkg.go.dev/hegel.dev/go/hegel (We actually released it on Friday but delayed telling anyone)

  • Post #2311689

    I&amp;#39;ve been working on a claude-code plugin for developing new Hegel client libraries and thought it would be interesting to share some of its output, so now we have an experimental repo for stuff that you probably shouldn&amp;#39;t use... ha ha unless? No, you probably shouldn&amp;#39;t use it. https://github.com/hegeldev/experimental But we do now have Hegel for Agda, Java, Perl, and Racket in there.

  • Post #1650669

    Want to work on property-based testing with me? We&amp;#39;re hiring in London to work on Hegel (https://hegel.dev) https://antithesis.com/company/careers/?ashby_jid=e9fd4e23-6cd4-4556-bec8-2bb07756cc1b

  • Post #854451

    So like I mentioned I joined Antithesis a little while back. When I did, I pitched them on a crazy idea. Antithesis... Hypothesis... Hegel! A remarkably short number of months later, Hegel. Hegel is a property-based testing protocol and family of client libraries which makes it easy to do Hypothesis-grade PBT everywhere. Today: Rust. Tomorrow: The world! (Muahaha) https://antithesis.com/blog/2026/hegel/