kaymanb

6 ms·

1.
by kaymanb 2y ago
Very cool! I implemented some shared-memory atomic snapshots in Rust [0] and also did my best to take automated testing very seriously. I started out using loom [1], the library mentioned in the article, but latter switched to shuttle [2].
2.
by kaymanb 3y ago
I see this as typical of organizations that value creating a more inclusive environment for their developers. Also, for what it's worth, Jenkins changed their terminology to use "agent" instead of slave in 2020 [0]. These eff
3.
by kaymanb 3y ago
I've been working on implementations of classic algorithms in distributed computing, and used Turmoil for testing correctness in message-passing / HTTP systems [0]. Overall, my experience has been positive. When it works, it'
4.
Telegraphy(en.wikipedia.org)
2 points by kaymanb 3y ago|0 comments
5.
by kaymanb 3y ago
I've only seen the first four episodes, but they are fantastic. It is incredible how from ages 7 to 14 to 21 to 28 some individuals seem to barely change at all, whereas others appear to be a completely different person in each episode
6.
by kaymanb 3y ago
Very cool! Reminds me of the Trans European Alpine Route (TEAR) someone put together a few years ago. https://www.mountainsandme.ca/tear-overview
7.
by kaymanb 3y ago
I'm not really up to date, but a couple recent papers that I found interesting were: In theoretical distributed computing, The Space Complexity of Concencus From Swap [0] solves a problem that has been open for a couple decades, and
8.
by kaymanb 4y ago
What does the diversity of the groups have to do with anything? Trans people are (in general) oppressed in today's society, and the be perpetrators of that oppression are (in general) cis people. It should follow that trans folk findin
9.
by kaymanb 4y ago
I have seen the most positive change from being more compassionate towards myself. It is so easy to put pressure, shame, and negativity onto yourself, to a degree that you never would for anyone else. It has been very helpful at times to as
10.
by kaymanb 4y ago
Disjoint-Sets have a very cool implementation whose amortized time complexity is extremely slow growing. It is not quite constant, but even for a disjoint-set with as many elements as there are particles in the universe, the amortized cost
11.
by kaymanb 5y ago
I was on the CDT this year and heard about these guys. It's a crazy accomplishment! I know I was not expecting them to finish all three.
12.
by kaymanb 5y ago
I think it's interesting that we seem to equate CS Theory being hard with involving sophisticated math. Are there any examples of concepts in Theory that are considered hard, but not because of their dependence on math? The article see
13.
by kaymanb 6y ago
I also found this to be one of these articles weak points. The author (rightfully) argues that what bankers do is difficult , and so it makes sense that they are compensated for it. But they also use this as an excuse for the finance indus
14.
by kaymanb 6y ago
The article answers this. "I don’t know many poor, or working class, or female, or struggling-to-be-taken-seriously folk who would show up at the inauguration of our 46th president dressed like Bernie." Given the importance of the
15.
by kaymanb 6y ago
> Not so sweet? The blindness I see, of so many (Bernie included), to the privileges Bernie represents. What does not being blind to this privilege look like? I agree that there is an angle to read Bernie and his mittens as an example
16.
by kaymanb 6y ago
> Our aim is to rival peer-reviewed journals in terms of the rigor and thoughtfulness in how we review research before publication. I can see how this might be frustrating for academics working within Google. The field already has system
17.
by kaymanb 6y ago
If her goal was to perform research that would positively impact AI that runs in production, then taking a position at Google doesn't seem like the worst idea. Especially with since their stated principles [1] seem to fit that agenda.
18.
by kaymanb 6y ago
I really like that there is active research being done in this area. It's interesting to see a constructivist lens applied to teaching concepts in computer science, and I would agree with the author that Dijkstra's insistence on a
19.
by kaymanb 6y ago
I think that Berkley's Diversity Oath is not excluding people based on ideology, but rather based on their ability to do the job. Berkley seems to have taken the stance that part of being employed at the university means making contrib
20.
by kaymanb 6y ago
I can't put my finger on it, but there must be a name for this kind of logic. I think pgs arguments have more sustenance than just this, but it still rubs me the wrong way. I'll give an (extreme) example below. 1. Make a statement
21.
by kaymanb 6y ago
I would also argue that the intersection of people who become quants / found successful startups and did so despite having a real shot at becoming a professor is pretty small. My only real data points are my own graduate school experie
22.
Bloomsday(en.wikipedia.org)
1 points by kaymanb 6y ago|0 comments
23.
by kaymanb 6y ago
The comments, anecdotes, and historical context he gives the papers are by themselves a great read, especially if you're even somewhat familiar with the results. The comments on #12, which introduces the Bakery Algorithm [1] are a grea
24.
The Writings of Leslie Lamport(lamport.azurewebsites.net)
157 points by kaymanb 6y ago|10 comments
25.
by kaymanb 6y ago
Funny, I'd say that writing proofs is a lot like building an airplane, and software engineering might be far away from both. In writing a proof, you provide an argument that justifies some claim is true. Your argument has to be airtigh
26.
by kaymanb 6y ago
Only somewhat related, but I recently found out that the dev who created Finite State Machine Designer [1] (which I used extensively in my undergrad) is Evan Wallace, the CTO of Figma. [1] http://madebyevan.com/fsm/
27.
Wallpaper Group(en.wikipedia.org)
2 points by kaymanb 6y ago|0 comments
28.
by kaymanb 7y ago
I think I fall into the "don't get it" category. Could you explain what I should be taking away from this? I understand that being at the leading edge has benefits, but it's not feasible to understand the state-of-the-ar