#JavaTime
LightNews LightNews
patawan1.bsky.social
Good morning Brenda!!
Patawan-One Approved #FantasyArt #ElvinFae #JavaTime
February 10, 2025 at 12:48 PM
girlboss.capital
beanception #javatime #coffee #cupofjoe
October 31, 2024 at 1:24 PM
girlboss.capital
decaf coffee loading... #javatime #beanzone
December 1, 2024 at 3:21 AM
tobiaswatzl.bsky.social
Jedes mal wieder wenn ich mit Java Time arbeiten muss frag ich mich wer sich den Blödsinn überlegt hat.

Sowas von unintuitiv und unnötig komplex. 😵‍💫🤯

#java #javatime
March 29, 2025 at 1:48 PM
hillelwayne.com
With those tools, I was able to whip up a "gadget": a special TLA+ spec that can be applied to *any* spec, and when run in simulation mode with `-number N`, automatically generates N traces, converts them to JSON, and saves them to a file. If you can deserialize json, you can read the trace
---- MODULE TraceSample ---- EXTENDS TLC, TLCExt, Sequences, Json, Sample \* Replace with name of spec to trace ASSUME /\ TLCSet(1, <<>>) /\ TLCSet(2, <<>>) Record == /\ LET old_trace == TLCGet(1) IN /\ Len(old_trace) > Len(Trace) => /\ TLCSet(2, Append(TLCGet(2), old_trace)) /\ TLCSet(1, Trace) Final == /\ JsonSerialize("test-" \o ToString(JavaTime) \o ".json", Append(TLCGet(2), TLCGet(1)) ) ==== The config file required to make it output json traces: SPECIFICATION Spec CONSTRAINT Record POSTCONDITION Final
April 23, 2025 at 8:18 PM
wlccarers.bsky.social
Join us for a community coffee meet at Mary Stevens Centre. Savor a fantastic local blend and mingle with fellow aficionados. #CommunityMeetup #LocalJava #CoffeeFans #SocialGathering #MaryStevensCentre #MorningTalk #JavaTime #CommunityFun
August 6, 2025 at 12:39 PM
colinmacneil.bsky.social
Time to make the coffee. #Javatime ☕️
August 14, 2025 at 6:17 AM