search

fdilke / bewl

A DSL for the internal language of a topos
60 stars 3 forks source link

Really cool #6

Open alok opened 2 years ago

alok commented 2 years ago

I was looking for topoi computation libraries and found this. By the way, check out https://topos.institute/

fdilke commented 2 years ago

Thanks! Appreciate the interest. Now working on a complete retool of Bewl to use Scala 3 Yes, I'm aware of the Topos Institute, it would be my dream job to work there. Another possibility is to write an article about Bewl for Compositionality :)

alok commented 2 years ago

They're hiring https://topos.institute/contact

On Thu, Jul 21, 2022 at 8:53 AM Felix Dilke @.***> wrote:

Thanks! Appreciate the interest. Now working on a complete retool of Bewl to use Scala 3 Yes, I'm aware of the Topos Institute, it would be my dream job to work there. Another possibility is to write an article about Bewl for Compositionality :)

— Reply to this email directly, view it on GitHub https://github.com/fdilke/bewl/issues/6#issuecomment-1191658706, or unsubscribe https://github.com/notifications/unsubscribe-auth/AB7QUTBQPIOZTCLVUZEERLTVVFW7XANCNFSM5LBHHX2Q . You are receiving this because you authored the thread.Message ID: @.***>

jvienney commented 10 months ago

Hi! This project is a great idea. Writing a paper for Compositionality would be so cool!

Also, you could maybe post a message on the Zulip Category Theory Chat. There are a lot of people who will be interested by Bewl on this place.

Here is an invite link if you want to join: https://categorytheory.zulipchat.com/join/fv6l7emqwdl5myvpcgtxwkwd/

(By the way, my name is Jean-Baptiste Vienney on Zulip if ever you come there.)

fdilke commented 10 months ago

Hi Jean-Baptiste,Thanks for this - and the encouragement!I just presented Bewl to Huawei, as part of an application for a research job because they want to apply topos theory to machine learning. My impression was that they were a bit bemused by it.Would be very interested to share with the forum, I’ll explore Zulip and see what would be the best way to do this. Any pointers appreciated, and do let me know if you see any potential applications in your own research. Best,FelixOn 15 Oct 2023, at 02:13, jvienney @.***> wrote: Hi! This project is a great idea. Writing a paper for Compositionality would be so cool! Also, you could maybe post a message on the Zulip Category Chat. There are a lot of people who will be interested by Bewl on this place. Here is an invite link if you want to join: https://categorytheory.zulipchat.com/join/fv6l7emqwdl5myvpcgtxwkwd/

—Reply to this email directly, view it on GitHub, or unsubscribe.You are receiving this because you commented.Message ID: @.***>