tombert

9 ms·

151.
by tombert 2mo ago
My goal wasn't to completely quit. The goal was to keep my caffeine intake less than or equal to 400mg (the FDA's recommended max) and to cut it off at 2pm. I didn't cold-turkey cut off caffeine. I stopped getting acute head
152.
by tombert 2mo ago
It very much depends on the brand. I was initially buying the Monster drinks at a local gas station where I believe they were $3.25. Eventually I transitioned to the Aldi brand which was I think around $1.
153.
by tombert 2mo ago
I was drinking the sugar free energy drinks, so I wasn't getting a ton of sugar. Still not saying it's healthy but it wasn't because of too much sugar.
154.
by tombert 2mo ago
Probably. As I said, I've always hated coffee so I've never really had any desire to consume large quantities of it, so I can't speak to that. I will say, though, energy drinks do become a relatively expensive addiction.
155.
by tombert 2mo ago
There certainly is kind of a different culture around people who chug energy drinks compared to people who drink coffee. Energy drinks in the fridge at a job sort of signals that this company is part of that "grindset hustle culture&qu
156.
by tombert 2mo ago
I have always hated coffee so I've previously had some kind of energy drink in the morning for weeks at a time. Those suckers are bizarrely addictive. It's one thing to have one shortly after you wake up, but I found myself cravi
157.
by tombert 2mo ago
Yeah, I guess I always just found it miserable to work on. When I worked at a BigCo [1], our project was a big monorepo in Java which had 60,000 folders , and I don't remember how many files. It was decidedly no fun to work on, becaus
158.
by tombert 2mo ago
I don't agree with that though. I've written plugin systems for stuff I've worked on, and it didn't require nearly the same level of verbosity. Granted, I usually have done this with sockets instead of directly using JVM
159.
by tombert 2mo ago
I've said this before but I'll say it again: The worst part of Java is Java programmers. For most of my career, I thought I hated Java, primarily because every piece of Java code I had ever worked with was overly verbose across a
160.
by tombert 2mo ago
They are cotton but it’s cheap thin ones I bought at Walmart.
161.
by tombert 2mo ago
When the apocalypse happens, I am sure of two things: 1) I will be able to play DOOM on something. 2) I will be able to watch Bad Apple on something. I suppose there are worse fates.
162.
by tombert 2mo ago
I've never used Lean, but as stated Isabelle has a code exporter as well; I was working with the Haskell exporter when I was doing grad school, and obviously Haskell is directly executable. It's a pretty neat thing, though it&#x2
163.
by tombert 2mo ago
I'm not familiar with any general purpose TLA+->regular code exporter. I think there are a few proof of concepts but as far as I'm aware nothing that has been seriously suggested for production. I do audit the code it genera
164.
by tombert 2mo ago
Yeah, I've always been that "annoying math guy" for pretty much my entire career. This has always irritated me, because I'm not entirely sure what engineers feel that they bring to the table over a high school kid who bo
165.
by tombert 2mo ago
> Thanks for this fantastic extension of my example, because that is still incomplete Input [2, 1, 3] and output [1, 1, 1]. Matches your revised spec, still wrong. Yeah, I agree with the sibling comment somewhat that you'd probably
166.
by tombert 2mo ago
I don't really have sensory issues and I don't get too picky about the textures of clothing. As I said, never actually diagnosed as autistic, I think I'm more borderline if I am. Anyway, I'll take a look at some linen s
167.
by tombert 2mo ago
I've more or less gotten used to the jeans. Probably due to a combination of undiagnosed autism and some very mild bullying in middle school (due to me growing rapidly and people making fun of me for wearing "short shorts"),
168.
by tombert 2mo ago
I have not. Do you have any recommendations for specific brands? I'll order a bottle and try it out.
169.
by tombert 2mo ago
I've only ever smoked like a quarter of one cigarette when I was eighteen and I thought it was fucking gross so I never picked up the habit (fortunately). That said, I'm a pretty pale dude and my sister has gotten skin cancer twic
170.
by tombert 2mo ago
Probably true, I've just only ever worked in the software engineering world so I cannot speak about anything else.
171.
by tombert 2mo ago
I mean, just for this particular example, you could certainly also add a check that the sorted list is the same length as the input list. That said, your broader point is more or less correct. I think the advantage of something like TLA+ i
172.
by tombert 2mo ago
I've been a big nerd for formal methods for quite awhile, and have been broadly unsuccessful in getting employers onboard. I have pretty cynical opinions as to the "why" of this, largely involving the fact that the vast major
173.
by tombert 2mo ago
Something I learned awhile ago is that most people that I consider "celebrities" really aren't that famous, and as such are generally pretty happy to respond to emails. In ~2014 I sent an email to Joe Armstrong (one of the
174.
by tombert 2mo ago
I've never used it on Kobo (as I don't have one), but I felt that for the Kindle KOReader it was a significantly better experience than the stock experience. It's easy to sync stuff with Calibre, you can choose any TTF font,
175.
by tombert 2mo ago
Agreed. I have a blog, I don't really promote it, and no one reads it. Now, there is an argument that there's nothing on my blog worth reading, and yeah there might be truth to that, but regardless my traffic is on the order lik
176.
by tombert 2mo ago
I haven't noticed too much of a power increase in my backyard solar farm after cleaning, but I do notice a very significant increase by weeding the surrounding stuff. Even a pretty small amount of shade will very significantly red
177.
by tombert 2mo ago
“Faux” might not be the right word. “Forced” might be better. Sort of like the aggressive happiness you see in TV shows for very small children.
178.
by tombert 2mo ago
I just don’t feel like the faux optimism actually works for anyone who has worked in the corporate world long enough. I, along with a lot of people I know, have developed a certain amount of cynicism around the entire corporate world, and s
179.
by tombert 2mo ago
When I was pretty young, I saw someone (I don’t remember who actually) show me that an odd number squared is always odd [1]. I remember thinking it was the coolest thing ever to be able to know properties for all numbers, without having t
180.
by tombert 2mo ago
I certainly have done my time with writing CRUD apps, but for the last decade or so, I've primarily focused on distributed systems stuff (usually involving Kafka or ZeroMQ or something), which is a bit more architecturey and I occasion

More ›