How do you find my new TypeFighter logo?

A tiny experimental language I just rebooted. Structural records, set-theoretic unions, almost no annotations. The goal: keep "could be this, or this" alive as long as possible.

schlenkr.github.io/TypeFighter/

#typeinference #fsharp

github.com/SchlenkR/pxl...

... there it is!

github.com/SchlenkR/pxl...

I'm still working on the whole workflow, and I use it as vehicle for exploration and experiments. So if anything doesn't work, let me know (or in case of ideas, feedback, too).

If everything works as expected, it starts automatically, usually after some minutes - yours is next ;)

Das Traurige: Solar & Wind sind großartige Technologien; China produziert damit quasi Gratisstrom für seine Industrie. Warum wir nicht? Wenn die Energiewende über Lobbyorganisationen läuft, deren Chefs nahtlos Staatssekretäre werden, diskreditiert das gute Technologie und untergräbt Glaubwürdigkeit.

Sehr geehrte Frau Dröge, die Lobbyorganisation Agora ist eng mit dem Wirtschaftsministerium verbunden. Wie transparent ist dabei deren Finanzierung und die Kontrolle wirtschaftlicher Interessen? | Fra... Diese Frage wurde Katharina Dröge (BÜNDNIS 90/­DIE GRÜNEN) am 18.05.2023 auf abgeordnetenwatch.de gestellt. Lesen Sie hier die Antwort!

Abgeordnetenwatch – Grünen-Fraktionschefin Dröge nennt Agora „auch eine Lobby-Organisation":
www.abgeordnetenwatch.de/profile/kath...

Bundestag – Kleine Anfrage zu Agora:
www.bundestag.de/presse/hib/k...

Lobbyregister (offiziell, Bundestag):
www.lobbyregister.bundestag.de/suche/R003460

"Allgemein anerkannte Datenbank"? Agora Energiewende steht im Lobbyregister des Bundestags. Beide Ex-Chefs wurden Staatssekretäre unter Habeck. Finanziert mit >16 Mio €/Jahr von US-Klimastiftungen. Selbst die Grüne Dröge nennt es "auch eine Lobby-Organisation". BITTE OBJEKTIV BLEIBEN ODER WERDEN!

Gibt’s auch ne neutrale Quelle?

Darin besteht dann wohl kein Konsens … aber ich hoffe, dass wir es schaffen werden, alsbald günstige Energie zu haben, bei deren Erzeugung der Planet nicht kaputt geht.

Richtig. Es sind massive Subventionen. Bald sind sie weg. Der Irrsinn hat ein Ende.

– Steuerbefreiung bei Einkommensteuer und Gewerbesteuer
Wer profitiert? Eigenheimbesitzer mit Dach. Wer zahlt? Die Allgemeinheit - auch jeder Mieter ohne eigenes Dach.

Das ist Umverteilung von unten nach oben!

– Vergütung ist 20 Jahre garantiert und vom Marktpreis entkoppelt; das ist kein Markt, das ist eine Staatsgarantie

– 0% MwSt. auf Anlagen und Speicher

– Zinsgünstige KfW-Kredite

Dass die 7,78 ct/kWh ungefähr dem Börsenpreis entsprechen, ändert strukturell nichts daran, dass es sich um eine Subvention handelt:

– Einspeisevergütung wird seit 2022 aus dem Bundeshaushalt finanziert. 2025 waren das 16,5 Mrd. Euro Steuergeld

Du als Steuerzahler finanzierst übrigens auch die Gewinne von Einfamilienhauseigentümer durch die Subventionierung von Solarzellen und Einspeisevergütung.

P.S.:

- runs on my GitHub Actions, so it costs me money.
- added some security things
- anyway: don't go too crazy please :)

Would love it if you tried it. Thanks!

Issues · SchlenkR/pxl-clock The official PXL-Clock Repo. Contribute to SchlenkR/pxl-clock development by creating an account on GitHub.

Hey @ursenzler.bsky.social + @nojaf.com: if you have some time, check out SchlenkR/pxl-clock on GH. You can now create "pixograms" just by opening a GitHub Issue and describing what you want. AI does the rest, you get a GIF preview, iterate via comments...

