hwayne

10 ms·

61.
Orbit Spirograph (2019)(redblobgames.com)
2 points by hwayne 2y ago|0 comments
62.
William Cowper and the Age of the Earth [pdf] (2019)(charlespetzold.com)
28 points by hwayne 2y ago|22 comments
63.
by hwayne 2y ago
Huh, TIL!
64.
by hwayne 2y ago
All four "mother languages" (FORTRAN, ALGOL, COBOL, LISP) predate ASCII and EBCDIC. All four of them use whitespace as a token separator.
65.
by hwayne 2y ago
A more interesting example would be f == CHOOSE f \in [Int \X Int -> Int]: \A <<x, y>> \in DOMAIN f: f[x, y] = f[y, x] Which is expressing that `f` is some commutative function, but we don't care which. Could be
66.
by hwayne 2y ago
I do think there's an interesting and deep connection between the world of model checking and the world of planning (as most often done in logic languages).
67.
by hwayne 2y ago
None of the replacements I've seen so far are mature enough for me to recommend them over TLA+.
68.
by hwayne 2y ago
Also, being popular is not the same as being useful. Mathematica and Verilog aren't on the TIOBE either, and Verilog is a lot more important to society than Logo!
69.
by hwayne 2y ago
Every time I see a new TLA+ replacement my first thought is "Oooh this will be good for the 99% of normal stuff people do with TLA+." Then I look through some of the specs I've written with clients and find the one absolutel
70.
by hwayne 2y ago
> The [\EE] operator is needed to explain the theory underlying how TLA+ is used. There's another reason to potentially support \EE: it's needed to refine specs with auxiliary variables. Currently, if an abstract spec has `aux_
71.
by hwayne 2y ago
One of the big problems with using TLA+ is that it verifies your design, not your code. People are looking for ways to link the two. Formal proof works but is too expensive for most businesses. The most promising approach I've seen so
72.
Decision Logs(buttondown.com)
4 points by hwayne 2y ago|0 comments
73.
by hwayne 2y ago
No offense taken! Sphinx gives a lot of options for customizing pdf formatting, but I'm not thinking about that just yet. Step one is to get the book's content done, step two is to revise the content, step three is to revise it ag
74.
by hwayne 2y ago
Yes, and this sucks.
75.
by hwayne 2y ago
Yeah, the rst lsp server (esbonio) can autocomplete and jumpto references in your project. I believe the markdown lsp can do this too, but only to a limited extent.
76.
by hwayne 2y ago
Absolutely. I prefer rst for the use case of writing a technical book , because of the specific benefits I get from its additional complexity. My blog is still in markdown.
77.
by hwayne 2y ago
In addition to what everybody else is saying about the value of having a spec at all, there's a lot of exciting developments now in using a spec to generate a test suite, which is way simpler than using a spec to generate production co
78.
by hwayne 2y ago
Protip: instead of writing (a.resource in b.resource and a.action in b.action and a.principal in b.principal) or You can write { a.resource in b.resource a.action in b.action a.principle in b.principle } or
79.
All 24 puzzles ranked by difficulty(4nums.com)
1 points by hwayne 2y ago|0 comments
80.
Some Meteorite Realities(sites.wustl.edu)
4 points by hwayne 2y ago|0 comments
81.
by hwayne 2y ago
I'm genuinely surprised that the Picat is so much faster than the C++. I assumed it would be easier to write, but also slower.
82.
by hwayne 2y ago
tl;dr 1. Wind farms are producing more power than they can transmit out, so a lot of it is wasted 2. When electricity generation exceeds demand, wind and solar farms are the first to be turned off, because they're easier than nonrenewa
83.
Why are Midwest grid operators turning away wind power?(eia.gov)
3 points by hwayne 2y ago|2 comments
84.
by hwayne 2y ago
https://p-org.github.io/P/
85.
by hwayne 2y ago
Notoriously, the 737 Max bug that killed a bunch of people was a software patch over a serious mechanical design flaw , and Boeing decided it was easier to make the software engineers fix it than redesign the entire plane.
86.
F (2006)(nsl.com)
145 points by hwayne 2y ago|16 comments
87.
The Rapid Growth of America's Truffle Industry(ambrook.com)
1 points by hwayne 2y ago|0 comments
88.
Let Them Teach(fool-of-swords.beehiiv.com)
1 points by hwayne 2y ago|0 comments
89.
by hwayne 2y ago
A tempering machine costs hundreds of dollars and wouldn't fit in my apartment kitchen. The hand mixer was ten dollars and fits in my drawer. Also, this is advice to anyone who wants to try it for themselves. Isn't "buy a han
90.
by hwayne 2y ago
In my experience, it's three things: 1. You need really good surface contact to get the diffraction on, so you can only really apply it to flat, uncurved surfaces 2. You need to apply it while the chocolate is hardening . If you'

More ›