@aje@discuss.systems
@aje@discuss.systems avatar

aje

@aje@discuss.systems

Types, Programming Languages, and Security.
Currently @ AWS, Automated Reasoning.

This profile is from a federated server and may be incomplete. Browse more on the original instance.

aje, to random
@aje@discuss.systems avatar

Personally I would just unplug this bit

aje, to random
@aje@discuss.systems avatar

Video of the relay logic in action

video/mp4

aje, to random
@aje@discuss.systems avatar

Went to the Seattle Connections Museum, was incredible. Racks of working telephone equipment from all eras of switching.

image/jpeg
image/png
image/jpeg

aje, to random
@aje@discuss.systems avatar

Blog post on Cedar + Lean: https://aws.amazon.com/blogs/opensource/lean-into-verified-software-development/

aje, to random
@aje@discuss.systems avatar

PL/Systems/Security friends, what's the most fun result/paper/blog post this year?

aje, to random
@aje@discuss.systems avatar

Don't worry guys they made reading fiction tactical now. It's ok for real operators to do it.

b0rk, to random
@b0rk@jvns.ca avatar

what helps people get comfortable on the command line? https://jvns.ca/blog/2023/08/08/what-helps-people-get-comfortable-on-the-command-line-/

Would love more stories of things that helped you in the last ~5 years!

(as usual, no need to reply if you don’t remember, or if you’ve been using the command line comfortably for 15 years — this question isn’t for you :) )

aje,
@aje@discuss.systems avatar

@b0rk only semi related, but I recently was playing around with an old IBM OS (AS400). It had this neat feature where typing any command, you could press an F-key to pull up an form to fill in. The form was the exact same as the command line args, just with full text names for each fields and it took up the whole screen. Made figuring out how to use a command easier.

aje,
@aje@discuss.systems avatar

@b0rk I’ll try and get some screenshots at some point

aje, to random
@aje@discuss.systems avatar

Folks it’s Pip

image/png
image/png

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