现在对Cubical Agda里面应用Encode-Decode method有什么说法么?

Good work!

Very interesting and clear presentation! Thank you

Pi calculus is underrepresented in industry. Very nice talk.

*this is the way* -mando

Great talk!!!

11:30 Does the order matter here? I don’t think the template operator is commutative, is it?

Syntax seems like a mix of Python & Nim. But it is good.

It's weird how Haskell is known as a specified language, but actually, as GHC took over and accrued under-documented extensions, stayed as ad-hoc as it started out before the spec was written. Look at how many implicit language revisions there were before Haskell98, by looking at the GHC source. GHC always required extensions. Cabal-install is just a continuation of this ad-hoc philosophy. What this talk doesn't mention, that I am curious about: Does typing somehow make it more difficult to have a stable API? Does Haskell's language extensions make it more difficult? Dynamic programming makes interfaces implicit. The interface is often just an invariant specified in a comment. If you use the interface as intended, everything works out great. But I played with the Scribble API for generating Idris2 docs, and it seems like there are parts of it that are very ad-hoc too. So how did core Racket manage to develop this stable API?

The sound is terrible

不错 不错

first!1!

Incredible

What if there was APL-inspired lang written on top of TinyGrad?

Thanks for sharing this video! It sparked a great conversation with my friends......

let's descend into the madness of reimplantation!

The mic went out of battery in the middle of the session but thanks to the volunteers, it was fixed very quickly!

prushdown automaton are real

Very cool. First I've seen of interleaving LLM with programming language static analysis. I'd be interested in seeing this applied to a compiler, rather than a post-compilation static analysis pass.

Would love to see an example for DNS parsing with it. Will check out the code.

Nice work! :)

Hehe Lu got wood hehe

Have a look at "A Functional Pattern System for Object-Oriented Design" (1999) by Thomas Kühne (U of Wellington). I think this was his PhD thesis. As the title implies, it is mostly about transplanting ideas from FP to OOP.

The speaker keeps talking about how the merge problem is interesting, but never explains how it is achieved. I wish this was explained.

Great talk! Sad about the last slide....

thank you for the presentation!

It looks like the wrong thumbnail was uploaded for this presentation.

Hi Guys, u have messed up preview and videos. Most of them has wrong preview…hope u fix them soon

Häppi Börsdei... 🎉 Andersch nid gfunde, drum so... velech chunts jo a

1:01:08 Multiple GC heaps is the fundamental problem. Are multiple wasm heaps in single WEB page really that different from multiple Java processes running on the same operating system?

34:31 implementing multithreaded algorithms would be problematic if you abstract something then you loose the ability to use it efficiently.

13:17 video starts 19:42 speaker introduction 20:21 keynote starts

14:04 video starts 17:26 keynote start

To be FBD is just like and Event tree.

The demo is cropped 🙁

This is super interesting! This seems like it could have a huge performance impact for functional programming languages. Thanks for the talk!

This is a very interesting topic. I want to know more

@33:35 what? I see no problem

"It's hard to avoid thoughts of violence when I see something like this" has to be the best line in the entire slide deck and is something we can probably all relate to 😂

You are my idol. Hi5 dear fellow Aquarius 🖖

I try and dynamically respond to as many as a I can. I regretfully inform those whom I cannot dynamically respond to, that in the future there would be more response of the dynamic nature. Ohhhyouuuuu oboy!

My mind is blown!

1:03 to 1:11, really see all the issues ! finding duplicates and conflicts in policies is big. only problem i can see is here there is no data so, it hard for policy maker to write one

please repeat the questions asked

It's very pleasing that there's a famous seamstress called Charlotte Clark.

Legend

thanks for uploading it

Thanks ... Nice Tutorial ...

Good, we progressed from Greek mythology into Rome history in merely 40 years.

Great talk, but please include the speaker’s name in the title! (Speakers deserve credit for their work.) A brief summary and links to the paper, speaker’s website, etc. in the description would also be nice.