Computer Scientist, Functional programming advocate (F#), InfoSec enthusiast, Photographer, Zumba Instructor, Carnivore

Joined November 2010
Story of my life
3
1
19
Man imagine if we could get a Star Trek game in the Dominion timeline Mass Effect like. Resurgence had some of good choices but gameplay was mediocre.
These are the 3 games you should keep an eye on if you're at all mourning the loss of Mass Effect 👇 ⚔️ STAR WARS: FATE OF THE OLD REPUBLIC - Directed by Casey Hudson director of the original Mass Effect trilogy AND KOTOR - Spiritual successor to KOTOR - Single player action RPG where you play as a Force user - Choices push your journey toward Light or Dark - Narrative, memorable characters, and player agency are core pillars - Being built by a team packed with former BioWare developers 🚀 EXODUS - From Archetype Entertainment, founded by BioWare veterans - James Ohlen + Mass Effect 1 & 2 lead writer Drew Karpyshyn - Third person scifi action RPG - Time Dilation means years or DECADES can pass while you're away, and you can return to see the consequences of your choices manifest - Your decisions can reshape humanity across generations - Squad commands, ability combos, tools, and real stealth - Companions, romances, conflict, and difficult choices - Paladin / Immortal morality system - Humans, Celestials + uplifted "Awakened" animals as companions, like Salt the Awakened Octopus in a mech suit - You have an awakened wolf adopted brother - Releases April 7, 2027 🪐 THE EXPANSE: OSIRIS REBORN - From Owlcat Games; the CRPG veterans behind Rogue Trader and Pathfinder - Create an Earther, Martian, or Belter; which all impact gameplay and the narrative - Third person cover combat with 2 active companions - Systems track your actions and how you act can change the ending - Deep builds, skill checks, and squad commands - Your weapons, gadgets, and gear all have their own unique upgrade (skill) trees - You and each crew member also have their own skill trees - Your entire crew can contribute during missions, and your active crew can exploit the environment - Earth, Mars and the Belt react to your actions - Explore Ceres, Mars, Luna, Ganymede and more - Takes place during the events of The Expanse - Coming 2027 I've played both EXODUS and The Expanse, and the Mass Effect influence is impossible to miss. They aren't exactly Mass Effect and they don't need to be. I want to #SaveMassEffect so be sure to sign the petition. 📷c.org/rMVGzVb6WL But if you've been waiting for another cinematic sci-fi RPG filled with companions, choices, romances, power fantasies, and a crew you actually care about... Here is some hope ❤️ Full video going through exhaustive detail: youtu.be/YukWupEfBAc
69
Howl’s moving castle prompts
This is how the top 0.01% eng operate btw.
49
Seriously? You've been connecting your TV to the internet?
1
182
You need to reinvent the wheel enough to know when not to.
Funniest thing here is that this is a really experience person and they're STILL falling victim to the "how hard can it be" trap. This is why I believe all proof-of-concept projects are simply a waste of everyone's time. Everything works for the simple case
3
107
Build Servers should always just be boring setup/thin wrapper for what you can run locally. The only reason to really have build server builds is to run on environments you might not have.
CI needs to shift left. If you have to push to execute CI you're wasting your agents time. CI is absolutely killing my productivity right now. Traditional CI can not run at agent speed.
1
111
It’s going to be interesting when people replace Amanda’s recreation sections in You Can See Everything with AI Elizabeth Holmes if they can really capture Elizabeth.
1
85
Maybe Anthropic was right about Mythos breaking into everything
1
4
466
F# type providers were just too early
type inference from .sql files has been achieved internally ORMs are toast
9
11
128
7,494
I think Project Reclaimer has an opportunity to swoop in on Arrowhead’s mismanagement and making a Helldiver gameplay loop.
Gotta admit, Helldivers 2's knee jerk reaction to mods being so much better than their base game being to get scared and try and to shut it down is about what expected from Arrowhead. Sucks though.
95
How can I mute/filtet tweets that have an AI slop X Blog/Article thing. It’s the same shitty formula over and over.
1
117
I can't believe we're actually here with LLMs, with all the awe and cringe this story has. (minus the holodeck but VR/Blender is close enough at the moment) youtube.com/watch?v=L0mRMp2k…
83
Fable 5.22 is out. Since 5.16: - Opt-in Temporal dates and times for JS - Implicit conversion to U2..U9 - Cold builds: project cracking 7.7s to 2.3s 🏎️ - Compilation up to 2.9x faster (server GC + JIT tuning) 🎉 - Faster watch: incremental inline exprs - Many BEAM and Rust fixes
1
10
1
43
2,140
Ok now i need a version Andor staring down luthen
You Can Eat Anything (by tommcgovern27 on IG)
98
Jimmy Byrd 🦡 retweeted
Wow, what is an update: F# in .NET 11 RC 2 #fsharp github.com/dotnet/core/blob/…
1
4
25
785
I built it instead 😁 Introducing LeanCIL - formal semantics for .NET CIL in Lean 4, with machine-checked proofs against actual compiled assemblies Not just C# - a foundation for verifying F# and other .NET languages too Let's formally verify dotnet github.com/NethermindEth/Lea…
I just proposed an official @leanprover 4 formal semantics for C# - giving C# a foundation for machine-checkable proofs. AI agents are getting very good at writing code - and very good at breaking it. In the agentic era, "tests passed" won't be enough for critical software. We need to be able to prove properties of the code we ship. And this is becoming practical. Rust already has Aeneas -> Lean. Microsoft Research is using it to formally verify SymCrypt. Java and C have roots into formal verification too. C# should not be left behind. AI can write the code. AI can construct the proof. A deterministic proof kernel checks whether the proof is actually correct. That is a very different trust model from: AI writes code -> AI reviews code -> hopefully both were right. Proposal: github.com/dotnet/csharplang…
7
35
2
205
10,435
Jimmy Byrd 🦡 retweeted
I notice that I am losing my terror of system administration. I have reluctantly been a Unix system administrator for so many decades that when I started doing it the job was not clearly distinguished from being a programmer. And it was on minicomputers. You kids probably don't remember minicomputers. I've always hated system administration. The problem is, it's usually not possible to solve system administration problems with principled reasoning. It's all magic details that you have to memorize, all the way down - and the magic details change over time. Interfaces and tools are documented, but troubleshooting procedures never are. In the past, I have wrestled with this stuff only when I absolutely had to, and there was much profanity and yelling involved. But. LLMs are *extremely* good at remembering the magic details and coming up with diagnostics that discriminate among different failure modes. So I notice that I'm not cursing and yelling anymore, just conversing with a robot who remembers everything for me. This is a good thing.
117
79
20
1,388
24,259
Can’t extend your lifetime of memories beyond one body? Trill issue.
Burr cones stuck? Mill issue
90
It just amazes me how bad this franchise was handled. How many more franchises can fans save? Time to hook up Claude to Star Trek 25th Anniversary. Cant wait to generate missions based on tv show and have actual conversations with crew mates.
This felt like the trailer if ykyk
4
324
The type of meal Luke Skywalker was having
I have got to get myself that nifty lil doo-dad. I know a certain someone else who'd love to have it.
1
1
149