5 ms·

I didn't expect to see Hegel when opening up HN today! Feel free to ask any questions about it. We released hegel-go earlier this week, and plan to release hege

by tybug 5mo ago

I didn't expect to see Hegel when opening up HN today! Feel free to ask any questions about it. We released hegel-go earlier this week, and plan to release hegel-cpp sometime next week, so look forward to that :)

samth 5mo ago
Is the protocol documented so that other people can build language front-ends?
- tybug 5mo ago
  Yes! I just wrote up documentation for the protocol earlier this week: https://hegel.dev/reference/protocol https://hegel.dev/reference/protocol. In reality, we hope to provide more guidance than this to people who want to write their own language frontend. This protocol reference doesn't talk about the realities of [hegel-core](https://github.com/hegeldev/hegel-core https://github.com/hegeldev/hegel-core) and how to invoke it, for example. We intend to write a "How to write your own Hegel library" how-to guide. You can subscribe to this issue to get notified when we write that: https://github.com/hegeldev/website/issues/3 https://github.com/hegeldev/website/issues/3. If you're eager, pointing your favorite LLM at https://hegel.dev/reference/protocol https://hegel.dev/reference/protocol + https://github.com/hegeldev/hegel-rust https://github.com/hegeldev/hegel-rust and asking it to write you one for your language of choice should be enough to get you started!
antoinebalaine 5mo ago
How exciting! I wrote my own pbt lib for zig (https://github.com/AntoineBalaine/zlowcheck https://github.com/AntoineBalaine/zlowcheck) and it made me sad I couldn't get it nearly close to hypothesis. Looking forward to see this grow! Any hope for ffi through the c abi?
- tybug 5mo ago
  We plan to rewrite hypothesis in rust and expose an FFI through that! This is a medium term plan (months, not weeks or years), but we're acutely aware that relying on a python component is not a long-term solution.

5 ms·

I didn't expect to see Hegel when opening up HN today! Feel free to ask any questions about it. We released hegel-go earlier this week, and plan to release hege

by tybug 5mo ago

samth 5mo ago
Is the protocol documented so that other people can build language front-ends?
- tybug 5mo ago
  Yes! I just wrote up documentation for the protocol earlier this week: https://hegel.dev/reference/protocol https://hegel.dev/reference/protocol. In reality, we hope to provide more guidance than this to people who want to write their own language frontend. This protocol reference doesn't talk about the realities of [hegel-core](https://github.com/hegeldev/hegel-core https://github.com/hegeldev/hegel-core) and how to invoke it, for example. We intend to write a "How to write your own Hegel library" how-to guide. You can subscribe to this issue to get notified when we write that: https://github.com/hegeldev/website/issues/3 https://github.com/hegeldev/website/issues/3. If you're eager, pointing your favorite LLM at https://hegel.dev/reference/protocol https://hegel.dev/reference/protocol + https://github.com/hegeldev/hegel-rust https://github.com/hegeldev/hegel-rust and asking it to write you one for your language of choice should be enough to get you started!
antoinebalaine 5mo ago
How exciting! I wrote my own pbt lib for zig (https://github.com/AntoineBalaine/zlowcheck https://github.com/AntoineBalaine/zlowcheck) and it made me sad I couldn't get it nearly close to hypothesis. Looking forward to see this grow! Any hope for ffi through the c abi?
- tybug 5mo ago
  We plan to rewrite hypothesis in rust and expose an FFI through that! This is a medium term plan (months, not weeks or years), but we're acutely aware that relying on a python component is not a long-term solution.