hwayne

46 ms·

241.
by hwayne 4y ago
With power query, named tables, linked data types, lambdas, and xlookup, you can hack structs into excel, letting you write `Person("John").age` in formulas.
242.
by hwayne 4y ago
It's not a perfect solution to your problem, but you can simplify multistep calculations with LET. So it would be: LET(X, A1, Y, X*2, Y+1) I just checked and the Evaluate Formula button can sequentially step through a LET. Tho
243.
by hwayne 4y ago
Yes but did you know about the yoga pose button
244.
by hwayne 4y ago
In excel you can convert any range into a dedicated table object, which lets you give it a proper name, select rows/columns (with ctrl/shift+space), and use column names in formula (with `tablename[columnname]`). You can also load
245.
Interview with a Firefighter(falsemachine.blogspot.com)
1 points by hwayne 4y ago|0 comments
246.
The Other Drug War: Inside the World of Counterfeit Viagra(melmagazine.com)
1 points by hwayne 4y ago|0 comments
247.
by hwayne 4y ago
Google answers?
248.
by hwayne 4y ago
This is an argument against taxonomic classification, not categories per se. In Wikipedia, pages can belong to multiple categories, and categories can have multiple parent categories. It's more complex than single hierarchical taxonomi
249.
Custom Google Search Engines(programmablesearchengine.google.com)
1 points by hwayne 4y ago|0 comments
250.
by hwayne 4y ago
An example off the top of my head would be writing a serializer/deserializer pair and explicitly saying they are inverses of each other, as opposed to having to implicitly say that in a round-trip property test. Another idea would be b
251.
by hwayne 4y ago
I don't need you to be able to deduce what the J is doing. What I need is to write the computation as fast as possible so I can get the answer I need to know and then get back to whatever else I was doing. If I was writing something
252.
by hwayne 4y ago
Did you know Inform is now (finally) open source?! https://github.com/ganelson/inform
253.
by hwayne 4y ago
glee
254.
by hwayne 4y ago
Forgetting about SPARK was a big whoops for me. (Lots of formal verification languages are based on contracts, like SPARK, Frama-C, and Dafny. I'm interested in uses for contracts that aren't just formal verification, though!)
255.
by hwayne 4y ago
Liquid Haskell is much closer to contracts than Idris, if you haven't heard of that already. I'm interesting in exploring contracts independently of types, though.
256.
by hwayne 4y ago
Languages like Dafny and Ada show that you can contracts are great for augmenting a good type system by letting you express really complicated invariants that are tough to express in types. I didn't include them because they're
257.
by hwayne 4y ago
Dafny is a really fun language and I've done some stuff in it before. I was really sad when MSR stopped working on it, but I think AWS has picked up the slack?
258.
by hwayne 4y ago
> Second, pricing structures for software can get very weird. So we’re only looking at things that have a flat cost per license and aren’t “contact us for a sales quote” where they just charge whatever they think you can afford. And it m
259.
by hwayne 4y ago
Fun followup: turns out that `__subclasshook__` interacts with the new pattern matching. I'm writing a short piece on that now.
260.
by hwayne 4y ago
Yeah, Z3 is the first thing I'd try here, then maybe MiniZinc if that didn't pan out.
261.
by hwayne 4y ago
I've written about this before! https://www.hillelwayne.com/post/tla-golang/ That said, I think the Spin syntax is slightly closer to native Go, making it easier to write specs. At least that's what pe
262.
by hwayne 4y ago
The main difference is that I know how to write TLA+ and don't know how to write Spin I have the Spin book and intend to read it, but I keep having other stuff come up. It's mocking me, I know
263.
by hwayne 4y ago
Leslie Lamport doesn't say what TLA+ standards for on his personal webpage, and I felt I had to pay him his respects (Real answer: it's something most of us tell you if you ask, but "Temporal logic of actions" makes it s
264.
by hwayne 4y ago
The ISO standard for Z says it must be pronounced "Zed", even if you're American, and as revenge I now pronounce Event-B as "Event-Bed"
265.
by hwayne 4y ago
God, that's embarrassing. I just merged your fix.
266.
by hwayne 4y ago
I'd be interested in hearing their opinions! Do you know more about their contexts? Like if they're in academia, industry, what kinds of things they're doing, etc. (I don't think it's necessarily the case that they
267.
by hwayne 4y ago
In my teaching experience, more people find it easier to start with PlusCal. That said, I plan to also add a lot of topics and examples that are pure TLA+.
268.
by hwayne 4y ago
It's also fine to send me an email (h@mymainwebsite) or a twitter DM or whatever, I just presented the issue so people know they can send feedback and that I'll accept it.
269.
A History of the PostgreSQL Elephant Logo(vertabelo.com)
1 points by hwayne 4y ago|0 comments
270.
by hwayne 4y ago
Part of the problem is that there's a difference between having the skill of math and having the skill of applying math to real-world problems, and the latter 1) isn't taught, and 2) is really hard to teach.

More ›