hwayne

33 ms·

391.
by hwayne 6y ago
plz stop nerdsniping me More seriously, I'd love to see this modeled in Promela/Spin. There was a go bug a while back where I reproduced it in TLA+ and someone else reproduced it in Spin, and I personally liked the Spin solution a
392.
Submarine Cable 101(www2.telegeography.com)
3 points by hwayne 6y ago|0 comments
393.
Goblin Bet: Bet on DnD Monsters(goblin.bet)
3 points by hwayne 6y ago|0 comments
394.
The Deadlock Empire(deadlockempire.github.io)
1 points by hwayne 6y ago|0 comments
395.
Henry Ford, Innovation, and That “Faster Horse” Quote (2011)(hbr.org)
1 points by hwayne 6y ago|0 comments
396.
One company reshaped, and kind of ruined, the viral video landscape (2018)(mashable.com)
1 points by hwayne 6y ago|0 comments
397.
February 30 Was a Real Date (2008)(timeanddate.com)
2 points by hwayne 6y ago|0 comments
398.
by hwayne 6y ago
I'm planning on writing this up into a full blogpost, so people won't have to deal with the terrible Twitter UI. I just like Twitter because it's a fun writing constraint ¯\_(ツ)_/¯
399.
The Unix Tree(minnie.tuhs.org)
2 points by hwayne 6y ago|0 comments
400.
The Pocket Calculator Race(vintagecalculators.com)
4 points by hwayne 6y ago|1 comments
401.
by hwayne 6y ago
You wound me greatly, but yes, evil users are cool too. I mean, I first learned vim keybindings from Kile. (People keep telling me I'd love emacs, and I have nothing against it, I just happened to learn vim first.)
402.
by hwayne 6y ago
IMO neither of them are really "Swiss army knives". Multitools are pretty bad as actual tools, we just use them because carrying around an entire toolbox is nuts. It's not the versatility that makes them good, it's the f
403.
by hwayne 6y ago
There are many ways to use vim and they're all valid! People who love barebones vim are cool. People who love configuring vim are cool. People who love embedding vim in larger programs are cool. We have way more in common than vim squa
404.
by hwayne 6y ago
No lie one of the big inspirations for this post came from a time I was stuck waiting in a bank teller line where both tellers were blocked by long tasks, and noticing how much faster things moved when one of them freed up.
405.
The Debunking Handbook 2020 [pdf](climatechangecommunication.org)
1 points by hwayne 6y ago|0 comments
406.
by hwayne 6y ago
> is supposed to mean exactly. If your predicate makes some data invalid, it's just not representable in the refined type. Author here. It's representable; the type checker has to prove it never happens in practice. This requir
407.
by hwayne 6y ago
Same UI, first two puzzles are exact same, and it's the person who was plagiarized in the first place (Tronix → Treksit). Yup, this another plagiarism.
408.
by hwayne 6y ago
About three months ago someone posted a netflify app called "Treksit", which was flagged for plagiarization: https://news.ycombinator.com/item?id=24050651 Both "Treksit" and "Blocks" use the sa
409.
The “phantom reference:” How a made-up article got almost 400 citations(retractionwatch.com)
1 points by hwayne 6y ago|0 comments
410.
What we talk about when we talk about color(biorxiv.org)
2 points by hwayne 6y ago|0 comments
411.
by hwayne 6y ago
At the level that you're usually writing specs, the bugs you discover are often very serious ones, such as dropping data.
412.
by hwayne 6y ago
I think you dramatically underestimate the benefit of writing a formal model! I've run classes where we've managed to discover bugs in the client's actual production system with an afternoon of modeling.
413.
by hwayne 6y ago
The point was to do demonstrate the bug while staying close to the Go example. You can find the bug at a higher level, but then there's the objection that you're not finding the bug in the Go code, you're finding the bug in s
414.
by hwayne 6y ago
> That's a worthy idea to learn. I've actually found it quite trivial, which means I'm either too smart or too dumb to understand it. Or that Andrew is very good at explaining things :)
415.
by hwayne 6y ago
One thing I've started doing with my PRISM models that helps a lot is using formulas as a poor man's strings. Like instead of // Not-yet-flipped: 0, heads: 1, tails: 2 I'd do formula unflipped = 0;
416.
by hwayne 6y ago
I once asked a logic professor I'm friends with and he spent fifteen minutes ranting about large ordinals and reverse mathematics and non-absolute logics. Apparently there is some incredibly weird stuff at the fringes of logic that w
417.
by hwayne 6y ago
This is inexcusable.
418.
I Have a Super-Power Memory(medium.com)
1 points by hwayne 6y ago|0 comments
419.
by hwayne 6y ago
The Hubble schedule is planned out roughly a year in advance. If any unexpected astronomical events occur, they use discretionary time to study it.
420.
When Hubble stared at nothing for 100 hours (2015)(nationalgeographic.com)
611 points by hwayne 6y ago|224 comments

More ›