Michael Forster's Avatar

Michael Forster

@forster.pro.bsky.social

Principal Software Engineer at Google. Previously Celonis, Siemens, NICTA. PhD from the University of Passau.

76 Followers  |  137 Following  |  15 Posts  |  Joined: 18.11.2023  |  1.907

Latest posts by forster.pro on Bluesky

Exciting! What's the plan?

05.06.2025 20:11 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

The doc was already the improved version. It used to be whiteboards.

26.05.2025 21:04 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

What game is this?

26.12.2024 23:58 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Engineers or $/yr?

23.11.2024 16:13 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Thanks for the pointer!

23.11.2024 12:17 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

What about a single client that interfaces with Bluesky and Mastodon at the same time?

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

www.singaporeair.com/en_UK/sg/pla...

17.11.2024 08:53 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Story-time: C++, bounds checking, performance, and compilers Recently, several of my colleagues at Google shared the story of how we are retrofitting spatial safety onto our monolithic C++ codebase: https://security.googleblog.com/2024/11/retrofitting-spatial-s...

Had a bunch of thoughts about the recent safety stuff, way more than fit in social media post... Blog post story time! (It's a bit of a ramble, sorry about that...)

chandlerc.blog/posts/2024/1...

#LLVM #Clang #MemorySafety

17.11.2024 01:05 β€” πŸ‘ 96    πŸ” 20    πŸ’¬ 1    πŸ“Œ 2
Preview
Retrofitting Spatial Safety to hundreds of millions of lines of C++ Posted by Alex Rebert and Max Shavrick, Security Foundations, and Kinuko Yasada, Core Developer Attackers regularly exploit spatial mem...

Excited to share our latest blog post on memory safety! We’re tackling spatial safety in our massing C++ codebase by hardening live++ by default. It adds bounds checks to things like std::vector, preventing a fair bit of out-of-bounds vulnerabilities: security.googleblog.com/2024/11/retr...

15.11.2024 19:02 β€” πŸ‘ 29    πŸ” 8    πŸ’¬ 1    πŸ“Œ 1

This looks like the implementation of a proc macro to me. Very little of this is actually Rust syntax, but rather an input to a Rust code generator...

Maybe compare it to some C++ preprocessor shenanigans? πŸ˜€

29.10.2024 18:44 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Projects list - Repology Multiple package repositories analyzer

There are also various command line tools called `ansi2html` that come with some Linux distributions out of the box:

repology.org/projects/?se...

29.10.2024 14:47 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
Apple is Killing Swift A great language strangled by governance

This one?

blog.jacobstechtavern.com/p/apple-is-k...

29.10.2024 06:47 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

I really like the conceptual simplicity. It's the same with the working copy, which is also just another commit.

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

Both seem idiomatic to me, but I'd actually use `age.is_some_and(|a| a > 18)`.

26.10.2024 11:24 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Preview
Radverkehr: JÀhrliche Ausgaben je Einwohner in den grâßten deutschen StÀdten 2018 | Statista Die Statistik zeigt die jÀhrlichen Ausgaben je Einwohner für den Radverkehr in den sechs grâßten deutschen StÀdten, sowie zum Vergleich in Amsterdam und Kopenhagen nach den Angaben in jeweiligen Haush...

MΓΌnchen ➑️ 2,30 €

Interessanterweise finde ich die Fahrradinfrastruktur in MΓΌnchen gar nicht so schlecht...

de.statista.com/statistik/da...

26.10.2024 11:08 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Add a trait bound to `K` with a method that returns an enum? Or put the match case body directly into the trait? And then implement the trait for all overloaded argument types.

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

Just wait until 8:41, then.

15.08.2024 07:48 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

@forster.pro is following 20 prominent accounts