-- Example usage:
let clause1 = Set.fromList [1, 2] -- represents (x1 ∨ x2)
let clause2 = Set.fromList [-1, 3] -- represents (¬x1 ∨ x3)
let formula = Set.fromList [clause1, clause2]
-- Decompose the formula
let (nonBlocked, blocked) = decompose formula
It sounds like you were a bootstrapped solo founder in all of these cases? That’s the riskiest path, there are lots of other ways to navigate a career in startups that are not quite so brutal in odds or in emotional toll. (In the United States at least)
I have had a decently long career in startups (closing in on 30 years) and never once was a founder, in part because I always wanted to make a decent salary. Being an early employee at a decently funded startup has been a great tradeoff for me and my family. Even if all the equity over the years had amounted to nothing, I’d still have had few reasons to regret this path.
Yeah all bootstrapped, that's correct. And you're absolutely right, it just makes growing/building unreasonably hard at the beginning because the only funds you have are your own, and it's prohibitively expensive to run ads for the first 100k users when self-funded. The crux with investments always seemed to be the shift of power around the second or third raise for those who weren't runaway successes, when founders start to realize that pressure is now coming from two or three sources, self-worth, investors and possibly clients that were sold on promises and now want to see them implemented. In any case, I agree that being not the first but among the first dozen of employees can be a rewarding and fulfilling choice, it shields from the harshest fire but also allows enough flexibility financially to move on the job as well as in your private life, I'd guess.
I’ve never heard anyone else mention this before, but same here. Incredibly painful. It was 25 years ago and I still wince whenever I see one of those nubs.
Great example. I just tried it with a few LLMs and got horrible results. GPT-4o got a ton of them wrong, GPT-1o got them all correct AFAICT but took 1m50s to do so, and Claude 3.5 Sonnet said “Here's the text with straight quotes converted to curly quotes” but then returned the text with all the straight quotes intact.
I’m very surprised all three models didn’t nail it immediately.
Mediapipe makes hand tracking so easy and it looks SO cool. I did a demo at PyData NYC a couple of years ago that let you rotate a Plotly 3D plot using your hand:
That iGesture pad was a life saver when I was using a PC at work. I eventually switched to Mac and got used to their trackpad gestures, although I still change the settings to enable 3-finger click-and-drag like the iGesture.
