ist bereits submitted ๐
11.11.2025 06:19 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0@michaelingold.ch.bsky.social
Software engineer with a neck for functional programming and architecture. I actually ship code! GPG: 0154F214D090D58F13EA4DFA2AA9AAA7B789AB64 (he/him)
ist bereits submitted ๐
11.11.2025 06:19 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0@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 ๐ 0I'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 ๐ 0does 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 ๐ 0I 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.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 ๐ 0some suggestions:
Landing, ingress, raw, sourcing
sanitized, unified
curated, linked
serving, output
Casablanca
23.11.2024 21:41 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0my head is spinning: all the things I could build with this ๐
17.11.2024 10:20 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0I 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 ๐ 0Github, Hugo, Cloud Storage, Cloudflare
03.11.2024 10:06 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0import your twitter data into @bsky.app : github.com/marcomaroni-...
31.10.2024 10:21 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0Apparently, bluesky can federate with mastodon: techcrunch.com/2024/06/05/b...
30.10.2024 20:12 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0what about chrome?
30.10.2024 05:55 โ ๐ 0 ๐ 0 ๐ฌ 1 ๐ 0I learned F# by solving leetcode puzzles! They are so much more fun with functional programming languages.
28.10.2024 07:59 โ ๐ 2 ๐ 0 ๐ฌ 0 ๐ 0it looks like twitter, doesn't feel like twitter - I like ๐
21.10.2024 11:02 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0Replacing 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 ๐ 0How 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 ๐ 0How 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 ๐ 0Western 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 ๐ 0Whenever 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
On my way to #socratesCH ๐ฅณ https://t.co/aCL6mJeqXD
02.02.2023 11:12 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0how 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 ๐ 0I 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 ๐ 0Why does it feel like Jetbrains Fleet IDE is just them catching up to VSCode?
13.10.2022 19:19 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0How to be disrupted: ARM thinks RISC-V is not a rival. https://t.co/QRao5fVI2T
19.09.2022 08:59 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0Ever 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 ๐ 0Job well done for the network engineers at Google: https://t.co/7YCyewaC0n
19.08.2022 18:19 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0