AstraKernel 💫
banner
astrakernel.bsky.social
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
Pinned
🧩 Open source Book: Embedded programming with ESP32 and Rust

The book "impl Rust on ESP32" uses development board "ESP32 DevKit V1" and follows practical exercises approach

GitHub Link:
github.com/ImplFerris/e...

#rustlang #programming
🐍 + 🦀 : Proposal to Bring Rust Into CPython

> Rust will initially only be allowed for writing optional extension modules

> CPython has historically encountered numerous bugs and crashes due to invalid memory accesses

discuss.python.org/t/pre-pep-ru...

#rustlang
Pre-PEP: Rust for CPython
Introduction We (@emmatyping, @eclips4) propose introducing the Rust programming language to CPython. Rust will initially only be allowed for writing optional extension modules, but eventually will be...
discuss.python.org
November 18, 2025 at 11:13 PM
Reposted by AstraKernel 💫
The 2025 State of Rust survey is here! 🦀

Please take the time to fill, we need as many data points as possible to capture each diverse input that reflects our wonderful community! 😊

www.surveyhero.com/c/state-of-r...

#RustLang #Rust #OpenSource #Community
2025 State of Rust Survey
www.surveyhero.com
November 18, 2025 at 5:54 AM
🦀 Raspberry Pi Pico 2 with Debug Probe and GDB

- Just Blinking LED with rp-hal

#embedded #rustlang
November 17, 2025 at 4:36 AM
Pico Pico
November 17, 2025 at 3:35 AM
Reposted by AstraKernel 💫
Hunting for cheese inside binaries? I got you.

🪛 heretek — A GDB TUI dashboard for inspecting memory, symbols and program state.

💡 Works remotely with gdb, nc, cat, and mkfifo

🦀 Written in Rust & built with @ratatui.rs

⭐ GitHub: github.com/wcampbell0x2...

#rustlang #ratatui #tui #gdb #terminal
November 16, 2025 at 9:15 AM
Everyday I learn more on embedded programming.

Loving it, especially doing it in Rust 🥰
November 15, 2025 at 5:32 PM
🧩 From std to no_std: Learn to Create Rust firmware Project from scratch on Raspberry Pi Pico 2

- Start with standard Rust Project

- Slowly modify the project and prepare for no_std environment

- Final embedded rust code to blink onboard LED

pico.implrust.com/std-to-no-st...

#rustlang
November 14, 2025 at 5:53 PM
Reposted by AstraKernel 💫
Android team at Google posted another update of their use of Rust as a replacement for C and C++.
Switching to Rust for writing performance sensitive and low level code allowed them to reduce memory safety vulnerabilities from ~70% to below 20% of total vulnerabilities for the first time.

#rustlang
November 14, 2025 at 4:59 PM
⚡️ Learn to Create a Rust Project for Raspberry Pi Pico in VS Code

pico.implrust.com/pico-in-vsco...

#rustlang #pico #raspberrypi
November 13, 2025 at 5:44 PM
Reposted by AstraKernel 💫
CocoIndex made to #1 Github trending global in Rust - data transformation engine. Grateful to the Rust open source community and all the amazing Rustaceans for the support 💛

#rustlang #github #opensource
November 13, 2025 at 1:32 AM
I am still impressed by the e-ink displays

I didn't even know about them until I started embedded programming

The content was drawn months ago, and it still retains the image without any battery!
⚡️impl Rust for ESP32 Book - Migrated to use esp-hal 1.0.0

- Uses ESP32 DevKit v1

- Learn to Build simple and fun projects like
Burglar alarm,
Play tunes with Buzzer
Run webserver,
Control LED through mobile
RFID Reader
Weather Station
Ratatui

esp32.implrust.com

#rustlang #esp32
November 13, 2025 at 1:46 AM
⚡️impl Rust for ESP32 Book - Migrated to use esp-hal 1.0.0

- Uses ESP32 DevKit v1

- Learn to Build simple and fun projects like
Burglar alarm,
Play tunes with Buzzer
Run webserver,
Control LED through mobile
RFID Reader
Weather Station
Ratatui

esp32.implrust.com

#rustlang #esp32
November 12, 2025 at 5:51 PM
I like TrouBLE
November 9, 2025 at 5:32 PM
🪲Official Rust Youtube channel appears to be got hacked

> We hid the channel, reset permissions,and we are investigating whose account got compromised. Once the folks managing the YouTube channel wake up we'll ensure everything is back to normal

source:
www.reddit.com/r/rust/comme...

#rustlang
November 9, 2025 at 4:40 PM
🦀 cargo-clean-all: Fast recursive detection and cleaning of rust projects

