Видео

我如何从钱包中将我的 89 USDT TRC20 提现到币安请帮帮我 12个钱包恢复短语：《pride》-《pole》-《obtain》-《together》-《second》-《when》-《future》-《mask》-《review》-《nature》-《potato》-《bulb》

Incredible work, must have been tough to do all that formalization!

Sound is lost until 4:35

Sound gets fixed at the 9 min mark.

Amazing presentation! Amazing contributions!

Fil-C, if performance is not your problem, you already have many options. It could be nice to 'just port' existing code in non-time critical parts without a total - rewrite in a different language. But most of those have already been re-written, so not sure about it

It's always a fun jumpscare when SPJ is in the audience and asks a question lol

I saw this video after getting plag in 3 out of 5 assignments😭😭😭

As someone who have dabbled in compiler development, I find the Rustlantis talk at 5:40:55 really interesting. If I'll ever want to make my crappy toy compiler with similarly SSA-based IR "production-ready", I'll make sure to use something like that to test it.

Super low sound volume

No sound when a slide splash-fills the screen. It's back when we see Simon but it's the smaller part of the video 😢

do not waste your time on this video!

Thanks for the breakdown! A bit off-topic, but I wanted to ask: I have a SafePal wallet with USDT, and I have the seed phrase. (alarm fetch churn bridge exercise tape speak race clerk couch crater letter). Could you explain how to move them to Binance?

Sadly the code in this video is so dark and blurry it's impossible to make it out. Surely in 2024 we could get this right?

Do you insist on calling it Fil-C?

Fil-C: interesting, the 2x slowness would be critical for some projects

Very nice lecture about embedded domain specific languages. Some of the problems listed in the lecture like clear error messages and localization are already solved in the Ring programming language.

I'm a fan of this work, thanks for the updates 🙏🏻 Have you heard about Wiring Diagrams from Category Theory?

Good job

Fil-C: The idea of safe-memory C sounds good per se, but.. unfortunately it's too WIP. Trying to compile small programs leads to many errors like: In file included from "llvm-project-deluge/build/bin/../../pizfix/include/dirent.h:18: /usr/include/x86_64-linux-gnu/bits/dirent.h:25:5: error: unknown type name '__ino_t'; did you mean 'ino_t?", and many others. Then you have no idea what to do if there's no forum to discuss, no people who have worked with it and can share compat issues, and so on.

Image having all the functionality of like fnm, nvm, npm, pnpm, prettier, tsc, jest, test runner, doc building, etc., in one single tool... A true unified platform experience! Almost like cargo for Rust, but more. It's like what projects like Rome/Biome, etc., are just starting to do for the JS world... If this kind of tooling comes to OCaml, it might become my favorite tool to write projects.

The lecture looks very interesting! Unfortunately, this video has pretty bad audio. I'm wondering, is there any chance for a re-uploading with a better quality or is it lost in time?

10:18

blub

Awesome talk, Mark!

Very interesting

quite cool! accidentally diving down the DreamCoder rabbithole on a Saturday afternoon, and this seems much more runnable on my laptop

Really appreciated this.

Sound quality is horrible. Any chance you have a better audio lying around? Or subtitles?

0:50 Quick note that nobody is ever going to read: Even if everybody in the audience knows what "CSR" means (Compressed Sparse Rows?), the talk maybe later be watched by people only who have no idea, so it's still worth throwing out a quick slide.

whoa

Beautifully described. This is super awesome

31:42 Welcome & Opening (Peter van Hardenberg, Geoffrey Litt, Joshua Horowitz) 38:03 Keynote: The Meaning of LIVE (Jonathan Edwards) 1:24:56 Definitions and Dimensions of Liveness (Joshua Horowitz) Block 1: Visual Systems 2:31:30 Subsequently: Telling stories with pictures makes programs (Marcel Goethals) 2:45:00 Code flow canvas - a generic visual programming system (Maikel van de Lisdonk) 2:55:45 Snappets: a VR animation system based on Projective Geometric Algebra (Hamish Todd) 3:13:27 Inkling: Sketching Dynamic Systems (Marcel Goethals, Alessandro Warth, Ivan Reese) 3:28:48 Arroost: Unblocking creation with friends (Lu Wilson) 3:47:48 Q&A Block 1 Block 2: Textual Systems 5:34:22 Run, Build and Grow Small Systems Without Leaving Your Text Editor (Albert Zak, Karl M. Göschka) 5:49:06 TAPE: From direct to programmatic and back (Ian Clester) 6:05:17 Diff-based interactive compiler debugging and testing (Luyu Cheng, Lionel Parreaux) 6:16:06 Example-driven development: bridging tests and documentation (Oscar Nierstrasz, Andrei Chiş, Tudor Gîrba) 6:26:27 Live Programming a Live Programming Environment: An Experience Report (Elliot Evans, Philippa Markovics, Martin Kavalar, Andrea Amantini, Jack Rusher) 6:41:58 Q&A Block 2 Block 3: Substrates 7:34:15 Manifold: Throwing Together Software Systems (Jeff Lindsay) 7:49:40 EYG a predictable, and useful, programming language (Peter Saxton) 7:58:08 DocuApps: Ampleforth Documents as Applications (Gilad Bracha) 8:05:47 ScrapSheets: Async Programs in a Reactive 2D Environment (Taylor Troesh) 8:14:21 Scoped Propagators (Orion Reed) 8:24:02 Q&A Block 3 8:43:08 Closing & Farewell (Peter van Hardenberg, Geoffrey Litt, Joshua Horowitz)

Very entertaining talk!

Great speach, Federico Cassano 👏🏻👏🏻👏🏻

16:42 is the beginning of the interview with Alan.

5:46:59 Making Sense of Multi-Threaded Application Performance at Scale with NonSequitur

I really enjoyed Prof. Hermans' historical work tracking down the potential roots of the how CS perception has changed in the 70s. Personally I sympathize with the 'hard = valuable" being sometimes strange or non inclusive. On the other hand - I also agree that objective metrics for value are hard to come by

Speaker introduction starts at 7:48, talk starts at 9:22

7:40:49 DSLs in Racket

1:21:02 Fil-C: memory safety with fanatical C/C++ compatibility

Yikes. Volume is quite low from Gilad.

came for the tode got absolutely amazed by felienne! normalise sharing fleshed out thought provoking studies. lu did amazing as well, lovely talks all around :) also haskell

Came here for Felienne's talk (3:22:00) and find her work very important! Research in all fields, including "hard" technological and theoretical, must have human studies to put them in context and to make things better (as she makes the case for computer science and PL). Is incredible that questions like "why is this valuable and for who?" or "who would use this and for what purpose?" are seem as naive and not worthy of a research project. Great talk!

3:58:42 After Felienne's excellent talk, it's unbelievable that this dickhead wasn't pulled away from the microphone during Q&A by the event organizers. edit: This person's name is James Noble.

This is really cool

At least tell me when it starts.

7:39:21 What Programmers and Lawyers Get Wrong About Privacy Policies

6:09:08 Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler (NEAT paper)

6:28:06 note that the bugfix in slide 39 has”idle_smt == -1” which is incorrect, and would cause the function to return false for all cpus in case we enter that statement. Happily the actual patch presented in slide 40 is correct. 😊