Rust Nederland (RustNL)
Rust Nederland (RustNL)
  • Видео 47
  • Просмотров 213 152
Type Theory for Busy Engineers - Niko Matsakis
Follow Niko on:
twitter: nikomatsakis
github: github.com/nikomatsakis
This talk was given at RustNL 2024, in Delft, The Netherlands.
Playlist of other talks from RustNL 2024: ruclips.net/p/PL8Q1w7Ff68DBZZbJt3ie5MUoJV5v2HeA7
Want to come to RustWeek 2025 in-person? go to 2025.rustnl.org
Просмотров: 6 257

Видео

Rust Poisoning My Wrist for Fun - Ulf Lilleengen
Просмотров 1,2 тыс.2 месяца назад
The PineTime is an affordable and functional smartwatch with open-source firmware. Although several open-source RTOSes are available to run on it, nothing feels better than creating your own firmware and running it every day. This talk presents my journey of creating this firmware, the tools I used, and the lessons learned. It demonstrates a real-world application using the Embassy project. The...
Xilem: Let's Build High Performance Rust UI - Raph Levien
Просмотров 7 тыс.2 месяца назад
Xilem is a new UI toolkit designed for high performance and idiomatic expression of UI and app logic, suitable for both desktop and mobile. Xilem is built in a layered architecture. At the top is a reactive layer where views are simple statically typed Rust structs (though type erasure is possible), and no macros are needed. The widget layer is evolved from Druid. At the infrastructure layer is...
Async Rust in Embedded Systems with Embassy - Dario Nieuwenhuis
Просмотров 3,3 тыс.2 месяца назад
Async/await in Rust has a unique design compared to other languages that offers much lower-level control. This makes it surprisingly well suited for use in microcontroller-based embedded systems with no operating system, little memory (down to kilobytes!) and no heap. Embassy is an async runtime that makes that possible: it includes an executor that works on no-std no-alloc targets, and librari...
K23: A Secure Research OS Running WASM - Jonas Kruckenberg
Просмотров 9782 месяца назад
K23 offers a fresh look a OS design. It is entirely written in Rust with an integrated WASM JIT compiler that tries to answer what an OS built for the 21st century could look like. We will cover the general ideas behind K23 and its inspirations. We'll go over the project progress so far, and detail a few points that are of interest to the Rust crowd: various nightly features used, custom debugg...
Compression Carcinized: Implementing zlib in Rust - Folkert de Vries
Просмотров 1,3 тыс.2 месяца назад
Data compression is used when loading almost anything on the web. This talk is about the implementation of zlib-rs. We'll explore how compression works, how to convert a C project to rust, maintain its performance, and foster adoption. Slides: github.com/rustnl/meetups/blob/main/20240507-delft/slides/Compression Carcinized - Folkert de Vries.pdf Follow Folkert on: github: github.com/folkertdev ...
Robius: Immersive and Seamless Multiplatform App Development in Rust - Kevin Boos
Просмотров 2,2 тыс.2 месяца назад
Project Robius is a new community-driven framework that enables developers to create robust, efficient, and immersive applications in Rust that seamlessly run on many platforms, including desktop, mobile, and web. In this talk, we’ll describe our ongoing work to improve the Rust app dev experience, including a brief overview of key constituent projects like the Makepad UI toolkit and the Osiris...
Introducing June - Sophia Turner
Просмотров 1,6 тыс.2 месяца назад
Slides: github.com/rustnl/meetups/blob/main/20240507-delft/slides/The Secret Project - Sophia Turner.pdf Follow Sophia on: twitter: sophiajturner mastodon: fosstodon.org/@sophiajt github: github.com/sophiajt This talk was given at RustNL 2024, in Delft, The Netherlands. Playlist of other talks from RustNL 2024: ruclips.net/p/PL8Q1w7Ff68DBZZbJt3ie5MUoJV5v2HeA7 Want to come to RustWee...
Postcard: An Unreasonably Effective Tool for Machine to Machine Communication - James Munns
Просмотров 3 тыс.2 месяца назад
Postcard is a binary wire format, a crate providing a `serde` backend, and a growing ecosystem of tools for getting computers, even small embedded ones, productively talking to each other. This talk explores where postcard came from, how it is used today, and how you can use it for building quick, pragmatic, and effective communication protocols for your projects. Slides: onevariable.com/talks/...
Oxidizing Education - Henk Oordt
Просмотров 7382 месяца назад
For Rust to really take off, we have a cycle to break: companies need Rust developers to start doing Rust, and developers need Rust jobs to start learning Rust. To break the cycle, we can oxidize education: enable universities to start teaching Rust. This talk is about how we can do just that. Slides: github.com/rustnl/meetups/blob/main/20240507-delft/slides/oxidizing-education-rustnl2024.pdf F...
Fortifying Rust's FFI with Enscapsulated Functions - Leon Schuermann
Просмотров 8642 месяца назад
Memory- and type-safe languages like Rust are increasingly popular for systems development. Nonetheless, practical systems must interact with code written in memory-unsafe languages. Examples for this can be found across the spectrum, with many Rust applications linking against popular libraries such as OpenSSL, to security and safety-critical embedded systems, where subsystems such as cryptogr...
Replacing OpenSSL One Step at a Time - Joe Birr-Pixton
Просмотров 1,2 тыс.2 месяца назад
rustls-libssl is a new project that provides a drop-in replacement for OpenSSL's libssl, with the goal of easy retrofitting of memory-safe TLS into existing applications. The talk will start with a general overview of recent work on rustls and then introduce rustls-libssl. We'll dive into some of the challenges Joe has encountered, like 1) various depraved details of the openssl API that made t...
Making Connections - Mara Bos
Просмотров 1,6 тыс.2 месяца назад
Slides: github.com/rustnl/meetups/blob/main/20240507-delft/slides/Making Connections - Mara Bos.pdf Follow Mara on: twitter: m_ou_se mastodon: hachyderm.io/@Mara github: github.com/m-ou-se This talk was given at RustNL 2024, in Delft, The Netherlands. Playlist of other talks from RustNL 2024: ruclips.net/p/PL8Q1w7Ff68DBZZbJt3ie5MUoJV5v2HeA7 Want to come to RustWeek 2025 in-person? g...
Arc in the Linux Kernel - Alice Ryhl
Просмотров 3 тыс.2 месяца назад
The Linux Kernel is a very special codebase with a lot of restrictions on how you can write your code. In this talk, you will hear about how Rust has to adapt to work in the Linux Kernel. We will be looking at the kernel's extensive use of linked lists, and how we need to change our Arc to work in that environment, as well as the various unstable compiler features that we are using to make that...
ThRust in Space: Initial Momentum - Michaël Melchiore
Просмотров 9442 месяца назад
This talk first introduces the specific challenges of developing space-worthy SW in a context of growing customers' expectations, in terms of performance, features and reliability. Then, Michaël presents the ESA study strategy and the initial solutions it yielded. Several concrete use-cases demonstrate how Rust can be extended via its type-system to tackle increasingly domain-specific difficult...
Visual Application Design for Rust - Rik Arends
Просмотров 4,1 тыс.2 месяца назад
Visual Application Design for Rust - Rik Arends
RISC-V Vector Extension in Rust - Gijs Burghoorn - Oct 26 2023
Просмотров 1,2 тыс.9 месяцев назад
RISC-V Vector Extension in Rust - Gijs Burghoorn - Oct 26 2023
10x faster - taking charge of the compiler backend - Folkert de Vries - Oct 26, 2023
Просмотров 3,4 тыс.9 месяцев назад
10x faster - taking charge of the compiler backend - Folkert de Vries - Oct 26, 2023
uutils coreutils & the quest for compatibility - Terts Diepraam - Oct 26 2023
Просмотров 5979 месяцев назад
uutils coreutils & the quest for compatibility - Terts Diepraam - Oct 26 2023
Volumetric rendering using rust - Rosalie de Winther - July 11 2023
Просмотров 1,4 тыс.Год назад
Volumetric rendering using rust - Rosalie de Winther - July 11 2023
Building a Code Editor from Scratch in Makepad - Eddy Bruël - July 11 2023
Просмотров 4,2 тыс.Год назад
Building a Code Editor from Scratch in Makepad - Eddy Bruël - July 11 2023
Makepad: Designing modern UIs with Rust - Rik Arends - RustNL 2023
Просмотров 53 тыс.Год назад
Makepad: Designing modern UIs with Rust - Rik Arends - RustNL 2023
The Mystery of the Pin - Martin Hoffmann - RustNL 2023
Просмотров 6 тыс.Год назад
The Mystery of the Pin - Martin Hoffmann - RustNL 2023
Using Rust to write Python modules - Kushal Das - RustNL 2023
Просмотров 3,6 тыс.Год назад
Using Rust to write Python modules - Kushal Das - RustNL 2023
Testing My Patience: An Exploration of Testing in Rust - Ed Page - RustNL 2023
Просмотров 1,6 тыс.Год назад
Testing My Patience: An Exploration of Testing in Rust - Ed Page - RustNL 2023
Write once, run everywhere: building apps with Dioxus - Jonathan Kelley - RustNL 2023
Просмотров 48 тыс.Год назад
Write once, run everywhere: building apps with Dioxus - Jonathan Kelley - RustNL 2023
Servo in 2023 - Martin Robinson - RustNL 2023
Просмотров 6 тыс.Год назад
Servo in 2023 - Martin Robinson - RustNL 2023
Rust, make me a sudo! - Ruben Nijveld - RustNL 2023
Просмотров 3,2 тыс.Год назад
Rust, make me a sudo! - Ruben Nijveld - RustNL 2023
The status of parallel rustc - Nicholas Nethercote - RustNL 2023
Просмотров 3,7 тыс.Год назад
The status of parallel rustc - Nicholas Nethercote - RustNL 2023
Waiter, there are fish in my Rust - Daan van Berkel - RustNL 2023
Просмотров 1,1 тыс.Год назад
Waiter, there are fish in my Rust - Daan van Berkel - RustNL 2023

