Follow

here's my racketcon talk for people who weren't in person. youtube.com/watch?v=oAE_G6HYil

· · Web · 2 · 1 · 2

@ccshan i don't know fucking probably. that or reddit (ugh).

@hazel I wonder if Bingus can synthesize count-word from tests that quotient by permutation

@ccshan 90% sure the answer is "theoretically yes actually no".

@hazel It only uses the tests to gather constants and filter candidate programs, right? We have supercomputers at IU.

Also I want to show/demo this in class in a week, because I describe machine learning as "the computer does design recipe step 5 after you do steps 1-4".

And I want to try (check-expect (product empty) 0) oh 21m30s

@ccshan oh shit oh fuck you actually want to use this? pm me in a few.

Sign in to participate in the conversation
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.