Heute ist meine neue Uhr (eine Sequent) gekommen. Mit Solar und richtigen Zeigern. Trotzdem trackt sie Schritte, Puls, Blutsauerstoff und Schlaf. Mir gefällt sie sehr!
Wenn alles klappt, dann muss ich die dank Solar nie laden. Bisher hatte ich ja eine Apple Watch, aber das jeden Tag Laden ist so gar nicht meins. Und mir reichen solche Basic-Funktionen, mehr brauche ich nicht, und weniger ist mehr.

#uhr #watch #swiss #smart #smartwatch #sequent #sequentworld #white #sport

I often feel like I'm still relatively new to the #POSIX world ( #Unix and #Linux ).

In 1988, I started using Unix at IBM (as AIX) on its RT workstations. In 1999, learned C programming on a #Sequent minicomputer. In 2001, I bought an iMac with OS X (BSD), and installed X windows to run OpenOffice.

I started experimenting with Linux when I still had to download and compile source code, and dabbled with #Fedora . (I recently noticed an old copy of Fedora 10.) I got into #Ubuntu around 2010. This year, I installed and already like the new #FedordaWorkstation39 , upon which I've been running #KiCAD (and a bunch of other stuff) with nice results.

It seems like there's always something new to learn about computers.

Wow, was für eine schöne und hochwertig verarbeitete #Smartwatch #Sequent https://sequentworld.com/
SEQUENT | Swiss Automatic Smartwatch

Sequent re-invented the mechanical movement of the 21st century. Equipped with activity tracking, heart rate, sleep tracking and more our swiss designed watches are built for all situations.

Sequent
You can compute a tuple of type a and b:(a, b) iff your code has a return value for a, b. IE a, b are computable.
This rule is a/\ b or a X b :
a #Sequent
Which is elementary proof task
Last talk of the conference is "The prooftheoretic approach to Leśniewski's ontology" by Andrzej Indrzejczak #history #mathematics #prooftheory #logic #proofs #sequent #philosophy #formal #systems