Michael Ingold's Avatar

Michael Ingold

@michaelingold.ch.bsky.social

Software engineer with a neck for functional programming and architecture. I actually ship code! GPG: 0154F214D090D58F13EA4DFA2AA9AAA7B789AB64 (he/him)

28 Followers  |  32 Following  |  418 Posts  |  Joined: 20.10.2024  |  1.909

Latest posts by michaelingold.ch on Bluesky

ist bereits submitted ๐Ÿ˜

11.11.2025 06:19 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

@golemde.bsky.social The call for papers form for Rack&Stack fails with a 401: rackstack.de/call-for-pap...

03.11.2025 10:14 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

I've been working on a way for all #swiss #residents to get a #verified handle on #Bluesky. Follow the blsk.ch account send it a DM "please verify me" and follow the instructions in the chat. #switzerland #bluesky #verification #verify #swiss

23.12.2024 18:52 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

does anybody know a way of debugging #github actions locally without having to do the commit-push-run dance?

04.12.2024 06:42 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

I wonder whether this would make much of a difference or whether it's just all the same under the hood? Maybe @davidfowl.com can enlighten us?

30.11.2024 14:09 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Post image

.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

29.11.2024 21:18 โ€” ๐Ÿ‘ 17    ๐Ÿ” 4    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0

some suggestions:
Landing, ingress, raw, sourcing
sanitized, unified
curated, linked
serving, output

23.11.2024 21:50 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Casablanca

23.11.2024 21:41 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

my head is spinning: all the things I could build with this ๐Ÿ˜€

17.11.2024 10:20 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

I like the Nullable reference types feature - it will make code that interfaces with the many C# codebases out there more readable. On the down side: looks a lot like double-tracking the F# options!

09.11.2024 08:22 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Github, Hugo, Cloud Storage, Cloudflare

03.11.2024 10:06 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
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

import your twitter data into @bsky.app : github.com/marcomaroni-...

31.10.2024 10:21 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
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.

Apparently, bluesky can federate with mastodon: techcrunch.com/2024/06/05/b...

30.10.2024 20:12 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

what about chrome?

30.10.2024 05:55 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

I learned F# by solving leetcode puzzles! They are so much more fun with functional programming languages.

28.10.2024 07:59 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

it looks like twitter, doesn't feel like twitter - I like ๐Ÿ˜

21.10.2024 11:02 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Replacing 3.8k of rust code with <50 lines of code? https://t.co/yvFbvFrAma #dotnet #fsharp and @CaptnCodr's FLI

03.07.2024 06:51 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

How to replace 3800 locs with 50: https://t.co/yvFbvFrAma #fsharp #androiddevs

02.07.2024 21:32 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

#SoCraTesCH is ready for the maketplace at 0900 https://t.co/ugSGn583H3

02.02.2024 06:42 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

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.

26.07.2023 06:14 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Western democracies take note: Language is one of the things to suffer the wrath of dictatorship! https://t.co/6L5kco94G1

02.03.2023 09:32 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

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

24.02.2023 20:20 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

On my way to #socratesCH ๐Ÿฅณ https://t.co/aCL6mJeqXD

02.02.2023 11:12 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

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

30.12.2022 19:31 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

I get it: You want to know how to write extensions for #vscode plase don't do THIS though! https://t.co/DSiGSqWqj0

04.12.2022 12:30 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

#fsharp in all it's beauty: https://t.co/Qm4XFum353

02.11.2022 20:00 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Why does it feel like Jetbrains Fleet IDE is just them catching up to VSCode?

13.10.2022 19:19 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

How to be disrupted: ARM thinks RISC-V is not a rival. https://t.co/QRao5fVI2T

19.09.2022 08:59 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

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

19.09.2022 07:13 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Job well done for the network engineers at Google: https://t.co/7YCyewaC0n

19.08.2022 18:19 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

@michaelingold.ch is following 19 prominent accounts