Elektrine
Log in Register
Paige Chat Timeline Gallery Friends Email Drive DNS Private DNS Domains VPN Kairo Nerve
Remote

Jonathan Müller

@foonathan@fosstodon.org
mastodon 4.7.3
  • Open on fosstodon.org

C++, compilers, and programming languages. Software engineer @ LSEG, chair for std::ranges @ C++ standardization committee.

0 Followers
0 Following
13 Posts
Joined November 18, 2022
Blog:
https://www.foonathan.net
Website:
https://www.jonathanmueller.dev
GitHub:
https://github.com/foonathan
Open post
Jonathan Müller @foonathan@fosstodon.org
· 5mo ago

Time since the last timezone bug: -2 hours.

12
0
2
0
Open post
Jonathan Müller @foonathan@fosstodon.org
· 2mo ago
Replying to
@joe@f.duriansoftware.com @zwarich@hachyderm.io @slava@mathstodon.xyz I was thinking of a "suspend" and "resume" pair of basis operations for an object, where in between the object is a bag of bits that can be freely moved, hashed, etc
2
1
0
0
Open post
Jonathan Müller @foonathan@fosstodon.org
· 5mo ago

The state of tech 2026 is best summarized by "The company travel booking tool keeps randomly redirecting to Microsoft Copilot 365 because something in the SSO is broken."

4
0
0
0
Open post
Jonathan Müller @foonathan@fosstodon.org
· 6mo ago
Replying to
There's a reason that in German you don't check your bag, you do "Gepäck aufgeben", which literally means "give up your bag".
6
0
1
0
Open post
Jonathan Müller @foonathan@fosstodon.org
· 4mo ago

"The problem is that the docs system is writing in Sphinx, and I don't know any Sphinx" - "Yeah, the people who set it up left." - "You mean, they were left in the pyramids after completion."

3
0
1
0
Open post
Jonathan Müller @foonathan@fosstodon.org
· 6mo ago

The big three US airlines are United, Delta, and American. Missed opportunity for Delta to call itself States.

3
0
0
0
Open post
Jonathan Müller @foonathan@fosstodon.org
· 5mo ago
Replying to

@Sdowney@mastodon.social So you want a history like:

  • Add new feature X (doesn't compile yet)
  • Fix prerequisite feature Y that was required
  • Continue work on X
  • Fix typo in the documentation

over

  • Fix feature Y in the edge case E
  • Add new feature X
2
8
0
0
Open post
Jonathan Müller @foonathan@fosstodon.org
· 7mo ago

RE: @Sdowney@mastodon.social

And I'll be talking about allternatives, contravariant functors, and lenses!

mastodon.social
2
0
1
0
Open post
Jonathan Müller @foonathan@fosstodon.org
· 9mo ago
Replying to
@zwarich@hachyderm.io @dotstdy@mastodon.social @ianh@mastodon.social @joe@f.duriansoftware.com Related, but why isn't first class multiple return values a thing more often? For example, the C++26 standard library has senders/receivers which essentially work via continuations, so you can write async functions that take N inputs and M outputs natively without resorting to tuples. You can even send outputs of different types without having to box them into a sum type (because they just statically dispatch to different overloads).
2
1
0
0
Open post
Jonathan Müller @foonathan@fosstodon.org
· 6mo ago

RE: @cppnow@mastodon.social

I'll be there, hope to see you too!

mastodon.social
1
0
1
0
Open post
Jonathan Müller @foonathan@fosstodon.org
· 2mo ago
Replying to
@zwarich@hachyderm.io @joe@f.duriansoftware.com @slava@mathstodon.xyz Yeah. Or maybe there's some lazily updated state that you can compute or something.
0
8
0
0
Open post
Jonathan Müller @foonathan@fosstodon.org
· 2mo ago
Replying to
@andrewrk@mastodon.social Inception
0
0
0
0
Back
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

I2P eepsite

j6b6cyk6gjmepjih7jjadxgxvvf3lzzujljuu2v4biemzpg3naya.b32.i2p

Platform

  • Email
  • Chat
  • Timeline
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ
  • Lite (no JS)

Legal

  • Terms of Service
  • Privacy Policy
  • Transparency Report
  • Report Abuse
  • Warrant Canary
  • VPN Policy

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 22:11:54 UTC