Michael Ingold
banner
michaelingold.ch
Michael Ingold
@michaelingold.ch
Software engineer with a neck for functional programming and architecture. I actually ship code!
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
does anybody know a way of debugging #github actions locally without having to do the commit-push-run dance?
December 4, 2024 at 6:42 AM
.net C# is really starting to shine both in performance and resource usage: hez2010.github.io/async-runtim... for 1M tasks it even beats #rust and #golang. All the optimizations of the past years into C# also benefit F#! #fsharp #csharp #dotnet
November 29, 2024 at 9:19 PM
it looks like twitter, doesn't feel like twitter - I like 😁
October 21, 2024 at 11:02 AM
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
How to replace 3800 locs with 50: https://t.co/yvFbvFrAma #fsharp #androiddevs
July 2, 2024 at 9:32 PM
#SoCraTesCH is ready for the maketplace at 0900 https://t.co/ugSGn583H3
February 2, 2024 at 6:42 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.
July 26, 2023 at 6:14 AM
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
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
February 24, 2023 at 8:20 PM
On my way to #socratesCH 🥳 https://t.co/aCL6mJeqXD
February 2, 2023 at 11:12 AM
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
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
#fsharp in all it's beauty: https://t.co/Qm4XFum353
November 2, 2022 at 8:00 PM
Why does it feel like Jetbrains Fleet IDE is just them catching up to VSCode?
October 13, 2022 at 7:19 PM
How to be disrupted: ARM thinks RISC-V is not a rival. https://t.co/QRao5fVI2T
September 19, 2022 at 8:59 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
September 19, 2022 at 7:13 AM
Job well done for the network engineers at Google: https://t.co/7YCyewaC0n
August 19, 2022 at 6:19 PM
leaving lucerne headed to @SoCraTes_CH. https://t.co/PB1TLjHn62
February 3, 2022 at 10:42 AM
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
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
hey twitter: context matters! https://t.co/mFFxROmR5Y
August 29, 2021 at 8:57 AM
Just donated to @signalapp! Consider doing the same! You are helping protect everyones privacy around the world!
January 8, 2021 at 11:15 PM