@ahelwer@discuss.systems
@ahelwer@discuss.systems avatar

ahelwer

@ahelwer@discuss.systems

Freelance software engineer focused on formal methods & distributed systems, with an intensive side-interest in quantum computing. TLA⁺ enthusiast!

Living in Atlanta, GA, USA. Non-technical hobbies include BJJ, birdwatching, and mushroom foraging.

Other random facts: vim user, tea drinker, cyclist, living kidney donor, vegetarian, hoping for a 2000 watt society! he/him

Previously: https://fosstodon.org/@ahelwer

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

ahelwer, to Birds
@ahelwer@discuss.systems avatar

The cardinal family on our street successfully had a baby!

ahelwer, to Birds
@ahelwer@discuss.systems avatar

Tried this board game called Wingspan and it's actually really fun if you're into birds! Easy to learn and it plays like a deckbuilder where you collect birds and they all have different bonuses that help you throughout the game. You play against others for points but there aren't really any places you can screw over your opponents. Played two quick rounds last night, greatly recommended!

ahelwer, to Java
@ahelwer@discuss.systems avatar

You can't allocate an array in java of more than 4 GB in size? in 2024???? an INT SIZE ARGUMENT????

ahelwer,
@ahelwer@discuss.systems avatar

All the stackoverflow threads encouraging people to write an unhinged array-of-arrays wrapper class to get around this

ahelwer,
@ahelwer@discuss.systems avatar

@msokolov unfortunately lucene-core is 4 MB which is a bit much to import for a single type where we already have an implementation. Although I suppose we could just copy the literal source file over.

ahelwer, to random
@ahelwer@discuss.systems avatar

More games here than I would play in a lifetime probably. A Short Hike is really good. Also a bunch of ttrpgs, I should try those sometime! https://itch.io/b/2321/palestinian-relief-bundle

tripplehelix, to tv
@tripplehelix@fosstodon.org avatar

Where do I buy a good spec dumb, 4k nowadays?

ahelwer,
@ahelwer@discuss.systems avatar

@tripplehelix large computer monitor is about the only option, or expensive commercial displays

ahelwer, to random
@ahelwer@discuss.systems avatar

I'm at the Linux Foundation OSSNA conference in Seattle right now, which has quite a weird vibe. It is like the very corporate end of open source. Really enjoying the embedded open source sub-conference though! I've been wanting to help with Pine64 development for a long time and now I'm learning a ton about how to do that. I guess this is all because of Internet of Things gizmos but it seems like open source software for embedded platforms is really well developed these days.

stfn, to random
@stfn@fosstodon.org avatar

The summary of yesterday's local elections in Poland is the feeling of hopelessness that you cannot do anything to make the Left finally get a good outcome. In my far-right leaning country there is just not enough people with at least some leftist beliefs.

ahelwer,
@ahelwer@discuss.systems avatar

@stfn don't lose hope! Electoral politics under a capitalist class dictatorship is designed for leftists to lose. There's a current flowing only to the right. Other domains are more important.

hq1, to DarkSouls
@hq1@fosstodon.org avatar

deleted_by_author

    •
    ahelwer,
    @ahelwer@discuss.systems avatar

    @hq1 you don't actually need to beat that dragon! although if you cheese it with a bow you can get a decent ish sword that a lot of people use to carry them through the early part of the game.

    abcdw, (edited ) to random
    @abcdw@fosstodon.org avatar

    Old sound setup (full-size dynamic mic) and new one (lavalier mic + tiny dongle audio interface), thanks to my friend for such a great and travel friendly present!

    You can check out the sound quality in the latest video:
    https://youtu.be/a2gBFnvYmWo

    ahelwer,
    @ahelwer@discuss.systems avatar

    @abcdw nice, have the same samson mic! it's a good one

    ahelwer, to random
    @ahelwer@discuss.systems avatar

    get yer tickets to a primo nixOS/arch slapfight here https://lobste.rs/s/jpoy4q/nixos_is_not_reproducible

    arturo182, to random
    @arturo182@mastodon.social avatar

    I live in the contstant anxiety of someone making the same project as me before my lazy ass finishes it 😬

    ahelwer,
    @ahelwer@discuss.systems avatar

    @arturo182 past a certain age as the number of things I wanted to do piled up this anxiety changed to "oh thank god someone else did that so I didn't have to" lol

    hq1, to random
    @hq1@fosstodon.org avatar

    deleted_by_author

    •
    ahelwer,
    @ahelwer@discuss.systems avatar

    @hq1 I remember saying "the 60s" for such things as a kid in the 90s which seems temporally equivalent

    ahelwer, to random
    @ahelwer@discuss.systems avatar

    Everglades NP

    Recording of an american alligator lazily swimming along the edge of a limestone shelf that descends into watery depths. The camera then pans up past trees to show an expansive flat grassland.

    ahelwer, to random
    @ahelwer@discuss.systems avatar

    In the category of "use tools like a fuckin hominid" instead of painstakingly typing all 101*5 infix operator parser test cases by hand I am writing a python script to generate them for me. I should do this more! Why write code at all? Write code to write your code!

    smitten, to random

    does anyone remember that skit on tiktok of the Seinfeld episode about covid? at the end it turns out Jerry is dating an antivax nurse. "How can you be antivax?? you give the vax!"

    ahelwer,
    @ahelwer@discuss.systems avatar

    @smitten mildly related saw a screenshot of this (unsourced) twitter thread

    ahelwer, to random
    @ahelwer@discuss.systems avatar

    Simple tool but I recently learned about Zeal, a FOSS offline documentation browser, and it will surely decimate the number of internet searches I run per day https://zealdocs.org/

    tripplehelix, to random
    @tripplehelix@fosstodon.org avatar

    Ok what?! The AMD 7840U can run Dakar Desert Rally on high settings very comfortably?!?! Now I'm wondering if it'd be able to handle Cyberpunk 2077.

    My Nvidia 1080 in my computer is looking very old.

    ahelwer,
    @ahelwer@discuss.systems avatar

    @tripplehelix like with integrated graphics?

    skinnylatte, to SanFrancisco
    @skinnylatte@hachyderm.io avatar

    I shouldn’t read anything online

    ahelwer,
    @ahelwer@discuss.systems avatar

    @skinnylatte some of the funniest fucking discussions I have ever had online were with people who refused to believe that home prices had absolutely anything to do with homelessness

    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

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