Discovered github.com/stateright/staterig and lost myself in the TLA+ rabbit-hole. Excellent resource is obviously THE Leslie Lamport's site: lamport.azurewebsites.net/tla/

Dostal jsem vakcinacni certifkat ♥, ale nechapu, proc jsou v overovaci QR kodu dalsi data mimo unikatni ID certifikatu. To znamena, ze v nahodnych access logach (aspon je to https) bude moje RC, cislo OP/pasu atd. @ZdravkoOnline ?

cc @michalillich @PetrSimecek @spazef0rze

I was not particularly looking for wasting 2h on transfer time today. Did I know that they were actually awesome thanks to a great podcast with @balajis

youtube.com/watch?v=lfd6M9y9_T

This is basically one of the ultimate productivity hacks (along with generic learn how to say "no"). Always worked great.

I am now trying to bring it into an existing team with a long history... we will see.
---
RT @heyblake
Default to saying "no" to meetings.

1. Avoid meeting without a clear purpose

2. Say "yes" to meetings with people, "no" to meetings for info

3. Info meetings can almost always be asynchronous

4. We still need 1:1…
twitter.com/heyblake/status/13

Awesome. I had to spin own proxy solution for that last year. Time to go NATS native again. Thank you!
---
RT @ivankozlovic
You can now connect to NATS server's Websocket port with the NATS Go client. Simply use the "ws://" scheme in the connection's URL. twitter.com/nats_io/status/138
twitter.com/ivankozlovic/statu

Also option for naming the access key would be awesome :)

Show thread

Have not found a way how to tune the policies (e.g. having midnight GMT on every machine may not be what you want). Small tweak for the (excellent) doc -- the created channel will be "stable" not "master" as used for jobset uri and package name.

Show thread

Playing with floxdev.com (thx @grhmc for approval) found via @a_hoverbear . Really slick experience on the top of the Nix. Awesome to see BEAM support out of the box. Would be nice to have some ENV to turn on progress indicators instead of hanging for dep downloads.

Wooha JetStream is a big thing! Congrats @derekcollison
---
RT @nats_io
Have you heard? Our maintainers and engineers have been hard at work and we are ready to shout from the rooftops! 📣

NATS 2.2 | The JetStream Release is here! 🎉

In addition to the long-awaited addition of JetStream, NATS 2.2 is bursting with new features.
twitter.com/nats_io/status/138

Binge listening to @naval podcast on the sauna bench. One of the best places for this activity.

Obviously its nice to get your biases confirmed. But I like that there is almost always some extra but to keep you thinking about additional questions or possibilities.

Simple treasure chest for upcoming "exit game" for our kids. Take on classic Simon says game.

I've just realized that @Pex sponsors @ziglang . Niiice @synopsi !

New level of password complexity detection. If you are over (26 in my case) max suggested length you will receive a medium rating.

@spazef0rze

Enjoying An Elegant Puzzle by @Lethain as it provides confirmation for my biasses :) One tool, which is not mentioned in the book and I love to use is a written standup.

bobek.cz/blog/2021/written-sta

RT @kimmaicutler
There's been a ton of speculation of what Silicon Valley is going to look like after the pandemic when companies return to work. I've been interested in this for several years and I thought I'd add data to the conversation based on our founder surveys: blog.initialized.com/2021/01/d

Printing double Klain bottle with a vintage (1987) plotterXY3141 via DIY interface for 0 (under the brown PCB). Plotter, originally connected to is now connected to home WiFi. Dah, even the @eevblog DMM next to it has more processing power :)

Wow @brave Version 1.19.77 Chromium: 87.0.4280.101 (Official Build) beta (64-bit) will happily connect to pinning-test.badssl.com/ while firefox and chrome correctly handle preload and prevent connection.

:facepalm: the computer is 15y younger than the plotter, obviously ;)

Show thread
Show older
Bobek

Distribuovaně-sociální dimenze bobek.cz