ahelwer

25 ms·

241.
Multi-Paxos in Python, Tested with Jepsen(emptysqua.re)
3 points by ahelwer 5y ago|0 comments
242.
by ahelwer 5y ago
It's plenty sharp. I'm typing this on the quest 2 right now. Hard to tell exactly but the virtual monitor seems to have resolution better than 1080p at least. I use 23" 4k monitors IRL so it's a downgrade in that respect
243.
by ahelwer 5y ago
I don't know, I really think we're at an inflection point with VR. People have realized nobody will buy a tethered headset, so things are either streamed over wifi from your computer or compute is on board; both work really well.
244.
by ahelwer 5y ago
This has happened. You can pick up an oculus quest 2 for $150-$200 on Craigslist in most major US metros.
245.
by ahelwer 5y ago
https://github.com/tlaplus-community/tree-sitter-tlaplus
246.
by ahelwer 5y ago
People (and myself) can rag on this website a lot but it really has changed the trajectory of my professional life. It’s where I: * first learned about CRDTs, kickstarting an interest in distributed systems * first learned about TLA+, kicks
247.
by ahelwer 5y ago
Looks great and much better than my piecemeal efforts, although I recommend linking to a specific commit of all.txt so you aren't opening up your browser's ublock origin filter list to arbitrary remote control. Like: https:/
248.
by ahelwer 5y ago
Look, I know there's negligible chance I'll be able to overcome your sunk cost of multiple years of attention and presumably many authored social media posts, but you really can just move on and nobody will actually care one way o
249.
by ahelwer 5y ago
Reading the news is, in my opinion, nearly diametrically opposed to investing in yourself. You will get a better understanding of current events (upon hearing of them from others, the best filter that money can't even buy) by reading h
250.
Russian Stove(en.wikipedia.org)
3 points by ahelwer 5y ago|1 comments
251.
by ahelwer 5y ago
I have no idea why they stopped making wikipedia the first or second result for a given topic. Seemed to happen a few years ago.
252.
by ahelwer 5y ago
Those in possession of blobs of data passing tests of statistical randomness must be punished. Send any of that statistically-random data over the web? That’s a punishin’.
253.
Biden splitting frozen funds for Afghan relief, 9/11 victims(apnews.com)
1 points by ahelwer 5y ago|0 comments
254.
What’s Next for Psychology’s Embattled Field of Social Priming (2019)(nature.com)
1 points by ahelwer 5y ago|0 comments
255.
by ahelwer 5y ago
It can but you only get a sqrt(n) speedup. Which is the same as halving the bits in the search space. Not trivial, but probably doesn't move it to tractable territory given appropriate key sizes.
256.
by ahelwer 5y ago
It really is wonderful. I was forced to wrap my head around it in the past year while writing a tree-sitter grammar for a language that supports Unicode. Calculating column position gets a whole lot trickier when the preceding codepoints ar
257.
by ahelwer 5y ago
I stayed away from VR for the past eight years but picked up an oculus quest 2 for $180 on craigslist the other day. Other than the mandatory facebook integration (hopefully a thriving jailbreak/homebrew ecosystem pops up) I am blown a
258.
by ahelwer 5y ago
Poor availability of introductory learning materials for grad-level study. Undergrad level stuff is pretty well covered by whatever MOOC you can imagine. But often for more advanced topics there is a large gap between what you know after an
259.
by ahelwer 5y ago
I suspect VR workstations will help with this. Many ergonomic constraints come from ease of mounting monitors at eye level. With VR this problem no longer exists. You can be in any position you want - lying down, standing, sitting cross-leg
260.
by ahelwer 5y ago
Sometimes I think peoples’ self-awareness (internal world, whatever you want to call it) makes them think they’re smarter or more competent than they are. My partner has a better memory than me and she will continually point out cases where
261.
by ahelwer 5y ago
Same for me. Find a niche, make blog posts introducing technical topics, make blog posts explaining your work. As long as you can afford to wait for a couple good contracts a year you’ll do fine. Textbooks are apparently even better but tak
262.
by ahelwer 5y ago
Sure. Possible sequences of events in a concurrent or distributed system. Model checkers in languages like TLA+ have to contend with this. Of course in the real world only a single sequence of events actually occurs, but you have to know th
263.
by ahelwer 5y ago
In competitive programming you could basically assume the pseudocode in a paper is not literally correct and requires some tweaking to work, despite a “proof” of its correctness. Particularly with string algorithms.
264.
by ahelwer 5y ago
I don't think that's quite true. It's like the difference between surveilling someone by tailing them and surveilling them with an automated network of cameras equipped with facial recognition. Scale matters. Much work (espec
265.
by ahelwer 5y ago
Why do people keep saying that managers solve the problem of existing in the same company as other managers as though that’s a compelling point?
266.
by ahelwer 5y ago
Your example of military not advocating for increased use of itself is… Obama ignoring the military advocating for increased use of itself in Afghanistan? I’ve read memoirs. Some interesting ones about the Vietnam war and how every military
267.
by ahelwer 5y ago
There’s a clear feedback loop between the military and the politicians, it is absolutely not a one-way street of control. This is the entire premise of the term military-industrial complex. Military will always advocate for itself to get mo
268.
by ahelwer 5y ago
People in coordinated groups do not necessarily require someone to sit around in meetings and send emails telling the rest of them what to do.
269.
by ahelwer 5y ago
Replying to emails and sitting in meetings thinking of the best way to tell other people how to do the actual work isn't work, no. Oh I forgot - we give the people who do this control over the employment of the people who do the actual
270.
by ahelwer 5y ago
So the problem managers solve is the problem of there being other managers?

More ›