Kim Højgaard-Hansen

He/Him. Sailing 🤩 DevOps with passion and opinions. All things agile. proud father of two crazy teen girls. Love the people part of SW dev. Single

[Kim Højgaard-Hansen @kimrhh]

@t_wittenburg @peterbrodersen Hop med os andre over på Bluesky , det her helvedes sted med sponsoreret AI skrald over alt og meget lidt reelt indhold er der ikke noget godt ved mere

[Milan Jovanović @mjovanovictech]

5 things I add to new .NET projects to set them up for success:

1. Coding conventions - .editorconfig

2. Static code analysis - SonarAnalyzer

3. Observability - Serilog, OpenTelemetry

4. Docker-compose - local development story

*Aspire is also an excellent option here

5. CI/CD pipeline for build & test (bare minimum)

Everything is easier with this initial setup.

The team has a consistent development experience.

And we can focus on providing business value to customers.

Here's how you can set up OpenTelemetry in .NET: https://t.co/iAfyVpkT0Q

What else would you add?

[Qian Li @qianl_cs]

When a program’s reliability is so critical that any bugs could lead to severe consequences (as in the case of S3, which hosts some of the most critical business data worldwide), traditional unit, integration, and end-to-end testing alone may not suffice. Even with a flawless design, your implementation might still contain bugs. In such cases, formal verification can provide stronger assurance by rigorously validating the implementation. This paper details how the Amazon S3 team uses lightweight formal methods to ensure ShardStore's correctness.

When I encounter papers on complex topics like formal verification that challenge my understanding, I often turn to @muratdemirbas blog for additional insights. This blog provides an accessible explanation of this paper: https://t.co/lqHjvs5cYX

[Merill Fernando @merill]

As a nerd this is why I'm excited about BlueSky.

Read more about the protocol at
https://t.co/awGb5j60n1

Follow me → https://t.co/qKM5xzFLlf

[@emilymbender.bsky.social @emilymbender]

As OpenAI and Meta introduce LLM-driven searchbots, I'd like to once again remind people that neither LLMs nor chatbots are good technology for information access.

A thread, with links:

>>

[Gergely Orosz @GergelyOrosz]

I am starting to get tired of having no control of the feed here, and my feed becoming what reminds me of TikTok (random stuff that the algo thinks is "engaging")

There is a promise of 🦋 that no other network has: the choice of algo (still WIP, but part of the architecture)

[Bilgin Ibryam @bibryam]

Blocking code is a leaky abstraction
https://t.co/YTXuj2KDgf

[Daniel 🦔 @DanielW_Kiwi]

Okay so @Microsoft automatically connected my computer to one drive. Then started uploading crap into it. Now they're threatening to delete it?

[@ardalis.com on BlueSky @ardalis]

Just a reminder that a LOT of tech twitter has moved to BlueSky. If you were considering it, it’s a good time to check it out.
#dotnet

[JetBrains Rider @JetBrainsRider]

Contribute to open source, learn through self-education or courses, record educational podcasts, or grow your pet project easily with a FREE Rider subscription for non-commercial development.
Download and start today 👉
https://t.co/hKq3IldNUK
Spread the word! #dotnet #gamedev

[Charity Majors @mipsytipsy]

This might be the best thing I've ever read on instrumenting your code the modern way, using wide, traceable events & metrics.

It's also a solid overview of options in the o11y 2.0 space, incl OSS. 🔥

Bookmark this shit and reference the hell out of it.

https://t.co/SKBfU46PSe

[Kai Lentit (e/xcel) @KaiLentit]

Coding with AI in 2024.

[Mathias Verraes @mathiasverraes]

If you're considering to submit a talk to one of @aardling_eu 's conferences (@ddd_eu, @datameshlive , @EventCentricEU , @ncraftsConf ), it's a good idea to watch @einarwh's talk :-)
https://t.co/gEPIu5MIhG

[Dr. Lucky Tran @luckytran]

Universal masking and social distancing at the start of the pandemic were so effective that they eliminated a strain of flu, and now annual flu vaccines have been redesigned because that strain no longer needs to be included in the shot. Amazing.

[무닌 아빠 @philparkbot]

I was looking up some history behind the x86-64 transition, particularly around the Pentium 4 time frame, and I found out that Bob Colwell (Pentium Pro chief architect) has been posting on Quora.

Pentium 4 had a version of x86-64 that was fused off.

[Devin Duke @sirDukeDevin]

There is a reason to be on X, to see these burns 😂

[Ellie Huxtable @ellie_huxtable]

All I ask is that whoever buys one shares a screenshot of 'htop'

For the people 🥹

[Rick Strahl @RickStrahl]

First shot at updating Markdown Monster to run under .NET 9.0 properly with all projects and default addins updated.

Running on first try and feels slightly more snappy especially on startup.

No errors to fix - only a few new warnings.

Nice! #dotnet

[soul nate @MNateShyamalan]

one thing i love about elon twitter is seeing posts like this get boosted because not even conservative algorithms can parse sarcasm