Pete πŸ™†β€β™‚οΈ's Avatar

Pete πŸ™†β€β™‚οΈ

@awkwardmap.bsky.social

Rust @ Woven by Toyota πŸ¦€βœŒοΈ Lead @ Safety-Critical Rust Consortium, Chair @ Coding Guidelines, 3 x girl dad, πŸ‡―πŸ‡΅ ζ—₯本θͺžγ‚ͺッケー

38 Followers  |  43 Following  |  100 Posts  |  Joined: 18.03.2025  |  2.2435

Latest posts by awkwardmap.bsky.social on Bluesky

Anki Card Counts stats page showing numbers of cards in various stages

Shows New as 1,443 cards and Young as 110 cards

Anki Card Counts stats page showing numbers of cards in various stages Shows New as 1,443 cards and Young as 110 cards

made my way through learning 110 out of 1,443 cards

11.11.2025 03:11 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Anki card review screen showing 'base initializer' as the first "b" item I'm reviewing

Anki card review screen showing 'base initializer' as the first "b" item I'm reviewing

made it into the Bs for my study of the FLS Glossary, yep

11.11.2025 03:11 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
look inside meme with a cat

> AMTRAK left on time
> look inside
> still delayed due to stop for no apparent reason

look inside meme with a cat > AMTRAK left on time > look inside > still delayed due to stop for no apparent reason

10.11.2025 09:18 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

it's about rakugo / 落θͺž, a very classical and historic form of comedy in Japan. brings back memories of watching Tiger & Dragon around 16 years ago

10.11.2025 00:25 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

just started reading Akane Banashi / あかね噺 and the first 50 pages had me hooked. was recommended this by a medical doctor based out of Japan that also does data science to find disease causes. always forth asking for recommendations!

10.11.2025 00:25 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

sitting at flight gate. English - Status: At Gate. Japanese - ステータス 出発準備中 interesting difference. the latter tells you they're actually preparing for the next flight. the former just tells you it's parked outside.

08.11.2025 16:12 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

reminder on why i'm doing this:
bsky.app/profile/awkw...

07.11.2025 23:13 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

remembering what this groove is like

07.11.2025 23:13 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

from Anki's stats:
"Studied ⁨⁨47⁩ cards⁩ ⁨in ⁨10⁩ minutes⁩ today (⁨12.77⁩s/card)
Again count: 4 (8.51%)
Learn: ⁨24⁩, Review: ⁨23⁩, Relearn: ⁨0⁩, Filtered: ⁨0⁩
No mature cards were studied today."

07.11.2025 23:13 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Anki's reviews chart showing 6 days studied

Anki's reviews chart showing 6 days studied

day 6 of accountability posting my way through learning all 777 items in the FLS Glossary

07.11.2025 23:13 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

don't spend all your discount in one place

...

wait

06.11.2025 14:57 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

using both styles of deck has been a nice way to reinforce
- typical front-and-back style cards where the front is the term and back is the definition
- cloze-deletion style cards where the term is blanked out and i need to recall what that is in the definition

06.11.2025 14:55 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
B. Glossary β€” FLS

i am finding this a pleasant way to spend 15 minutes or so each day. do the reviews and cross-reference against the FLS Glossary as well while doing so to look up any unknown terms
rust-lang.github.io/fls/glossary...

06.11.2025 14:55 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
screenshot of Anki Reviews chart showing reviews over the past month and that i'm on day 5

screenshot of Anki Reviews chart showing reviews over the past month and that i'm on day 5

the legend for the Reviews chart containing:
today: 49 reviews
- filtered: 0 reviews
- relearning: 3 reviews
- young: 19 reviews
running total: 301 reviews

the legend for the Reviews chart containing: today: 49 reviews - filtered: 0 reviews - relearning: 3 reviews - young: 19 reviews running total: 301 reviews

accountability posting my way through learning 778 items in the FLS Glossary. day 5.

- screenshot 1 of the reviews chart
- screenshot 2 of the legend for the reviews chart

06.11.2025 14:55 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
The Power of Spaced-Repetition Systems for Learning and Retaining Knowledge

wrote a blog post a while back about using spaced-repetition systems
petelevasseur.com/articles/021...

05.11.2025 21:10 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Anki - powerful, intelligent flashcards Anki - a program which makes remembering things easy.

and Anki if you wanna check it out. neat spaced-repetition system (SRS) program
apps.ankiweb.net

05.11.2025 21:10 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
B. Glossary β€” FLS

FLS Glossary if you wanna take a peek:
rust-lang.github.io/fls/glossary...

05.11.2025 21:10 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

first time in a while using Anki, ever since using it pretty hardcore 2008 to 2013 or so when learning Japanese

05.11.2025 21:10 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

the drop off around beginning of April is around when i've gone through all the cards at least once btw

05.11.2025 21:10 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Post image

i pull 5 new cards from each subdeck per day, for a total of 10 new cards per day. the simulation plugin for Anki shows my next half year or so looking like this:

05.11.2025 21:10 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
screenshot showing Anki deck for fls-glossary with two sub-decks: one for cloze deletion and one for front and back style cards

screenshot showing Anki deck for fls-glossary with two sub-decks: one for cloze deletion and one for front and back style cards

i made two decks and split them up like this:

05.11.2025 21:10 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
screenshot showing Anki reviews of four days of using Anki to learn all terms in the FLS Glossary

screenshot showing Anki reviews of four days of using Anki to learn all terms in the FLS Glossary

accountability posting my way through using Anki to learn all 778 terms in the FLS Glossary. day 4

05.11.2025 21:10 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

it's on~ 🍒
let's see whose skewer tower reaches the stars πŸ—ΌπŸŒƒ

05.11.2025 20:28 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

but if you looked onto social media / hacker news / whatever you'd think that all folks using C and C++ hate Rust or something

05.11.2025 19:57 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

@jfbastien.com and @hanicka.net and i have spoken about some incremental changes that C++ is bringing to allow for opting into some of the safety guarantees in Rust

05.11.2025 19:57 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 2    πŸ“Œ 0

chatted with @rcs.bsky.social about what C programmers really care about and why some things they care about may not be a great fit for Rust

05.11.2025 19:57 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

had an enlightening discussion with Alex Celeste of WG14 and MISRA C about how Rust and C could tackle different dimensions of safety

05.11.2025 19:57 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

it's been lovely to speak with folks on WG14 and WG21 to share about what's going on and the different directions of the languages

05.11.2025 19:57 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

true. the more i get involved with the Rust Project and speak with folks on WG14 and WG21, everyone has been incredibly reasonable

05.11.2025 19:57 β€” πŸ‘ 8    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

i tried like 5 different ways to get things done, but yeah, just too much of modern software development assumes GitHub is up lmao

03.11.2025 20:08 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

@awkwardmap is following 20 prominent accounts