u/mrcanada66

The current state of code generation is making me appreciate theorem provers so much more

The current state of code generation is making me appreciate theorem provers so much more

watching the industry just blindly accept whatever an autoregressive model spits out is honestly exhausting. we are basically building software on top of glorified autocomplete that just guesses the most likely next token. it feels like mainstream programming is completely forgetting that correctness actually matters

Been messing around with Lean 4 lately just to cleanse my palate. There is something incredibly satisfying about a compiler that just flat out rejects your code if the mathematical proof doesn't close. it forces you to actually design the semantics properly instead of just brute-forcing edge cases with a dozen unit tests

tbh it feels like the only way we survive this flood of probabilistic slop is if we heavily shift our language ecosystems toward strict formal verification as a baseline. was reading earlier about how alternative architectures (like EBMs) are actually starting to max out these theorem proving benchmarks, which is kinda fascinating to see

maybe there's hope that the future of PL design won't just be about generating plausible strings of text, but actually building languages and environments where invalid state transitions are mathematically impossible to express. anyone else diving into proof assistants lately just to escape the madness?

u/mrcanada66 — 1 day ago

How many trucks can one dispatcher realistically handle before everything starts falling apart?

We're a small carrier, been growing slowly over the last couple years. Started with 3 trucks, now at 9, probably adding 2-3 more this year if things keep going.

For a while I was dispatching everything myself. At 3-4 trucks it was fine, stressful but manageable. At 6 it started getting sloppy, missed a check call once, had a driver sitting for almost 2 hours because I was tied up with something else. Not acceptable.

Now I've got one other dispatcher helping but we're both feeling it again as we've grown. The question is, do we hire a third person or do we get smarter about how we're doing things?

I've seen some carriers run way more trucks per dispatcher than we do. Saw one case study where they had something like 150 trucks and 15 dispatchers which is a 10:1 ratio. We're nowhere near that efficient. Makes me think we're either doing something very wrong or they're using tools that are doing a lot of the work for them.

So what's realistic? What's your trucks-per-dispatcher ratio and do you feel like it's sustainable? And if you've found ways to stretch that ratio without burning people out, genuinely curious what changed.

reddit.com
u/mrcanada66 — 3 days ago

Selling our Bethesda house fast with only 7 weeks till the move

Tbh im kinda freaking out rn about selling our place... Weve lived in our 4 bed 3 bath house in Bethesda MD for the last 5 years. Its around 2200 sq ft with a finished basement we turned into a playroom and a nice deck out back for bbqs. We did new flooring and painted everything neutral but the hvac is getting old and the roof needs attention soon.

We listed it with a realtor last month at 625k hoping for a quick sale in the dc area but showings have been super slow and the two offers that came in were 40k under with repair demands we just dont have time for. Now with baby #2 due in 3 months and my wifes job moving us to philly everything feels rushed af.

Btw my coworker recommended 4 Brothers Buy houses after he used them last year for his place in silver spring. He said the cash as-is offer and fast close made everything way less stressful.

Has anyone here sold in the Bethesda or dc area on a tight timeline? Did you stick with the realtor or go the cash buyer way? What actually worked without losing too much money? Pls drop any advice... rlly dont wanna mess this up.

u/mrcanada66 — 12 days ago

I just found a candidate in a spreadsheet from 4 months ago. Help.

Somehow a perfect fit applied in January, got lost because their status was stuck on “phone screen scheduled” that never happened. They just accepted another offer last week.

I feel terrible.

Do you have any workflows, automations, or even just weekly rituals to catch these ghosts? I’m thinking about a “stale candidate” report every Friday. But also wondering if better software would just flag this automatically.

reddit.com
u/mrcanada66 — 13 days ago

kinda frustrated rn. I made this basic image filter bot for server emotes and enough servers added it that my hosting bill is actually getting annoying

Figured id just charge like 50 cents for a batch of high-res generations. set up stripe and immediately realized im an idiot because their flat 30 cent fee eats the entire transaction. it basically costs me money if someone pays me with a weird card

Honestly thinking about just ripping out the fiat stuff and doing pure crypto tips. looking at how seamless bonk coin tips work across social platforms just makes me realize how broken traditional banking rails are for indie devs

what do u guys use for micro-transactions... do u just force users to buy $5 credit packs they dont want or is there some better way to do this without getting killed on fees

reddit.com
u/mrcanada66 — 14 days ago

Hey everyone, with everything going on lately regarding RIFs and the overall shift in the federal landscape, I know a lot of us are looking at the private sector for the first time in years (or decades). The biggest hurdle is usually: How do I even translate 20+ years of GS-speak into something a corporate recruiter understands? I found a really detailed federal employee career transition story that I think is worth a read for anyone feeling stuck. It follows a 25-year USDA employee who managed to land a $140K private sector role, and it isn't just top-level advice, it actually walks through the mechanics of the move.

A few things that stood out:

  • The Resume Flip: How they took a massive, 5-page federal resume and condensed it into a private sector format that actually highlights ROI.
  • The Negotiation: The initial offer was $130K, but they negotiated it up to $140K.
  • The Mindset Shift: Realizing that specialized agency knowledge is actually a massive asset in the private sector if you frame it correctly.

It’s a narrative-style read, not a sales pitch, which I appreciated. If you’re trying to figure out your next move or just want to see a real-world example of how the other side handles hiring, you can check out the full breakdown here: federal employee career transition.

The timing is tough for a lot of folks right now, but seeing a successful outcome makes the jump feel a lot more doable.

Has anyone else here made the jump recently?

What was the hardest part of the transition for you, the resume, the interviews, or just the culture shock?

reddit.com
u/mrcanada66 — 16 days ago
▲ 465 r/dogs

Do you let your dog sleep in your bed or keep that as a boundary?

I feel like once you allow it there’s no going back 😭 but also it’s so hard to say no when they just want to be close

curious what people actually do and if it causes any issues long term

reddit.com
u/mrcanada66 — 19 days ago

There are a few things I used to genuinely look forward to-hobbies, small routines, even just random stuff during the day. Lately I still do them, but the feeling is different. Not bad, just kind of flat. Like I’m going through the motions without really getting the same enjoyment out of it. I keep wondering if it’s just a phase or if I need to change something. Has anyone gone through something similar?

reddit.com
u/mrcanada66 — 21 days ago
▲ 109 r/taxpros

I swear my clients just route all my firm emails directly to the trash bin. sitting on like 40 completed returns right now that I cant e-file because they just won't sign teh authorization form.

Email reminders are basically useless this year. I got so sick of wasting my afternoons manually dialing them that I finally just hooked up a twilio ringless voicemail integration to push a bulk audio reminder to their phones without me having to actually speak to anyone. it definitely helped clear out a chunk of the backlog, but I still have these stubborn holdouts who just vanish into thin air the second their return is prepped

how is everyone else handling this? are you guys just automatically extending anyone who doesn't sign within 48 hours or do you have some secret workflow I don't know about? I just can't keep babysitting adults at this point in the season

reddit.com
u/mrcanada66 — 24 days ago