... device SW version is 2026-04-07_20.22.58

... I am sure about the SkiaSharp wrapping, but if you could test the clock face and tell me if the problem is solved, that would be great (since I am not sure how to identify the bug in the context of the CF). Thank you!

Hi Urs! It's the C# version. 'FromHsv360' was passing hue values to SkiaSharp, which doesn't wrap values above 360. Your F# code was fine because Color.hsva did the wrapping internally. I'll push an update soon (NuGet 0.0.66 + device software)...

Grab the #pxlclock VS Code extension ("PXL Clock), code your own pixogram in #csharp, and ping me here: I'll record it on the real hardware and post the video.

Who makes the coolest one?

VS Code: marketplace.visualstudio.com/items?itemName=pxlclock.pxl-clock

#pxlclock #csharp #fsharp

From sourcecode to step-by-step tutorial: I wanted to advertise the #pxlclock using programming tutorials. So I built this:

- AI breaks the #csharp code into steps; thanks @ursenzler.bsky.social
- Renders animations
- Writes tutorial
- Remotion makes the reel

Want a video about how I did that?

Vibe-coded a macOS Push-to-Talk app.

Whisper running locally, zero cloud dependency.

Added a waveform animation that looks cool though (IMO).

github.com/SchlenkR/push-to-talk

Have fun!

Static Types Without the Hassle: Type Inference Demystified YouTube video by The Pure State

The age of programming languages is over. I built one anyway.

Type inference. No annotations. Errors caught before they happen. The theory is from the 70s - compilers were doing "inference" long before #ai :)

youtu.be/fSRTVrjvo70

#typeinference #compilers #fsharp #csharp #ocaml #rust

...

Also: HTML tags from my README (images, links) end up as raw HTML in llms-full.txt instead of markdown. Might be worth a follow-up issue (... for fsharp formatting?)

Have a nice weekend!

Just tried it with FsHttp; Works out of the box.

fsdocs-tool 21.0.0 already includes it (default on via FsDocsGenerateLlmsTxt MSBuild prop)?

One thing: 21.0.0 now targets net10.0, so global.json needs SDK 10. Minor finding; FsHttp was pinned to 8).

...

Happy Friday :)

Program your own Pixogram — in VS Code.

PXL Clock #vscode extension is out:

• Built-in simulator, zero setup
• Live preview + hot reload
• Publish to your clock in one click

Write C#, see pixels. No device needed.

github.com/SchlenkR/pxl-clock

#pxlclock #csharp

Pxl-Clock | LED Pixeluhr Die PXL-Clock ist eine minimalistische LED-Pixeluhr – stilvoll, handgemacht & limitiert. Ein Designobjekt für alle, die Licht & Zeit neu denken.

P.S.: You can buy a PXL Clock and get 25€ discount using my code:

www.pxlclock.com/?ref=RONALD

New PXL Clock simulator:

• Looks like the real device now
• Clean UI
• Program in C#
• Stream to your real clock
• Browser-based, no hardware needed

Testing for upcoming PXL tutorials with AI!

@ursenzler.bsky.social I ported all your ClockFaces to #csharp - Ok?

github.com/SchlenkR/pxl-clock

My recording "studio" is my kitchen. No regrets — it's the coziest room in the house.

Setting things up to film #csharp coding tutorials for the #pxlclock. Write code, run it on the simulator, watch it glow on the real thing.

First tutorials dropping soon. Stay tuned!

Built a small tool for my social media workflow:

Write posts as markdown in VS Code, use Claude Code to draft them, then preview everything in a local web dashboard before publishing.

No database, no CMS. Just markdown files, ~300 lines of #fsharp and some JS.

github.com/SchlenkR/post-dashboard

Wanna help us sell the PXL Clock? You get paid for it :)

Sign up, get your link, earn €25 for every clock sold. No catches.

Join here: pxlclock.goaffpro.com/create-account

#pxlclock #dotnet #csharp #indiemaker