Michael Rätzel
LightNews LightNews
michael-raetzel.bsky.social
Michael Rätzel
@michael-raetzel.bsky.social
11 followers 26 following 0 posts
Creator of PineVM, making software development enjoyable and sustainable 🌿
Posts Replies Media Videos
Reposted by Michael Rätzel
lean-lang.org
Reservoir is #LeanLang's package registry, inspired by crates.io (thanks @rustfoundation.org!) Browse community-created packages and discover new tools: reservoir.lean-lang.org

Sharing is easy! GitHub repos meeting the inclusion criteria are auto-indexed: reservoir.lean-lang.org/inclusion-cr...
October 16, 2025 at 11:36 PM
Reposted by Michael Rätzel
cma1973.bsky.social
Dan Wang on his forthcoming book…

Breakneck: China’s Quest to Engineer the Future danwang.co/breakneck/
Breakneck: China's Quest to Engineer the Future | Dan Wang
Announcing my book; whalelore; Austrian Catholicism; the legacy of Moses and Rickover; Yunnan; influencer culture; how historians work.
danwang.co
July 26, 2025 at 5:56 PM
Reposted by Michael Rätzel
rustnl.bsky.social
Servo - an embeddable web rendering engine
by Josh Matthews at RustWeek 2025!
www.youtube.com/watch?v=rd4Q...

#rustlang #RustWeek
Servo - an embeddable web rendering engine - Josh Matthews
Servo is a web rendering engine written in Rust, and adaptable to desktop, mobile, and embedded applications. Its goal: empower developers with a lightweight...
www.youtube.com
June 16, 2025 at 1:04 PM
Reposted by Michael Rätzel
taylor.town
school prepares you for the life in the same way that mario kart prepares you for driving
May 8, 2025 at 2:11 AM
Reposted by Michael Rätzel
jblaix.bsky.social
Today's Gren Twigs video is about Gren Tui, a package for writing terminal UIs in a pure, functional, type-safe way using The Elm Architecture. I am very excited about this one and would love if you shared it!

www.youtube.com/watch?v=zBrj...

#FunctionalProgramming #gren #elm #tui
Gren Twigs 19 - Gren TUI
YouTube video by Justin Blake
www.youtube.com
April 16, 2025 at 1:17 PM