AstraKernel ๐Ÿ’ซ's Avatar

AstraKernel ๐Ÿ’ซ

@astrakernel.bsky.social

Love computers and coding. While I'm particularly passionate about Rust, it's not the only language I work with. Recently started loving embedded programming

1,303 Followers  |  604 Following  |  664 Posts  |  Joined: 19.10.2024  |  2.0255

Latest posts by astrakernel.bsky.social on Bluesky

Credits to @jgda.bsky.social

And @orhun.dev

14.10.2025 17:48 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
Ratatui Ratatui: A Rust crate for cooking up Terminal User Interfaces

Thanks to mousefood crate for bringing ratatui(ratatui.rs) to Embedded world

github.com/j-g00da/mous...

14.10.2025 17:45 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
quick experiment with ratatui and esp32 in no_std embedded rust

quick experiment with ratatui and esp32 in no_std embedded rust

๐Ÿฆ€ Embedded Rust: Rat(a tui) inside ESP32

- ESP32 Dev Kit v1 & TFT Display
- no_std & esp-hal
- just quick check, yet to explore fully

#rustlang

14.10.2025 17:39 โ€” ๐Ÿ‘ 17    ๐Ÿ” 2    ๐Ÿ’ฌ 3    ๐Ÿ“Œ 0

Today on the "cursed Rust" show, I constructed a program where `cargo check` passes and `cargo doc` fails.

Oh and for `cargo check` to pass you have to cargo from a specific directory, otherwise it'll also fail.

The things I must do for cargo-semver-checks to be reliable...

#rust #rustlang

13.10.2025 15:26 โ€” ๐Ÿ‘ 13    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Mild orange color representing my favourite language

Mild orange color representing my favourite language

When people share the GitHub project links, I love to see this color in the preview thumbnail

11.10.2025 05:59 โ€” ๐Ÿ‘ 24    ๐Ÿ” 2    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Rust 2025: 400K Salaries, AI, Defence & Borrow Checker โ€” Jon Gjengset on Rust & the Future of Coding
YouTube video by JetBrains Rust 2025: 400K Salaries, AI, Defence & Borrow Checker โ€” Jon Gjengset on Rust & the Future of Coding

๐ŸฎJon Gjengset interview with @jetbrains

> Yes, Borrow checker is hard but it is a great way to make you a better programmer

Beware! if you use Rust,you will have a talking borrow checker in your head that will make you better code in other langs

youtu.be/nOSxuaDgl3s

#rustlang

10.10.2025 09:41 โ€” ๐Ÿ‘ 7    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Introduction - impl Rust for ESP32

Back to tinkering with #embedded #rustlang with @seeedstudio.com Xiao ESP32C3 + Expansion board and this great book: esp32.implrust.com/index.html

It's fun fun fun on a tiny scale ๐Ÿค–

08.10.2025 20:04 โ€” ๐Ÿ‘ 2    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

Ayo I'm in Japan for the Tokyo Rust Meetup! ๐Ÿฆ€๐Ÿ‡ฏ๐Ÿ‡ต๐Ÿฅณ

๐Ÿ Tomorrow we'll dive into @ratatui.rs and cook up embedded TUIs on ESP32 devices! ๐Ÿ’ฏ

๐Ÿ“บ Livestream: www.youtube.com/watch?v=2xVV...

๐Ÿ“… Oct 9 | 6:30 PM JST (GMT+9)

#rustlang #ratatui #tui #embedded #esp32 #tokyo #rust #meetup

08.10.2025 15:30 โ€” ๐Ÿ‘ 21    ๐Ÿ” 4    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
Why We Bet on Rust to Supercharge Feature Store at Agoda By Worakarn Isaratham

๐Ÿฆ€ Agoda, team migrating to Rust

- an online travel agency

> Enabled us to handle 5x more traffic & cost savings

> GitHub Copilot was also a big enabler, helping us navigate Rustโ€™s syntax and ownership model, suggesting idiomatic code

medium.com/agoda-engine...

#rustlang #programming

09.10.2025 04:12 โ€” ๐Ÿ‘ 5    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
a pikachu wearing a hat is sitting on a rock with the words pika pika written on it . Alt: a pikachu wearing a hat is sitting on a rock with the words pika pika written on it .

Pico Pico....

I am going to re-explore the Raspberry Pi Pico 2

03.10.2025 05:37 โ€” ๐Ÿ‘ 9    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Video thumbnail

Just released the new version of my Rust web framework built on @ratatui.rs! ๐Ÿ๐Ÿฅณ๐Ÿฆ€

๐Ÿฆ– Ratzilla โ€” Build terminal-themed web applications.

๐Ÿ’ฏ Added support for mouse events, improved WebGL2 backend & more!

โญ GitHub: github.com/orhun/ratzilla

#rustlang #ratatui #tui #web #webassembly #wasm #frontend

