mamidon

This may be a cynical take, but as someone with 10+ years of experience why should I care if companies are too short sighted to value and train juniors?

That's ... an interesting observation. I've found that LLMs work great when they can check their work and have a clear notion of what correct looks like. e.g. a good test suite they can rely on.

I'm sure a REPL helps out with this sort of thing quite a bit!

I fully agree that most people won't be comfortable if they're the "only" man or woman at the party.

How do you suggest evening genders out? Inviting couples is fine by definition; but I only really know single men. It seems odd for me to randomly invite single women I don't really know.

How would you handle the case where you want to trace 100% of errors? Presumably you don't know a trace is an error until after you've executed the thing and paid the price.

It's more accurate to say those do the boilerplate of memory access necessary for complex types for you. You're still basically limited to integers and floats.

But when you think about it, isn't that basically true for native languages?

Can you elaborate a bit on codeowners, I've not heard of that kind of solution before.

No joke, I used to work there until they went RTO. But I liked the product. It's crazy that our politicians can trade like they do.

100% I've had great success inviting people to dinner parties and such. This works great for people I already know.

I've tried hosting public groups, with partial success. Have you got any ideas there?

I've tried posting events on local Facebook groups, mostly. But my experience is that very few people are actually active online and willing to physically do something.

To be clear; you're supposed to have a separate shell open where you do these steps?

MM, interesting idea.

Thank you!

What are planets, in this context?

Sounds like cool tech, but why would I want to run Linux in my browser? What use cases does this enable?

Thanks

I'm living this life right now; except we baked in notions of Assets/Liabilities/Income/Expenses into our ledger logic. Only to realize our customers don't care and just want to do whatever it is they've been doing.

Most of the time I've just had a completely sleepless night; I normally just muddle through with a lot of coffee. I've tried taking a sick day for this sort of thing, but I found that puttering around at home just threw me off even further.

Ever since my divorce I feel like I'm just going through the motions, work, sleep, socialize. Without a home life it just feels empty, but what decent woman would want someone like me with my baggage? Even if I found someone, which seems impossible these days, with no-fault-divorce why would it be any different this time around?

In the FAQ they indicate they raised funds from investors.

Oh undoubtedly they'll make a nice editor; I just think it's a tough thing to monetize when there's so many 'good enough' free editors around.

How are these guys funding a startup for the Nth text editor?

If they have the guts to try this full time I suppose there's really no excuse for me not having a go at my own thing.

That sounds like a great manager. Not really the same situation as what I saw.

I suppose this makes more sense, though I feel like if they'd put in even a partial effort they could've dragged it out much longer than they did. Boom, FAANG wages at boring mid-west companies.

Correct, I myself am fully remote.

I only mean AWOL in that they aren't available/online/in-office. So just cashing paychecks without actually doing anything.

Potential technical co-founder here. Also on the y combinator matching platform...

If I landed on your profile, I'd probably send a match invite. The only things I'd want to talk about are A: what's the business model and B: what's the sales/marketing/funding plan.

Location: Poulsbo, WA

Remote: yes

Willing to relocate: no

Technologies: 10 years+ full stack web development experience. Typescript/C#/Java/Rust/various SQL etc.

Résumé/CV: https://docs.google.com/document/d/1FrkzZndkzPrplAYS7VkkIMsM...

Email: mamidon@outlook.com

Most recently I'm at Autopilot, having built their premier product from $0 revenue to $3 million and counting. If you've seen the Nancy Pelosi stock tracker, that's us.

I'm focusing on smaller startups, it's the sort of environment where I can have the most impact by building products that deliver business value.

Unless you happen to be just down the road from me, I'm remote only. Not willing to commute to Seattle or relocate.

Hey memset,

If you're still looking for someone, I'd be happy to chat with you. I'm an ex-Facebook engineer, but I'd be willing to consider a part time thing if it covers my living expenses.

I've got my own startup idea I'd like to execute on, but I'm not willing/crazy enough to eat through my savings for X years.

I remember that too, the ambiguity for me was how their fuzzing was good enough to explore an arbitrary state space efficiently enough.

The deterministic hypervisor is 'simple' enough albeit a pretty heavy engineering lift.

I would suggest that our geopolitical precariousness comes from our social divisions. I doubt Russia, China, or anyone else will ever be able to invade.

But if the losers of globalism keep getting purposefully shortchanged I can more easily foresee them deciding to change the system by force.

I don't think that's a terribly likely outcome, but much more likely than Red Dawn.

I can see how determinism can be achieved (not easy, but possible), and I can see how describing a few important system invariants can match 100's or 1000's of hand rolled tests, but I'm having a hard time understanding how it's possible to intelligently explore the inputs to generate.

e.g. if I wrote a compiler, how would Antithesis generate mostly valid source code for it? Simply fuzzing utf8 inputs wouldn't get very far.

Have you considered adding a 3-months-every-year option? I wonder if automating the second type of customer would provide you a lift in revenue.

Very interesting, I like the idea of frctl. Signed up.

Maybe I'm not so smart.. but why would USD stable coins command a premium over USD itself?

I totally get why the official exchange rate is probably bogus, but I would expect the black market rate to be the same for USD/USDT/USDC