Комментарии

  • @hyahoos1813
    @hyahoos1813 2 дня назад

    Embassy is a really really good project, I am very relieved to see something like embassy take off in this world!

  • @peterhayman
    @peterhayman 3 дня назад

    ❤ bevybevybevy ❤

  • @FrankJonen
    @FrankJonen 8 дней назад

    Everyone makes fun of Xcode but nothing changes. Just like with Electron and React.

  • @SimonHall-o4k
    @SimonHall-o4k 12 дней назад

    Really nice presentation. As a side note unrelated to VDB but relevant to game engines giving particles backlighting and directional lighting (Like your chimney smoke), FX artists can use 4D/6D lighting techniques. But these will still fail up super close so rooting for faster volume based rendering!

  • @jamesmoynihan948
    @jamesmoynihan948 13 дней назад

    I would love to use/ contribute to makepad, but there's just no substantial docs to orient new users to the DSL. I think it's holding back a lot of potential adoption of a really cool tool. ..

  • @AnchorTechFree
    @AnchorTechFree 17 дней назад

    Any Tutorials ?

  • @alexkazimir3835
    @alexkazimir3835 19 дней назад

    Great project, cool job

  • @simpingsyndrome
    @simpingsyndrome 19 дней назад

    ok bagus

  • @Rubin-Igor
    @Rubin-Igor 20 дней назад

    bardzo interesuję się servo uważam że to przyszłość bo naprawdę to co oni robięzwłaszcza w rust któy jest genialny pod ram który jest problemem dzisiejszych przegrądarek d;

  • @RoamingAdhocrat
    @RoamingAdhocrat 25 дней назад

    22:00 can I get "Geometry is easy if all children are same height" on a t-shirt please

  • @ziis8285
    @ziis8285 Месяц назад

    Amazing, i can't wait to fully learn how to program in Rust and use this.

  • @sstijn577
    @sstijn577 Месяц назад

    Thank you Dario for this awesome project ❤️

  • @avwie132
    @avwie132 Месяц назад

    UI folks are accustomed to inheritance? Did you miss the whole declarative functional UI revolution of the last 8 years? React, Elm, Flutter, SwiftUI and Jetpack Compose?

  • @rtdietrich
    @rtdietrich Месяц назад

    His videos are a kind of funny show-off, but they haven't really gotten me anywhere yet

  • @GigachadRustacean-lu8bo
    @GigachadRustacean-lu8bo Месяц назад

    another project that google will start and killed at some point in time

    • @RoamingAdhocrat
      @RoamingAdhocrat 25 дней назад

      at least as an (open-source?) project it doesn't cease to exist when google lose interest

  • @wtfisgoingon535
    @wtfisgoingon535 Месяц назад

    I've also started writing my own libs, because most of them use too many external crates when you can do the same thing with only the std one.

  • @avwie132
    @avwie132 Месяц назад

    Weird that Google is funding it with their 100% commitment to Jetpack Compose

    • @faisalxd369
      @faisalxd369 Месяц назад

      The work they're doing is not tied to Xilem and the performance benefits can be easily brought to other UI toolkits (namely Jetpack Compose).

  • @joshuarowe8410
    @joshuarowe8410 Месяц назад

    Really interesting work.

  • @meyou118
    @meyou118 Месяц назад

    nice!!!

  • @Erick_Castle
    @Erick_Castle Месяц назад

    Big fan of Embassy! Thanks for your contribution to the embedded Rust community ❤

  • @johnmckown1267
    @johnmckown1267 Месяц назад

    The theme was used a lot when Java came out. I wrote a small pure Java app. I wrote it on Linux. The .jar file ran exactly the same on Windows and the IBM mainframe at work.

    • @ricardojlrufino
      @ricardojlrufino Месяц назад

      Java runs on ibm mainframe ?

    • @johnmckown1267
      @johnmckown1267 Месяц назад

      @@ricardojlrufino sure does. I am fairly sure that it is now an integral part of installing z/OS. When I did it, it was an optional download.

  • @elliotalderson6609
    @elliotalderson6609 Месяц назад

    what is this creature

    • @KatieKatGG
      @KatieKatGG Месяц назад

      A person way more talented than you. She has over 15 years in developing programming languages such as TypeScript and Rust. What have you done?

  • @DavoGalavotti
    @DavoGalavotti Месяц назад

    I love the idea, I hate the name.

  • @zeroows
    @zeroows Месяц назад

    Great project, thank you. Looking forward for open sourcing it.

  • @akithered
    @akithered 2 месяца назад

    This is the talk he's referring to at RustLab ruclips.net/video/mmW_RbTyj8c/видео.html

  • @keepsimple1
    @keepsimple1 2 месяца назад

    strip down windows-rs to 1MB is really cool!

    • @rikarends7102
      @rikarends7102 Месяц назад

      I think MS made a tool for that now as well

  • @paulohl7370
    @paulohl7370 2 месяца назад

    Amazing! I was hesitant to buy a Pinetime, and this might be what makes me get it X)

  • @RiwenX
    @RiwenX 2 месяца назад

    Awesome, I wish you would hold more talks.

  • @CSWatch-ik7nq
    @CSWatch-ik7nq 2 месяца назад

    What is the related research regarding the last question about calling from C to Rust?

  • @yondaime500
    @yondaime500 2 месяца назад

    This is going to sound weird, but this whole talk reminds me of the book There Is No Antimemetics Division. The idea of keeping a log of everything that didn't work until someone finds what does work, and drawing connections between seemingly unrelated events until you can see the shape of the real problem. Luckily, we don't have to deal with anomalies erasing memories while we do that, so maybe it will be easier than in the book.

  • @TimmmmCam
    @TimmmmCam 2 месяца назад

    Very cool! I don't know if I could edit Rust without rust-analyzer though...

    • @rikarends7102
      @rikarends7102 Месяц назад

      Rust analyser lives in my head for now

  • @michaelcummings7246
    @michaelcummings7246 2 месяца назад

    One advantage I see with teaching rust as one of the first programming language people learn is will save them from forming many of the bad habits that many other languages allow which leads to the bugs we often see by both new and experienced programmers.

  • @isaactfa
    @isaactfa 2 месяца назад

    He's really Donald Knuth-ing it.

  • @isaactfa
    @isaactfa 2 месяца назад

    Great talk, great project!

  • @dbug64
    @dbug64 2 месяца назад

    How many UI frameworks has Raph now started? :^) Are they connected to each other somehow? Or are we(Rust community) still searching for the best way to do non-OO UI in Rust?

    • @DavidSchmitt
      @DavidSchmitt 2 месяца назад

      I'd expect the number of projects to consolidate as people are figuring out what does work and start focusing on higher levels (like how many projects are already building on top of winit)

    • @dbug64
      @dbug64 2 месяца назад

      @@DavidSchmitt Even if it's fragmented I find this exploration very interesting in many ways. Like you point out, winit is used a lot, accessabilitykit too. I read that someone experimented with using the async paradigm as a base for UI. The immediate UI's feels like a functional approach, given a state, create the UI from it.

    • @DavidSchmitt
      @DavidSchmitt 2 месяца назад

      @@dbug64 I also expect that basic infrastructure libraries like winit have a lot less integration concerns with the higher level frameworks compared to e.g. widget libraries

    • @khai96x
      @khai96x Месяц назад

      JS/TS has capabilities to do OOP-based UI, but most UI frameworks still chose the declarative model (React-like).

  • @oleksrow
    @oleksrow 2 месяца назад

    Big effort on this! Unfortunately for those who ship on fleets of raspberry pis its too unstable: we recently switched back to openssl because aws-lc simply discards the platform we build for

  • @TarasShabatin
    @TarasShabatin 2 месяца назад

    Is it possible to borrow some solution from other text editors written in C++ or Java?

  • @johnyepthomi892
    @johnyepthomi892 2 месяца назад

    Please do not use WebKit on Linux. I don’t know if it does but that’s one huge drawback of Tauri framework. I feel like a cave man using WebKit.

    • @KevinBoosPhD
      @KevinBoosPhD 2 месяца назад

      hah, don't worry -- we definitely don't have any web engines in the system stack!

    • @johnyepthomi892
      @johnyepthomi892 2 месяца назад

      @@KevinBoosPhD awesome. I should check it out then. You should use this a a selling point as well too. Many would give it more attention. Very hopeful for this project.

  • @ekids.bassment
    @ekids.bassment 2 месяца назад

    I would like to suggest to make the screen full screen and put your logo on top, I can't read a single line of code this way.

    • @rikarends7102
      @rikarends7102 Месяц назад

      I'll have a better windowing system next time around

    • @jamesmoynihan948
      @jamesmoynihan948 13 дней назад

      Not sure the speaker has control over how the video feeds get framed for RUclips, but I agree the allocation of screen space is not great.

  • @gamekiller0123
    @gamekiller0123 2 месяца назад

    FYI, June was supposed to be a new programming language but lost funding and its repo is now set to read-only.

  • @alexpyattaev
    @alexpyattaev 2 месяца назад

    Is there source code for this somewhere?

  • @swarajyadav
    @swarajyadav 2 месяца назад

    Brilliant!!!

  • @irlshrek
    @irlshrek 2 месяца назад

    super cool!

  • @rsalmei
    @rsalmei 2 месяца назад

    Amazing presentation! Thanks, James Munns.

  • @johanngambolputty5351
    @johanngambolputty5351 2 месяца назад

    Has this been reuploaded?

  • @adampaul7905
    @adampaul7905 2 месяца назад

    Why are you not just do a compiler of Coq to Rust ? You are pretty much already doing it by implement a macro to write inference rule. To have to learn this DSL to describe Inference rule doesn't seem optimal at all... Even if I understand the goal to have a crate in Rus to do it.

    • @AatifSyedyp
      @AatifSyedyp 2 месяца назад

      This is addressed at 44:00

  • @TonyUnderscore
    @TonyUnderscore 2 месяца назад

    I was fortunate enough to attend this live. Absolutely brilliant speaker! I hope to see him again next year

  •  2 месяца назад

    Was this not published a long time ago already ?

    • @rustnederlandrustnl
      @rustnederlandrustnl 2 месяца назад

      The Video or the Framework?

    • @KevinBoosPhD
      @KevinBoosPhD 2 месяца назад

      I gave a talk introducing the vision for this project back in September 2023, at GOSIM in Shanghai. But that was just a vision -- this is the first talk with actual code/content and working demos.

  • @CjqNslXUcM
    @CjqNslXUcM 2 месяца назад

    amazing work

  • @julesoscar8921
    @julesoscar8921 2 месяца назад

    43:09 we need this