>with interactive TUI and filters

> Find rust projects anywhere that meet conditions like "last used more than 3 days ago" or "freable size > 1GB" and then clean them in record time

github.com/dnlmlr/cargo...

#rustlang
GitHub - dnlmlr/cargo-clean-all: Fast recursive detection and cleaning of rust projects with interactive TUI and filters. Find rust projects anywhere that meet conditions like "last used more than 3 d...
Fast recursive detection and cleaning of rust projects with interactive TUI and filters. Find rust projects anywhere that meet conditions like "last used more than 3 days ago" or "fr...
github.com
November 7, 2025 at 5:05 PM
🏮Async QUIC and HTTP/3 made easy: tokio-quiche is now open-source

> asynchronous QUIC library combining both quiche and the Rust Tokio async runtime

> tokio-quiche handles millions of HTTP/3 requests per second with low latency and high throughput

blog.cloudflare.com/async-quic-a...

#rustlang
Async QUIC and HTTP:3 made easy- tokio-quiche is now open-source
We’re excited to announce the open sourcing of tokio-quiche, our async QUIC library built on quiche and tokio. Relied upon in our services such as iCloud Private Relay and our next-generation Oxy-base...
blog.cloudflare.com
November 7, 2025 at 12:56 AM
Reposted by AstraKernel 💫
If you're into Rust, you'll know about the difference between Eq and PartialEq. Did you know that there's a secret third thing?
November 7, 2025 at 12:31 AM
Reposted by AstraKernel 💫
I gave a talk on embedded Rust a while ago, showing code running on an attiny85, a 8 bit microcontroller with 512 bytes of RAM and 8kB of Flash. The binary was smaller than the equivalent Arduino code. github.com/swallez/intr...
GitHub - swallez/intro-embdedded-rust: Source code for the "Introduction to embedded Rust" talk
Source code for the "Introduction to embedded Rust" talk - swallez/intro-embdedded-rust
github.com
November 4, 2025 at 7:37 AM
⚡ Running Rust on device with 2kb RAM

- WinChipHead CH32V003 microcontroller

- 16kb flash storage for the program

--
It is an old article. I came across it after someone asked about Rust's ability to run on devices with limited memory

noxim.xyz/blog/rust-ch...

#rustlang #embedded
November 4, 2025 at 7:03 AM
🧩 Rust Usage by Software Type - JetBrains Survey

- Filtered by devs who use Rust as primary language

#rustlang
November 3, 2025 at 8:03 AM
Reposted by AstraKernel 💫
It may not look like much but: the OLED is displaying data received in from my web app's REST API. The board is @seeedstudio.com Xiao ESP32C6, running #embedded #rustlang with Embassy. The carrier board is from Tindie.

cc @theembeddedrust.bsky.social @astrakernel.bsky.social @therustybits.com
November 2, 2025 at 1:38 PM
🦀esp-rtos:

In latest esp-hal ecosystem, the "esp-hal-embassy" is no more. It has been merged into esp-rtos.

> This crate provides the runtime necessary to run async code on top of esp-hal, and implements the necessary capabilities (threads, queues, etc.) required by esp-radio.

#embedded #rustlang
November 1, 2025 at 3:47 AM
🦀 Dioxus v0.7.0 is released

- Hot-patching of Rust code at runtime

- Fullstack: Revamp of Server Functions with full Axum integration

- WGPU-based HTML/CSS renderer for Dioxus

- tailwind support

And more

github.com/DioxusLabs/d...

#rustlang #dioxus
October 31, 2025 at 6:57 PM
> The ability to "completely erase, eliminate these classes of errors" from memory safety issues was the deciding factor over languages like Go

> The expressiveness of async Rust provided massive developer velocity gains

#rustlang
☁️ How Cloudflare handles 90 million requests per second with Pingora

- Rust in Production Podcast with Edward Wang & Kevin Guthrie, Software Engineers (CloudFlare)

corrode.dev/podcast/s05e...

#rustlang #cloudflare
Cloudflare with Edward Wang & Kevin Guthrie - Rust in Production Podcast | corrode Rust Consulting
How do you build a system that handles 90 million request…
corrode.dev
October 31, 2025 at 2:30 AM
☁️ How Cloudflare handles 90 million requests per second with Pingora

- Rust in Production Podcast with Edward Wang & Kevin Guthrie, Software Engineers (CloudFlare)

corrode.dev/podcast/s05e...

#rustlang #cloudflare
Cloudflare with Edward Wang & Kevin Guthrie - Rust in Production Podcast | corrode Rust Consulting
How do you build a system that handles 90 million request…
corrode.dev
October 31, 2025 at 2:29 AM