Michael Ingold
@michaelingold.ch
Software engineer with a neck for functional programming and architecture. I actually ship code!
GPG: 0154F214D090D58F13EA4DFA2AA9AAA7B789AB64
(he/him)
GPG: 0154F214D090D58F13EA4DFA2AA9AAA7B789AB64
(he/him)
@golemde.bsky.social The call for papers form for Rack&Stack fails with a 401: rackstack.de/call-for-pap...
November 3, 2025 at 10:14 AM
@golemde.bsky.social The call for papers form for Rack&Stack fails with a 401: rackstack.de/call-for-pap...
import your twitter data into @bsky.app : github.com/marcomaroni-...
GitHub - marcomaroni-github/twitter-to-bluesky: Import all tweets exported from X/Twitter to a Bluesky account.
Import all tweets exported from X/Twitter to a Bluesky account. - marcomaroni-github/twitter-to-bluesky
github.com
October 31, 2024 at 10:21 AM
import your twitter data into @bsky.app : github.com/marcomaroni-...
Apparently, bluesky can federate with mastodon: techcrunch.com/2024/06/05/b...
Bluesky and Mastodon users can now talk to each other with Bridgy Fed | TechCrunch
Bridgy Fed is one of the efforts aimed at connecting the fediverse with the web, Bluesky and, perhaps later, other networks like Nostr.
techcrunch.com
October 30, 2024 at 8:12 PM
Apparently, bluesky can federate with mastodon: techcrunch.com/2024/06/05/b...
it looks like twitter, doesn't feel like twitter - I like 😁
October 21, 2024 at 11:02 AM
it looks like twitter, doesn't feel like twitter - I like 😁
Replacing 3.8k of rust code with <50 lines of code? https://t.co/yvFbvFrAma #dotnet #fsharp and @CaptnCodr's FLI
July 3, 2024 at 6:51 AM
Replacing 3.8k of rust code with <50 lines of code? https://t.co/yvFbvFrAma #dotnet #fsharp and @CaptnCodr's FLI
How to replace 3800 locs with 50: https://t.co/yvFbvFrAma #fsharp #androiddevs
July 2, 2024 at 9:32 PM
How to replace 3800 locs with 50: https://t.co/yvFbvFrAma #fsharp #androiddevs
#SoCraTesCH is ready for the maketplace at 0900 https://t.co/ugSGn583H3
February 2, 2024 at 6:42 AM
#SoCraTesCH is ready for the maketplace at 0900 https://t.co/ugSGn583H3
How is it, that development in #vscode using #csharp is so awesome, but with #fsharp it's a pain? Scripts without IDE support, debugging does not work etc. I'm using #ionide on osx.
July 26, 2023 at 6:14 AM
How is it, that development in #vscode using #csharp is so awesome, but with #fsharp it's a pain? Scripts without IDE support, debugging does not work etc. I'm using #ionide on osx.
Western democracies take note: Language is one of the things to suffer the wrath of dictatorship! https://t.co/6L5kco94G1
March 2, 2023 at 9:32 AM
Western democracies take note: Language is one of the things to suffer the wrath of dictatorship! https://t.co/6L5kco94G1
Whenever I see this, two things come to mind:
1. that the marketplace has a shitty scoring strategy and
2. people really need to start cleaning up after themselves. @code https://t.co/qwakmBB6cq
1. that the marketplace has a shitty scoring strategy and
2. people really need to start cleaning up after themselves. @code https://t.co/qwakmBB6cq
February 24, 2023 at 8:20 PM
Whenever I see this, two things come to mind:
1. that the marketplace has a shitty scoring strategy and
2. people really need to start cleaning up after themselves. @code https://t.co/qwakmBB6cq
1. that the marketplace has a shitty scoring strategy and
2. people really need to start cleaning up after themselves. @code https://t.co/qwakmBB6cq
On my way to #socratesCH 🥳 https://t.co/aCL6mJeqXD
February 2, 2023 at 11:12 AM
On my way to #socratesCH 🥳 https://t.co/aCL6mJeqXD
how did we arrive at the conclusion that it's a good idea to keep our password in a service where we do not control or audit any of the code used to protect them? #LastPass #lastpassbreach #lastpasshack
December 30, 2022 at 7:31 PM
how did we arrive at the conclusion that it's a good idea to keep our password in a service where we do not control or audit any of the code used to protect them? #LastPass #lastpassbreach #lastpasshack
I get it: You want to know how to write extensions for #vscode plase don't do THIS though! https://t.co/DSiGSqWqj0
December 4, 2022 at 12:30 PM
I get it: You want to know how to write extensions for #vscode plase don't do THIS though! https://t.co/DSiGSqWqj0
#fsharp in all it's beauty: https://t.co/Qm4XFum353
November 2, 2022 at 8:00 PM
#fsharp in all it's beauty: https://t.co/Qm4XFum353
Why does it feel like Jetbrains Fleet IDE is just them catching up to VSCode?
October 13, 2022 at 7:19 PM
Why does it feel like Jetbrains Fleet IDE is just them catching up to VSCode?
How to be disrupted: ARM thinks RISC-V is not a rival. https://t.co/QRao5fVI2T
September 19, 2022 at 8:59 AM
How to be disrupted: ARM thinks RISC-V is not a rival. https://t.co/QRao5fVI2T
Ever feel like drowning in waves of new tools, frameworks, languages, techniques etc. that "you should take a look at"? Here is my suggestion on how to deal with that: https://t.co/qk0YRmGlzK
September 19, 2022 at 7:13 AM
Ever feel like drowning in waves of new tools, frameworks, languages, techniques etc. that "you should take a look at"? Here is my suggestion on how to deal with that: https://t.co/qk0YRmGlzK
Job well done for the network engineers at Google: https://t.co/7YCyewaC0n
August 19, 2022 at 6:19 PM
Job well done for the network engineers at Google: https://t.co/7YCyewaC0n
leaving lucerne headed to @SoCraTes_CH. https://t.co/PB1TLjHn62
February 3, 2022 at 10:42 AM
leaving lucerne headed to @SoCraTes_CH. https://t.co/PB1TLjHn62
Maps are fun and they are even more fun with @openstreetmap and @d3js_org. Anyone in for a geography quiz? What and where this is? https://t.co/Z43fV6LMgq
October 19, 2021 at 9:29 PM
Maps are fun and they are even more fun with @openstreetmap and @d3js_org. Anyone in for a geography quiz? What and where this is? https://t.co/Z43fV6LMgq
No matter how much I wish @Facebook moving against @louisbarclay for developing https://t.co/uml5VHLfuS to be illegal - it is not and cannot be. We must stop being surprised that giving companies a kingdom will make them reign it with impunity and abuse their power - like kings.
October 12, 2021 at 6:55 AM
No matter how much I wish @Facebook moving against @louisbarclay for developing https://t.co/uml5VHLfuS to be illegal - it is not and cannot be. We must stop being surprised that giving companies a kingdom will make them reign it with impunity and abuse their power - like kings.
hey twitter: context matters! https://t.co/mFFxROmR5Y
August 29, 2021 at 8:57 AM
hey twitter: context matters! https://t.co/mFFxROmR5Y
Just donated to @signalapp! Consider doing the same! You are helping protect everyones privacy around the world!
January 8, 2021 at 11:15 PM
Just donated to @signalapp! Consider doing the same! You are helping protect everyones privacy around the world!