Viewing profile — brianjlogan

I used to work at an airport listed in this reference actually. Their boneyard was fully behind the fence and no public access would be granted. Even as staff we never went there b…

Location: Orlando, FL Remote: yes, hybrid, 30m commute on site. Willing to relocate: no Title: Senior Site Reliability Engineer Technologies: Kubernetes, AWS, Gitlab, OpenTelemetry…

Pretty common method these days to build something just for the task at hand and consider deployment immutable requiring a new build of the ISO.

Do you have any good sources for this I'd be interested in learning more

Nor the continuous delivery K8s tool. https://fluxcd.io/

Lots of historical precedent for an intellectual elite ignoring the perception and needs of the common folk leading to an uprising. I'd imagine every great(in scale/importance) upr…

Thank you so much for this quality reply! I shared earlier in the thread about the learning app I'm working on. I already have a learning path created in it for Formal Methods. I w…

I have knowledge of FM primarily from HackerNews posts about it. As someone lacking your academic background in it could you give me some advice on a good starting point, or perhap…

Ah neat idea!

Nice, I will look into this more

Ah I think you posted on HN before. Good to see you again. I haven't gotten around to testing smol yet but the DirtyFrag / CopyFail stuff peeked my interest in it again.

Nice! Raft is cool. Looks like a fun implementation project

Are you familiar with FizzBee. I think formal methods is already very hot right not with more demand for proving AI generated code isn't garbage. (Even if you're hand writing peopl…

I like your idea. I didn't have the time to fully build mine out but I also was hankering for something with better readability and implementation than SaltStack (server/client sim…

I'd love this if you could match me based on my time slot available to play games with someone.

I had my problem in the calisthenic app space as well. Rowing, cycling, biking, calisthenics. Each sport has such specifics I wish there was an open standard on the data for better…

Neat so smarter pruning than just an auto compaction event?

Neat so kind of like Vale but for repo structure rules?

Have you seen rusternetes? https://github.com/calfonso/rusternetes I picked Rust as my language before the AI hype in popularity so I'm biased on k8s tooling in my focus language. …

You know I'd love an ability to a "lock" a file from being read by agents. Casual browsing of a .env is probably my top pet peeve of coding agents. Everytime a secret gets slurped …

Super interesting. I'm also super into the idea of always online continual learning. I'll check it out. Thanks for sharing.

I have paid for to do apps to try and tackle this by using the NLP "every 3 months" etc to basically accomplish this. I think you're smart to spin it out to its own thing because I…

I'm working on an Alpha with a tester group for a learning product. A personal research extended to curriculum building and team training SaaS. I'd like to open source it and work …