![Rust Nederland (RustNL)](/img/default-banner.jpg)
- 47
- 196 309
Rust Nederland (RustNL)
Netherlands
เข้าร่วมเมื่อ 27 พ.ย. 2022
Rust NL organizes meetups (talks and workshops) about Rust, the programming language that empowers everyone to build reliable and efficient software. We host meetups in different cities in The Netherlands, and on all kinds of topics and domains.
Rust NL is supported by the Stichting Rust Nederland (not affiliated with the Rust Foundation), a non-profit that aims to promote Rust in the Netherlands.
Rust NL is supported by the Stichting Rust Nederland (not affiliated with the Rust Foundation), a non-profit that aims to promote Rust in the Netherlands.
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
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
nice!!!
Big fan of Embassy! Thanks for your contribution to the embedded Rust community ❤
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.
Java runs on ibm mainframe ?
@@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.
what is this creature
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?
I love the idea, I hate the name.
Great project, thank you. Looking forward for open sourcing it.
This is the talk he's referring to at RustLab th-cam.com/video/mmW_RbTyj8c/w-d-xo.html
strip down windows-rs to 1MB is really cool!
I think MS made a tool for that now as well
Amazing! I was hesitant to buy a Pinetime, and this might be what makes me get it X)
Awesome, I wish you would hold more talks.
What is the related research regarding the last question about calling from C to Rust?
Love embassy makes embedded fun
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.
Very cool! I don't know if I could edit Rust without rust-analyzer though...
Rust analyser lives in my head for now
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.
He's really Donald Knuth-ing it.
Great talk, great project!
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?
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)
@@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.
@@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
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
Is it possible to borrow some solution from other text editors written in C++ or Java?
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.
hah, don't worry -- we definitely don't have any web engines in the system stack!
@@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.
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.
I'll have a better windowing system next time around
FYI, June was supposed to be a new programming language but lost funding and its repo is now set to read-only.
Is there source code for this somewhere?
Brilliant!!!
super cool!
Amazing presentation! Thanks, James Munns.
Has this been reuploaded?
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.
This is addressed at 44:00
I was fortunate enough to attend this live. Absolutely brilliant speaker! I hope to see him again next year
Was this not published a long time ago already ?
The Video or the Framework?
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.
amazing work
43:09 we need this
Thanks for your invaluable work, bro
He loves dancing
why so Nervious 🤣
Amazing
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
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!
2:44:00 2:54:33
Everything looks good expect the HTML CSS adoption :). Prefer the way Flutter and Compose UI does layout and rendering.
Where can I read more about the Secure Internet Initiative?
5:21:48 Raph Levien on Xilem
Thx
I want to ask Eddie to build me something I think he'd find it quite the challenge
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
Will the talks be uploaded individually in addition to this stream?
yes
Write once, Run Everywhere? Where have I heard that before 😄
Hi there. For vello project, please dont make calculations for out of scene materials. Just let work physics you know.
the recent updates made the code even simpler than what is presented. Pretty impressive library so far
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>().
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.
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.