Without boats, dreams dry up

@without_boats@robot.villas

Technical essays by boats about Rust, asynchronous programming, language design, and systems software.

Source: https://without.boats/index.xml

Homepage: https://without.boats/blog/

Posts

91

Posts

Generators with UnpinCell #RustLang #Programming #Async
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407709
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407709
Don't have an account? Find a server at joinmastodon.org
Oct 25, 2024
UnpinCell #RustLang #Programming #Systems
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407718
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407718
Don't have an account? Find a server at joinmastodon.org
Oct 16, 2024
Pinned places #RustLang #Programming #Tech
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407727
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407727
Don't have an account? Find a server at joinmastodon.org
Jul 23, 2024
Pin #RustLang #Programming #Systems
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407735
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407735
Don't have an account? Find a server at joinmastodon.org
Jul 19, 2024
Ownership #RustLang #Programming #Systems
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407743
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407743
Don't have an account? Find a server at joinmastodon.org
Jun 22, 2024
References are like jumps #RustLang #Programming #Systems
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407755
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407755
Don't have an account? Find a server at joinmastodon.org
May 13, 2024
Coroutines and effects #RustLang #Async #Systems
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407766
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407766
Don't have an account? Find a server at joinmastodon.org
Apr 20, 2024
Iterators and traversables #RustLang #Programming #SoftwareEngineering
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407778
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407778
Don't have an account? Find a server at joinmastodon.org
Mar 13, 2024
Asynchronous clean-up #Rust #Async #Programming
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407788
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407788
Don't have an account? Find a server at joinmastodon.org
Feb 24, 2024
FuturesUnordered and the order of futures #RustLang #Async #Programming
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407798
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407798
Don't have an account? Find a server at joinmastodon.org
Feb 18, 2024
Let futures be futures #RustLang #Programming #Async
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407807
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407807
Don't have an account? Find a server at joinmastodon.org
Feb 3, 2024
poll_progress #RustLang #Programming #Async
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407815
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407815
Don't have an account? Find a server at joinmastodon.org
Dec 12, 2023
Three problems of pinning #Rust #Programming #Systems
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407826
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407826
Don't have an account? Find a server at joinmastodon.org
Nov 30, 2023
Coroutines, asynchronous and iterative #Rust #Async #Programming
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407839
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407839
Don't have an account? Find a server at joinmastodon.org
Nov 29, 2023
poll_next #RustLang #Programming #Tech
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407847
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407847
Don't have an account? Find a server at joinmastodon.org
Nov 27, 2023
A four year plan for async Rust #Rust #Async #Programming
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407855
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407855
Don't have an account? Find a server at joinmastodon.org
Nov 7, 2023
Why async Rust? #Rust #Async #Programming
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407862
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407862
Don't have an account? Find a server at joinmastodon.org
Oct 15, 2023
Thread-per-core #RustLang #Programming #Systems
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407871
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407871
Don't have an account? Find a server at joinmastodon.org
Oct 6, 2023
Generic trait methods and new auto traits #Rust #Programming #Tech
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407879
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407879
Don't have an account? Find a server at joinmastodon.org
Sep 20, 2023
Follow up to "Changing the rules of Rust" #RustLang #Programming #SoftwareEngineering
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407887
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407887
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2023
Changing the rules of Rust #RustLang #Programming #SoftwareEngineering
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407897
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407897
Don't have an account? Find a server at joinmastodon.org
Sep 17, 2023
A governance system, if you can keep it #Governance #Systems #Programming
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407907
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407907
Don't have an account? Find a server at joinmastodon.org
May 27, 2023
Iterator, Generator #Rust #Programming #Tech
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407917
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407917
Don't have an account? Find a server at joinmastodon.org
May 6, 2023
The Scoped Task trilemma #RustLang #Programming #Systems
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407929
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407929
Don't have an account? Find a server at joinmastodon.org
Apr 8, 2023
Generators #RustLang #Programming #Systems
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407940
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407940
Don't have an account? Find a server at joinmastodon.org
Mar 26, 2023
The AsyncIterator interface #Rust #Async #Programming
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407949
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407949
Don't have an account? Find a server at joinmastodon.org
Mar 22, 2023
Const as an auto trait #RustLang #Programming #Systems
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407958
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407958
Don't have an account? Find a server at joinmastodon.org
Mar 16, 2023
Patterns & Abstractions #RustLang #Programming #SoftwareEngineering
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407969
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407969
Don't have an account? Find a server at joinmastodon.org
Mar 14, 2023
The registers of Rust #RustLang #Programming #Systems
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407978
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407978
Don't have an account? Find a server at joinmastodon.org
Mar 8, 2023
Ringbahn III: A deeper dive into drivers #RustLang #Programming #Systems
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407983
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407983
Don't have an account? Find a server at joinmastodon.org
Oct 1, 2020
Revisiting a 'smaller Rust' #RustLang #Programming #SoftwareEngineering
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407991
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22407991
Don't have an account? Find a server at joinmastodon.org
Sep 30, 2020
iou version 0.3 released #RustLang #Programming #OpenSource
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22408000
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22408000
Don't have an account? Find a server at joinmastodon.org
Sep 22, 2020
Propane: an experimental generator syntax for Rust #RustLang #Programming #OpenSource
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22408010
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22408010
Don't have an account? Find a server at joinmastodon.org
Aug 6, 2020
Shipping Const Generics in 2020 #RustLang #Programming #OpenSource
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22408020
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22408020
Don't have an account? Find a server at joinmastodon.org
Jul 16, 2020
Ringbahn II: the central state machine #RustLang #Systems #Programming
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22408030
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22408030
Don't have an account? Find a server at joinmastodon.org
Jul 2, 2020
Two Memory Bugs From Ringbahn #Rust #Programming #Systems
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22408040
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22408040
Don't have an account? Find a server at joinmastodon.org
Jun 10, 2020
Futures and Segmented Stacks #RustLang #Programming #Systems
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22408049
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22408049
Don't have an account? Find a server at joinmastodon.org
Jun 8, 2020
Ringbahn: a safe, ergonomic API for io-uring in Rust #Rust #Async #Systems
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22408058
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22408058
Don't have an account? Find a server at joinmastodon.org
May 27, 2020
Notes on io-uring #Rust #Programming #Systems
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22408067
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22408067
Don't have an account? Find a server at joinmastodon.org
May 6, 2020
The problem of effects in Rust #RustLang #Programming #SoftwareEngineering
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22408076
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/without_boats/posts/22408076
Don't have an account? Find a server at joinmastodon.org
Apr 13, 2020