SchlenkR

Today I reworked the appearance of the #pxlclock app. The device takes screenshots of a running clock face and uses it as image to show to the user. Now we can see all the beautiful work of @ursenzler.bsky.social in a single list without imagination :)

Cc @sergeytihon.com

YouTube video by The Pure State Type Inference: Bridging the Gap Between Safety and Simplicity

Let's build a Programming Language - together!

The goal? Combine the developer experience of Python with the safety of TypeScript.

In Episode 0: Syntax + Type Inference

📺 www.youtube.com/watch?v=fSRT...

#TypeInference #TypeScript #CSharp #FSharp #Rust #Haskell

F# Advent Calendar in English 2025 🎄 It’s that magical time of year again! 🎅🏻Christmas is twinkling on the horizon, and that means one thing — it’s time for the 12th annual F# Advent in English! It’s incredible to think that our tra…

Step into a world… where F# isn’t forgotten! 💜

The #fsharp Advent Calendar still has open slots!
Join in even if you’re from #csharp, #VB ...

Contribute:
video • blog • code • whatever!

Let’s keep the F# spirit alive together. 🌟
sergeytihon.com/2025/11/03/f-advent-calendar-in-english-2025

While crafting the #csharp API for #pxlclock, I asked my code monkey to add some static scenes for all the API we added.

Look what it made - without further specification :)

Good info - haven't thought about that (I usually trust myself :D ) - ok. Wer need to update the app for that...

That's amazing: Someone created something like an "analogue #pxlclock " :) Here: dodocraft.com Cool!

Great! Urs, if you don't mind: Could you use Chrome and check our pxlclock.com/setup, enter your Wifi, click connect and then: See if your clock appears in the list of devices? Then, you can cancel. Thanks ;)

Yes, this is a wonderful, almost hypnotic clock face :)

BTW, the app is officially available, and the latest clock SW version is 2025-11-09_16.08.11

Does your clock still pull updates if I may ask?

When I tell that #pxlclock is hand-made, this means: Man, it's hand-made! I swear - for real ;) You see Sefa in Action - life and in color, soldering the 2 boards for the clock. Thank god I'm a programmer... get your PXL Clock: pxlclock.com

🌈 After 2 years of serious side-project hustle, we’ve built a limited batch of 100 PXL Clocks - premium programmable clock for developers and design lovers.

Use code "fsharp" for a 50€ discount and bring light into your workspace.

👉 pxlclock.com

#fsharp #pxlclock #csharp #pixelart

Thanks dawe! One more helping hand on our way :)

A programmable device for #csharp and #fsharp hobbyists? A beautiful hand-crafted piece of furniture? Or both?

Order your #pxlclock now (1st batch limited to 100 units): www.pxlclock.com

#pxlclock is finally here 🎉
Hand-built and crafted, with 576 glowing 3D pixels.

Only 100 units available right now - made with care, not mass-produced.

👉 www.pxlclock.com

PS: If you enjoy my #fsharp open-source work: this is a beautiful way to support it ❤️

576 pixels
Pre order
;)
#fsharp

Instead of heavy code generators, I now:
- write a step-by-step spec in code
- run a command manually
- repeat when needed

✅ keeps the benefits of metaprogramming
✅ minimal time & cost
✅ good enough for #pxlclock moving from #fsharp → #csharp

Sometimes simple wins.

How comes such a feeling?

Sometimes stepping back reveals small flaws & inconsistencies we got used to. Example: in #csharp, values use `Type id`, but type params use `T : constraint` Historical reasons?

If starting fresh, I’d go ML-style - #fsharp shows how inspiring that can be. #dotnet

I guess many C# focused developers understand Func<int, int[], int[]> very well - and that's it!

or

delegate int combine(int a, int[] b)

(although the names are just documentation, and not part of teh type's identity.)

Please let me use line breaks instead of ; - so your is:

1 - any type T with trait (+): T * int -> U
2 - iterable of U, may be anything from 'maybe' to endless
3 - array of U
4 - T * iterable<U> -> array<U>

So interesting 😍

go on ... ;)

In JavaScript, it can't be 'anytime' - because it can't be 'compiletime' 😆 OH YEAH!

Anyway: Your reasoning -> rules: ;)

"If an element of type T is added to our element e,
Then e also has type T"

or

"If we know that an element e is in an array, and that has type T,
Then e also has type T"

a hint for nr. 4: That's a function, right?
When we agree that a type should reflect 'what things are', can it be that a function is really of type 'int array' or 'int list'?

...nr. 4: That's a function, right?
When we agree that a type should reflect 'what things are', could it be that a function is really of type 'int array'?

🤓 Type puzzle:

What are the types of a, b, and combine in this snippet?

No syntax, no rules — just inference & imagination. No right or wrong - interpret!

👉 Your guess?

#typefighter #trulla #csharp #typescript #java #fsharp

So you are a CLEAN CODER - really?

Two async funcs:

- Classic style: scroll & chase vars
- Pipeline style: see every step in order, linear data flow, no “what’s this var now?”

💡 Idiomatic in #fsharp
😅 Possible in #csharp, less readable & less accepted
❌ Not practical in #typescript / #javascript

Async in #pxlclock? Easy. Even in a render loop, it remembers state (like a Task) and hands you results when ready.

Now in #fsharp - soon #csharp, #typescript, #python… or maybe I'll write my own language - finally found a use case for it! 😏 #pixelart

We started #pxlclock as two good friends — Sefa & me.

Then, while scrolling through my media today, I found this video: Sefa - you made this! It’s amazing. I don’t know anyone with your skills, and you have my full respect.

100 units selling soon - Who with us for party? 🎉

Why we only sell 100 #pxlclock units?

Many reasons - main one is: We are manufacturing the clock all by ourselves! We solder AC adapters, boards, 3d-print parts, assemble, terminate cables / switches, +++

PXL Clock is hand-made manufacturing work! P.S.: ❤️ to my friend and partner Sefa 🤗

Years ago, I started building my own HTTP lib for #fsharp - #fshttp - and loved it, especially the connections to people.

Now, parts of our #pxlclock software are open source too, and it even got us to Google #1!

Only 100 clocks will be sold!

Please support us - comments & reposts appreciated 🤗