28.09.2025 14:29 โ€” ๐Ÿ‘ 33    ๐Ÿ” 3    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
Cloudflare just got faster and more secure, powered by Rust Weโ€™ve replaced the original core system in Cloudflare with a new modular Rust-based proxy, replacing NGINX. Itโ€™s not only substantially faster for all our customers, itโ€™s also more secure, and lets us...

โ˜๏ธ Cloudflare just got faster and more secure, powered by Rust

> Eliminates entire classes of bugs that plagued our Nginx/LuaJIT-based FL1, like memory safety issues and data races, while delivering C-level performance

blog.cloudflare.com/20-percent-i...

#rustlang

27.09.2025 00:12 โ€” ๐Ÿ‘ 13    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Good news everyone!

25.09.2025 16:07 โ€” ๐Ÿ‘ 7    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
Proton Mail launches new, faster mobile apps with offline mode | Proton See whatโ€™s new in the redesigned Proton Mail app for iOS and Android. Enjoy offline mode and a smoother experience on both platforms.

๐Ÿ“จ Proton Mail rewrote their mobile tech stack with Rust

> Weโ€™re moving towards having a single shared implementation written in Rust for each of our services.

proton.me/blog/new-mai...

#rustlang

25.09.2025 16:06 โ€” ๐Ÿ‘ 13    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 1
Preview
crates.io: Malicious crates faster_log and async_println | Rust Blog Empowering everyone to build reliable and efficient software.

๐ŸŽ Malicious crates faster_log and async_println

> 2 malicious crates, actively searching file contents for Etherum private keys, Solana private keys, and arbitrary byte arrays for exfiltration

> Users in question were disabled

> Crates were removed

blog.rust-lang.org/2025/09/24/c...

#rustlang

25.09.2025 06:14 โ€” ๐Ÿ‘ 19    ๐Ÿ” 3    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Quote from the article:

I was following along as he started typing, expecting to see either an explicit CAS loop or some functional wrapper around one. But instead, he just wrote:

high_score.fetch_max(new_score, Ordering::Relaxed);
"Rust has fetch_max built in," he explained casually, moving on to the next part of the problem.

Quote from the article: I was following along as he started typing, expecting to see either an explicit CAS loop or some functional wrapper around one. But instead, he just wrote: high_score.fetch_max(new_score, Ordering::Relaxed); "Rust has fetch_max built in," he explained casually, moving on to the next part of the problem.

๐Ÿฆ€ From Rust to Reality: The Hidden Journey of fetch_max

questdb.com/blog/rust-fe...

#rustlang

24.09.2025 05:26 โ€” ๐Ÿ‘ 10    ๐Ÿ” 4    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 1

How was the experience overall

23.09.2025 18:56 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
The Impatient Programmerโ€™s Guide to Bevy and Rust: Chapter 1 - Let There Be a Player Learn to build a video game from scratch using Rust and Bevy. This first chapter covers setting up your game world, creating a player character, and implementing movement and animations.

๐ŸŽฎ The Impatient Programmer's Guide to Bevy and Rust: Chapter 1 - Let There Be a Player

> will be going in-depth into bevy and game development in this series, also cover NPCs powered by AI Agents

aibodh.com/posts/bevy-r...

#rustlang #bevy #game

23.09.2025 02:41 โ€” ๐Ÿ‘ 9    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

made an animation for a neat #rustlang written thingy! ๐Ÿฆ€๐Ÿ‘‡

22.09.2025 17:48 โ€” ๐Ÿ‘ 12    ๐Ÿ” 3    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Screenshot of the cargo-semver-check v0.44.0 release page.

It touts 22 new lints, for a total of 200 lints! In celebration, it includes an adorable animation of Ferris standing alongside a conveyor belt which transports crates off an assembly line. Each crate passes through a cargo-semver-checks scanning station, which applies a "PASS" or "FAIL" sticker to it. It seems like a crate has just failed SemVer checking! Ferris picks it off the conveyor belt, and throws it into a hopper labeled "Revise". This is how all crates being shipped uphold SemVer! All is well.

Screenshot of the cargo-semver-check v0.44.0 release page. It touts 22 new lints, for a total of 200 lints! In celebration, it includes an adorable animation of Ferris standing alongside a conveyor belt which transports crates off an assembly line. Each crate passes through a cargo-semver-checks scanning station, which applies a "PASS" or "FAIL" sticker to it. It seems like a crate has just failed SemVer checking! Ferris picks it off the conveyor belt, and throws it into a hopper labeled "Revise". This is how all crates being shipped uphold SemVer! All is well.

cargo-semver-checks v0.44.0 is live โ€” we've hit 200 lints โœจ

Don't miss this *adorable* animation in the release notes, courtesy of the amazingly talented @dekirisu.com

Check it out here:
github.com/obi1kenobi/c...

#rust #rustlang #semver

21.09.2025 16:07 โ€” ๐Ÿ‘ 18    ๐Ÿ” 1    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 2
Preview
Rust: Who, What and Why for ESA SW PA Workshop Ferrous Systems is presenting a poster at the European Space Agency's Software Product Assurance Workshop on the commercial uses of Rust

