Rust Nederland (RustNL)
Rust Nederland (RustNL)
  • 47
  • 196 309
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: th-cam.com/play/PL8Q1w7Ff68DBZZbJt3ie5MUoJV5v2HeA7.html
Want to come to RustWeek 2025 in-person? go to 2025.rustnl.org
มุมมอง: 4 363

วีดีโอ

Rust Poisoning My Wrist for Fun - Ulf Lilleengen
มุมมอง 89921 วันที่ผ่านมา
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
มุมมอง 4K21 วันที่ผ่านมา
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
มุมมอง 1.9K21 วันที่ผ่านมา
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
มุมมอง 72121 วันที่ผ่านมา
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
มุมมอง 1K21 วันที่ผ่านมา
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
มุมมอง 1.7K21 วันที่ผ่านมา
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.3K21 วันที่ผ่านมา
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: th-cam.com/play/PL8Q1w7Ff68DBZZbJt3ie5MUoJV5v2HeA7.html Want to come to ...
Postcard: An Unreasonably Effective Tool for Machine to Machine Communication - James Munns
มุมมอง 2.3K21 วันที่ผ่านมา
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
มุมมอง 63721 วันที่ผ่านมา
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
มุมมอง 64521 วันที่ผ่านมา
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
มุมมอง 1K21 วันที่ผ่านมา
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.4K21 วันที่ผ่านมา
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: th-cam.com/play/PL8Q1w7Ff68DBZZbJt3ie5MUoJV5v2HeA7.html Want to come to RustWeek 2025 in-pe...
Arc in the Linux Kernel - Alice Ryhl
มุมมอง 2.4K21 วันที่ผ่านมา
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
มุมมอง 79121 วันที่ผ่านมา
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
มุมมอง 3.1K21 วันที่ผ่านมา
Visual Application Design for Rust - Rik Arends
RISC-V Vector Extension in Rust - Gijs Burghoorn - Oct 26 2023
มุมมอง 1.2K7 หลายเดือนก่อน
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.3K7 หลายเดือนก่อน
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
มุมมอง 5617 หลายเดือนก่อน
uutils coreutils & the quest for compatibility - Terts Diepraam - Oct 26 2023
Volumetric rendering using rust - Rosalie de Winther - July 11 2023
มุมมอง 1.3K11 หลายเดือนก่อน
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.1K11 หลายเดือนก่อน
Building a Code Editor from Scratch in Makepad - Eddy Bruël - July 11 2023
Makepad: Designing modern UIs with Rust - Rik Arends - RustNL 2023
มุมมอง 52Kปีที่แล้ว
Makepad: Designing modern UIs with Rust - Rik Arends - RustNL 2023
The Mystery of the Pin - Martin Hoffmann - RustNL 2023
มุมมอง 6Kปีที่แล้ว
The Mystery of the Pin - Martin Hoffmann - RustNL 2023
Using Rust to write Python modules - Kushal Das - RustNL 2023
มุมมอง 3.5Kปีที่แล้ว
Using Rust to write Python modules - Kushal Das - RustNL 2023
Testing My Patience: An Exploration of Testing in Rust - Ed Page - RustNL 2023
มุมมอง 1.5Kปีที่แล้ว
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
มุมมอง 45Kปีที่แล้ว
Write once, run everywhere: building apps with Dioxus - Jonathan Kelley - RustNL 2023
Servo in 2023 - Martin Robinson - RustNL 2023
มุมมอง 6Kปีที่แล้ว
Servo in 2023 - Martin Robinson - RustNL 2023
Rust, make me a sudo! - Ruben Nijveld - RustNL 2023
มุมมอง 3.1Kปีที่แล้ว
Rust, make me a sudo! - Ruben Nijveld - RustNL 2023
The status of parallel rustc - Nicholas Nethercote - RustNL 2023
มุมมอง 3.6Kปีที่แล้ว
The status of parallel rustc - Nicholas Nethercote - RustNL 2023
Waiter, there are fish in my Rust - Daan van Berkel - RustNL 2023
มุมมอง 1.1Kปีที่แล้ว
Waiter, there are fish in my Rust - Daan van Berkel - RustNL 2023

