Discovered https://github.com/stateright/stateright and lost myself in the TLA+ rabbit-hole. Excellent resource is obviously THE Leslie Lamport's site: https://lamport.azurewebsites.net/tla/learning.html
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
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.
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…
Awesome. I had to spin own proxy solution for that last year. Time to go NATS native again. Thank you!
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. https://twitter.com/nats_io/status/1389604476768690179
Also option for naming the access key would be awesome :)
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.
Playing with http://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
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.
Simple treasure chest for upcoming "exit game" for our kids. Take on classic Simon says game. #Arduino
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.
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: https://blog.initialized.com/2021/01/data-post-pandemic-silicon-valley-isnt-a-place/