Them: But no-one is using Rust in Production

Me: Well, actuallyโ€ฆ

ferrous-systems.com/blog/rust-wh...

22.09.2025 14:42 โ€” ๐Ÿ‘ 12    ๐Ÿ” 4    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 1
Preview
Advanced Hands-on Rust Unlock Rust development with reusable libraries, traits, macros, and generic metaprogramming. Build code without the boilerplate, and learn advanced concepts.

Just got started with Advanced Hands-on Rust by @herberticus!

I'm reasonably experienced with Rust already, so I'm primarily looking forward to a gentle introduction to the Bevy game engine.

https://pragprog.com/titles/hwmrust/advanced-hands-on-rust/

#BevyEngine #GameDev #RustLang

19.09.2025 21:30 โ€” ๐Ÿ‘ 14    ๐Ÿ” 3    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

#gamedev #programming #rustlang #question
As someone who only really knows C++, Java & Lua (and not very well, mind you), I'd love some tips on how to learn Rust given my background.

There's no way I can do idiomatic Rust from the start ofc, but I'd appreciate some advice for a beginner like me.

19.09.2025 12:28 โ€” ๐Ÿ‘ 9    ๐Ÿ” 2    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Preview
Announcing Rust 1.90.0 | Rust Blog Empowering everyone to build reliable and efficient software.

๐Ÿฆ€ Rust 1.90 is here

Key Highlights:

- Reduced compilation time for x86_64-unknown-linux-gnu; By default, now uses LLD (LLVM linker)

- Cargo adds native support to publish workspace

blog.rust-lang.org/2025/09/18/R...

#rustlang

19.09.2025 02:27 โ€” ๐Ÿ‘ 18    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
/// "std::fmt::Debug + Clone + Sync + Send" should not be needed since we never really instantiate one of this (only phantom)
/// but at some point you decide to let the f*cking compiler win and go on with you life.
pub trait ProfitInfoGetter: std::fmt::Debug + Clone + Sync + Send {
    fn get_profit_info(sim_value: &SimValue) -> &ProfitInfo;
}

/// "std::fmt::Debug + Clone + Sync + Send" should not be needed since we never really instantiate one of this (only phantom) /// but at some point you decide to let the f*cking compiler win and go on with you life. pub trait ProfitInfoGetter: std::fmt::Debug + Clone + Sync + Send { fn get_profit_info(sim_value: &SimValue) -> &ProfitInfo; }

๐ŸฎFound in a crate (This was shared in another platform)

> but at some point you decide to let the f*cking compiler win and go on with your life.

๐Ÿ˜„

github.com/flashbots/rb...

#rustlang

18.09.2025 09:03 โ€” ๐Ÿ‘ 9    ๐Ÿ” 1    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
sample of projects they have created in github

sample of projects they have created in github

โšก๏ธSTMicroelectronics recently creating Rust drivers for their sensors and other components

- One of the largest semiconductor companies in Europe, specializing in chips for automotive, industrial, and consumer electronics applications

github.com/orgs/STMicro...

#rustlang #embedded #stm32

17.09.2025 16:57 โ€” ๐Ÿ‘ 16    ๐Ÿ” 3    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
Real Time Clock - Rust Embedded Drivers Book Press โ† or โ†’ to navigate between chapters

You can read the chapter here.

Rust Embedded Driver book - RTC HAL Chapter:
red.implrust.com/rtc/index.html

17.09.2025 03:21 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
picture of ds1307 and ds3231 chip

picture of ds1307 and ds3231 chip

โšก๏ธ RTC HAL Chapter completed: Learn to Write RTC HAL & drivers for Real Time Clock in Rust

- Create RTC HAL from scratch. Provides traits like embedded-hal

- Implement those traits and create driver for DS1307 and DS3231

- Generic Demo code

github.com/implferris/r...

#rustlang #embedded

17.09.2025 03:21 โ€” ๐Ÿ‘ 9    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
list of the chapters

list of the chapters

โšก๏ธ Writing Embedded Rust Driver for Real Time Clock DS1307 (part 2)

- Second part of the RTC HAL Chapter

- Implement the RTC HAL for the DS1307 driver

red.implrust.com/rtc/ds1307/i...

#rustlang

12.09.2025 02:53 โ€” ๐Ÿ‘ 5    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
Axum Backend Series - Introduction | 0xshadow's Blog Understand Axum and build a simple web server with axum and rust

Axum Introduction Article Published
> Learn how to get started with Axum
> Explained about Concurrency and Async
> Why Web Servers need to be async and how does that happen
> Next up, we will dive deep into Docker and database connection #rustlang #rust
blog.0xshadow.dev/posts/backen...

08.09.2025 12:24 โ€” ๐Ÿ‘ 5    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

@astrakernel is following 20 prominent accounts