ahelwer

10 ms·

61.
by ahelwer 3y ago
1. Cows, like humans, only produce milk after giving birth 2. These cows, in order to get pregnant in the first place, are artificially inseminated (and it isn't a very nice process) 3. What do you think happens to the offspring if it&
62.
by ahelwer 3y ago
Media literacy time, folks! Does the corporation have an incentive to lie about its reasons for closing this place? > An update to our story on the REI closure: OB has learned that workers at the Portland store were actively working to u
63.
by ahelwer 3y ago
No, it would not. You avoid burnout by not having a full-time job in addition to whatever personal development you are pursuing.
64.
by ahelwer 3y ago
There's no product you can buy that will make you a better software engineer other than time off from work so you can explore, learn, and develop according to your own interests.
65.
Nintendo hacker Gary Bowser will be in debt to the company for rest of his life(eurogamer.net)
7 points by ahelwer 3y ago|1 comments
66.
Inlining SVGs for Dark Mode(ahelwer.ca)
51 points by ahelwer 4y ago|16 comments
67.
Using TLA+ at Work: Designing a Snapshot Coordination System(ahelwer.ca)
11 points by ahelwer 4y ago|0 comments
68.
Pseudocode Showdown: Python vs. PlusCal and TLA+(ahelwer.ca)
5 points by ahelwer 4y ago|0 comments
69.
by ahelwer 4y ago
Right! My original quip about children was more about financial constraints than anything. Not trying to shame you or anything, I think using the Amazon windfall to work on FOSS is absolutely the dream and one of the best possible ways you
70.
by ahelwer 4y ago
A lot of generalities don't really apply to you if you were one of the two other people building Amazon.com in Bezos' garage: https://www.wired.com/1999/03/bezos-3/
71.
by ahelwer 4y ago
Sorry, I should have specified: my post was specifically concerning FOSS development. Of course people inside large companies developing proprietary software can attain a high level of knowledge about whatever field even if they have famili
72.
by ahelwer 4y ago
The key to understanding this world is that nearly everybody does these things full time for their own interest. Trying to accumulate this level of expertise on nights & weekends is an express train to burnout. On the other hand if your
73.
by ahelwer 4y ago
Nobody in "the public" is losing faith in banks. FDIC covers everybody up to $250k. If you have more money than that and can't be arsed to split it up into multiple accounts that's on you.
74.
by ahelwer 4y ago
I don't think it's nearly clear enough at this point to trust a politically-loaded statement like that, straight from the horse's mouth. There are a lot of ways to obscure this, through inflating the money supply or deferring
75.
by ahelwer 4y ago
Well, the bar is in hell. Nobody should be using flat slab keyboards. They are objectively terrible for your wrists. Absent space constraints like inclusion in a laptop this flat design is a nonstarter.
76.
Google Groups has been left to die(ahelwer.ca)
507 points by ahelwer 4y ago|294 comments
77.
by ahelwer 4y ago
I was recently bitten by this ghost of the past in the present day! Since the TLA⁺ project is trying to join the Linux Foundation, they've recently started enforcing Developer Certificate of Origin (DCO) signing on all of the repos und
78.
by ahelwer 4y ago
Yes, I did evaluate an algorithmic approach similar to the grandparent's approach, although was thinking about it in terms of ruleset normalization (which I think is equivalent to the the algorithm described). I even put a good amount
79.
by ahelwer 4y ago
Oh hey, I worked on this a while back. At the end of 2021 I also did work for Teleport extending this same approach and applying it to Role-Based Access Control rules. This was interesting because it exercised Z3's string analysis capa
80.
by ahelwer 4y ago
No, they say they do it for the change of scenery and nobody else is there.
81.
by ahelwer 4y ago
You pay a few hundred bucks a month to rent a wework desk so that you have an excuse to commute somewhere?
82.
by ahelwer 4y ago
I'm surprised that nobody here has yet pointed out that if you have the money for the alternatives, installing new long-lived infrastructure or appliances that directly generate emissions by burning natural gas is unconscionable. Addin
83.
by ahelwer 4y ago
They're predominantly owned by real estate interests, which is also why they bang on the crime & homelessness issue so relentlessly.
84.
by ahelwer 4y ago
Yeah, it is even possible to do this sort of analysis in domains with exponentially-distributed outcomes?
85.
by ahelwer 4y ago
This is exactly how it is in the rock climbing community. People still die, including very experienced people. You only need to mess up a rappel weight transfer once, but you have to execute it successfully thousands of times over the cours
86.
by ahelwer 4y ago
Okay, is unleaded avgas mandated? Is it dramatically more expensive than leaded? For how long should I look up and see a GA aircraft knowing it's some rich idiot spraying my neighborhood with lead?
87.
How Big Tech rewrote the nation’s first cell phone repair law(grist.org)
2 points by ahelwer 4y ago|0 comments
88.
Can sanitizers find the two bugs I wrote in C++?(ahelwer.ca)
4 points by ahelwer 4y ago|0 comments
89.
by ahelwer 4y ago
std::string wasn't included in the hardcoded emscripten imports, as I said. The point of the blog post is that even though things are working as they are supposed to, it is easy to write weird bugs. I hope we can at least agree that ma
90.
Two C++ bugs I found(ahelwer.ca)
3 points by ahelwer 4y ago|2 comments

More ›