ความคิดเห็น

  • @meyou118
    @meyou118 10 วันที่ผ่านมา

    nice!!!

  • @Erick_Castle
    @Erick_Castle 11 วันที่ผ่านมา

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

  • @johnmckown1267
    @johnmckown1267 12 วันที่ผ่านมา

    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 9 วันที่ผ่านมา

      Java runs on ibm mainframe ?

    • @johnmckown1267
      @johnmckown1267 9 วันที่ผ่านมา

      @@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 12 วันที่ผ่านมา

    what is this creature

    • @KatieKatGG
      @KatieKatGG 11 วันที่ผ่านมา

      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 12 วันที่ผ่านมา

    I love the idea, I hate the name.

  • @zeroows
    @zeroows 13 วันที่ผ่านมา

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

  • @akithered
    @akithered 13 วันที่ผ่านมา

    This is the talk he's referring to at RustLab th-cam.com/video/mmW_RbTyj8c/w-d-xo.html

  • @keepsimple1
    @keepsimple1 15 วันที่ผ่านมา

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

    • @rikarends7102
      @rikarends7102 12 วันที่ผ่านมา

      I think MS made a tool for that now as well

  • @paulohl7370
    @paulohl7370 16 วันที่ผ่านมา

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

  • @RiwenX
    @RiwenX 17 วันที่ผ่านมา

    Awesome, I wish you would hold more talks.

  • @CSWatch-ik7nq
    @CSWatch-ik7nq 17 วันที่ผ่านมา

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

  • @best_claws
    @best_claws 20 วันที่ผ่านมา

    Love embassy makes embedded fun

  • @yondaime500
    @yondaime500 21 วันที่ผ่านมา

    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 21 วันที่ผ่านมา

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

    • @rikarends7102
      @rikarends7102 12 วันที่ผ่านมา

      Rust analyser lives in my head for now

  • @michaelcummings7246
    @michaelcummings7246 21 วันที่ผ่านมา

    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 21 วันที่ผ่านมา

    He's really Donald Knuth-ing it.

  • @isaactfa
    @isaactfa 21 วันที่ผ่านมา

    Great talk, great project!

  • @dbug64
    @dbug64 21 วันที่ผ่านมา

    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 20 วันที่ผ่านมา

      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 19 วันที่ผ่านมา

      @@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 19 วันที่ผ่านมา

      @@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

  • @oleksrow
    @oleksrow 21 วันที่ผ่านมา

    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 21 วันที่ผ่านมา

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

  • @johnyepthomi892
    @johnyepthomi892 22 วันที่ผ่านมา

    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 17 วันที่ผ่านมา

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

    • @johnyepthomi892
      @johnyepthomi892 17 วันที่ผ่านมา

      @@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 22 วันที่ผ่านมา

    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 12 วันที่ผ่านมา

      I'll have a better windowing system next time around

  • @gamekiller0123
    @gamekiller0123 22 วันที่ผ่านมา

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

  • @alexpyattaev
    @alexpyattaev 22 วันที่ผ่านมา

    Is there source code for this somewhere?

  • @swarajyadav
    @swarajyadav 22 วันที่ผ่านมา

    Brilliant!!!

  • @irlshrek
    @irlshrek 22 วันที่ผ่านมา

    super cool!

  • @rsalmei
    @rsalmei 23 วันที่ผ่านมา

    Amazing presentation! Thanks, James Munns.

  • @johanngambolputty5351
    @johanngambolputty5351 23 วันที่ผ่านมา

    Has this been reuploaded?

  • @adampaul7905
    @adampaul7905 23 วันที่ผ่านมา

    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 23 วันที่ผ่านมา

      This is addressed at 44:00

  • @TonyUnderscore
    @TonyUnderscore 23 วันที่ผ่านมา

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

  •  23 วันที่ผ่านมา

    Was this not published a long time ago already ?

    • @rustnederlandrustnl
      @rustnederlandrustnl 23 วันที่ผ่านมา

      The Video or the Framework?

    • @KevinBoosPhD
      @KevinBoosPhD 17 วันที่ผ่านมา

      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 23 วันที่ผ่านมา

    amazing work

  • @julesoscar8921
    @julesoscar8921 24 วันที่ผ่านมา

    43:09 we need this

  • @RiwenX
    @RiwenX 24 วันที่ผ่านมา

    Thanks for your invaluable work, bro

  • @codeking4585
    @codeking4585 28 วันที่ผ่านมา

    He loves dancing

  • @todorelax1793
    @todorelax1793 29 วันที่ผ่านมา

    why so Nervious 🤣

  • @muralikothapalli
    @muralikothapalli หลายเดือนก่อน

    Amazing

  • @robyp
    @robyp หลายเดือนก่อน

    19:57 Sophia Turner - The secret project 49:09 Kevin Boss - Robius: Immersive and seamless multi-platform app development in Rust 2:07:35 Folkert de Vries - Compression carcinized: implementing zlib in Rust 2:44:10 Jonas Kruckenberg - K23: A secure research OS running WASM 4:45:30 Dario Nieuwenhuis - Async Rust in embedded systems with Embassy 5:22:05 Raph Levien - Xilem: let's build high performance Rust UI 6:37:58 Ulf Lilleengen - Rust poisoning my wrist for fun 6:57:40 Niko Matsakis - Type theory for busy engineers

  • @badc0der
    @badc0der หลายเดือนก่อน

    Rust still needs time to find its way in UI development. Unfortunately none of the projects seem to be good enough for something more than a few buttons and input fields. I think, though, the process is natural for Rust. We'll get there and this work is fundamental to understanding what works and what doesn't. We have to try 99 times in order to get that 1 time right. We're still below 50 tries so quite a long way to go. Congratulations to RustNL for bringing this content to everyone!

  • @lale5767
    @lale5767 หลายเดือนก่อน

    2:44:00 2:54:33

  • @yaminnather521
    @yaminnather521 หลายเดือนก่อน

    Everything looks good expect the HTML CSS adoption :). Prefer the way Flutter and Compose UI does layout and rendering.

  • @sentrypeer
    @sentrypeer หลายเดือนก่อน

    Where can I read more about the Secure Internet Initiative?

  • @HiAdrian
    @HiAdrian หลายเดือนก่อน

    5:21:48 Raph Levien on Xilem

    • @vanov88
      @vanov88 หลายเดือนก่อน

      Thx

  • @the_nurk
    @the_nurk หลายเดือนก่อน

    I want to ask Eddie to build me something I think he'd find it quite the challenge

  • @webmaster1461
    @webmaster1461 หลายเดือนก่อน

    15:03 Welcome 16:20 Applaud to all staff. (Thank you) 16:45 Thank you to sponsor (Thank you) 17:15 Code of conduct reminding 18:13 Thank you to each sponsor (Thank you) 19:13 Rik Arends - VIsual appliaction design for Rust 1:05:10 Michael Melchiore - (Th)Rust in Space: Initial Momentum 2:22:12 Alice Ryhl - Arc in the Linux Kernel 2:55:55 Mara Bos - Making Connections 4:32:27 Joe Birr-Pixton - Replacing OpenSSL, one stop at a time 5:07:07 Leon Schuerman - Fortifying Rust's FFI with Encapsulated Functions 6:21:56 Henk Oordt - Oxidizing Education 6:45:18 James Munns - Postcards: an unreasonably effective tool for machine to machine communication

    • @HiAdrian
      @HiAdrian หลายเดือนก่อน

      Will the talks be uploaded individually in addition to this stream?

    • @rustnederlandrustnl
      @rustnederlandrustnl หลายเดือนก่อน

      yes

  • @dorktales254
    @dorktales254 หลายเดือนก่อน

    Write once, Run Everywhere? Where have I heard that before 😄

  • @hakn_d
    @hakn_d 2 หลายเดือนก่อน

    Hi there. For vello project, please dont make calculations for out of scene materials. Just let work physics you know.

  • @RainbowPigeon15
    @RainbowPigeon15 2 หลายเดือนก่อน

    the recent updates made the code even simpler than what is presented. Pretty impressive library so far

  • @MrPuppyPuppet
    @MrPuppyPuppet 2 หลายเดือนก่อน

    Notice that the Range that you get from the OctetRef (without the GAT) trait has a lifetime EQUAL to that of Self; you CANNOT borrow that Range for a shorter lifetime because that lifetime is determined by the CALLEE, i.e. the impl of OctetRef::range(). On the other hand, the lifetime of the Range that you get from the Octet trait (WITH the GAT) can be made shorter than that of Self, because it is determined by the CALLER of <T as Octet>::range<'a>().

  • @bezimienny5
    @bezimienny5 2 หลายเดือนก่อน

    What I actually like about Flutter is that I don't have to worry about a million ways to incorporate 30+ years worth of CSS legacy just to center a popup on screen. Unfortunately, this kills Dioxus for me as a Desktop framework, but I do still think it has a place as a fullstack web thing. Just not a fan of WebViews in native apps, sorry.

    • @nextlifeonearth
      @nextlifeonearth 2 หลายเดือนก่อน

      Mostly this yeah. Flutter has its own limits, being Dart only for one. Don't get me wrong, I am unconvinced that a language can be a blocker for any proper software engineer, learning a language is a fraction of the effort and time spent learning a framework. Issue arises with platform support when basically all libraries are written in languages like c and you have to write glue for these libraries or god forbid rewrite them in dart. Imagine it had an efficient c interface, any language could use it.