juliaferraioli, to random
@juliaferraioli@floss.social avatar

"Keeping things simple is even harder!" <- TRUTH

juliaferraioli, to opensource
@juliaferraioli@floss.social avatar

"With mathematics, we can predict the behavior of systems before a single line of code is written." - Marc Brooker, VP/Distinguished Engineer at AWS

juliaferraioli,
@juliaferraioli@floss.social avatar

Interested in how AWS uses TLA+? Check out the 2015 CACM article ⤵️

https://www.amazon.science/publications/how-amazon-web-services-uses-formal-methods

juliaferraioli,
@juliaferraioli@floss.social avatar

"TLA+ is a design time tool that accelerates our engineering practice" - Marc Brooker

It also reduces debugging time and, importantly, the frequency of paging engineers in the middle of the night!

galdor, to random
@galdor@emacs.ch avatar

Some say you must start with a simple programming language and learn your way up. Others tell you to learn a low level language such as C to understand how everything works.

I've seen plenty of developers who started with Python or JS, and some who started with C. Comparing them, there is no doubt about which method yields the best developers.

The good news is that it's never too late to go back to the fundamentals.

tetrislife,

@oantolin
> semi-informal pseudocode
There is nowadays, a very intriguing option as a first "design language".
@galdor
Another approach might be to first learn how to write and execute a test plan (maybe the Ruby Cucumber way, or with a tool).

ahelwer, to random
@ahelwer@discuss.systems avatar

Intro post for discuss.systems: hi, I'm Andrew! TLA+ is my main thing these days, both on-contract (writing specs, reviewing specs) and personal projects (working on test infra to safely open up the TLA+ tools to changes). Other than that I'm learning/using nix and hoping to get into verified low-level development this year!

I moved here from fosstodon because so many of you are working on & writing about interesting things, and I like scrolling the local feed!

If you're interested in TLA+ there's a virtual community meeting tomorrow at 11 ET which is usually a fun time. The meeting link is in the events in this google calendar: https://calendar.google.com/calendar/embed?src=cb3f93f188c92378a8fec42b25365ab2a64665d770a8265c1fcec00e03823c6c%40group.calendar.google.com&ctz=America%2FLos_Angeles

lmstr, to random

We are paging all & users. Let's rebuild our community here. Please respond and boost for reach.

  • All
  • Subscribed
  • Moderated
  • Favorites
  • JUstTest
  • kavyap
  • DreamBathrooms
  • thenastyranch
  • magazineikmin
  • osvaldo12
  • khanakhh
  • Youngstown
  • mdbf
  • slotface
  • rosin
  • everett
  • ngwrru68w68
  • Durango
  • anitta
  • InstantRegret
  • GTA5RPClips
  • cubers
  • ethstaker
  • normalnudes
  • tacticalgear
  • cisconetworking
  • tester
  • Leos
  • modclub
  • megavids
  • provamag3
  • lostlight
  • All magazines