hwayne

26 ms·

301.
by hwayne 5y ago
It's inspired by TLA+, but it uses a different semantics, I think.
302.
by hwayne 5y ago
This is amazingly cool.
303.
Wikidata Query Builder(query.wikidata.org)
1 points by hwayne 5y ago|0 comments
304.
Spectacle – A Language for Writing and Checking Formal Specifications in Haskell(awakesecurity.com)
7 points by hwayne 5y ago|0 comments
305.
by hwayne 5y ago
I started looking up the provenance of the quote, then stopped, because there's an entire wikipedia section on how it never happened: https://en.wikipedia.org/wiki/Thomas_J._Watson#Famous_attrib...
306.
by hwayne 5y ago
IMO it's probably better to teach the use of applicatives first and then monads.
307.
by hwayne 5y ago
I've already printed one exceptional prompt to canvas and mounted it on my wall. I'm a real artist! (Also, making a bunch of postcards would be sick)
308.
by hwayne 5y ago
> I found myself wanting to more actively steer. Changing the prompt in the middle of a generation to "take a right turn" would be interesting to experiment with. I've tried this! You get weird stuff. I think of it like
309.
by hwayne 5y ago
> "We had no idea it was carnivorous," says Sean Graham, a botanist with the University of British Columbia. "This was not found in some exotic tropical location, but really right on our doorstep in Vancouver. You could li
310.
by hwayne 5y ago
Hot dang I forgot to actually add in the link and now it's too late to edit so here it is [1] https://colab.research.google.com/drive/1wkF67ThUz37T2_oPIuS...
311.
by hwayne 5y ago
Ping me on twitter or email? Both should be in the colab notebook.
312.
by hwayne 5y ago
What you could try doing is use a notebook that lets you start with an initial image [1], chunk that image, and generate a an image for each chunk. It wouldn't be unified, but it could come out interesting. To make bigger images, I&#x2
313.
by hwayne 5y ago
I think we're in a "lightbulb" moment: the tech has gotten good and convenient enough that a lot of people are having the same ideas. I mean, heck, I don't know anything about AI or art and I was still able to make my
314.
by hwayne 5y ago
Same thing with trees. It definitely seems to struggle more with individual objects you'd expect to see in lots of photos. It's really good at locations, though. (Some of that might also be what I hardcoded. Most notebooks give a
315.
by hwayne 5y ago
I've seen a bunch of people share their AI art generators, so I figured I'd get in on the action and share mine. This is based on the notebooks written by AI artists like advadnoun and Katherine Crowson. The difference between tho
316.
Show HN: Free, Accessible AI Art Generator(colab.research.google.com)
169 points by hwayne 5y ago|31 comments
317.
by hwayne 5y ago
It's possible to make the notebook UX a little better using IPython widgets and the form mode. That's what I did for ` https://is.gd/artmachine `. You have to strip away a lot of the power to make the UX nicer, bu
318.
by hwayne 5y ago
Yeah I'll admit it was an off-the-cuff quip that really isn't all that accurate. I don't put as much time into editing the newsletter as I do into my proper essays, so stuff that I'd normally polish out gets through. I d
319.
by hwayne 5y ago
I got into software specifically because I didn't want to go to physics grad school, and now I read more papers than I ever did in physics. Man plans, God laughs.
320.
by hwayne 5y ago
Purely from an industrial perspective, interest in formal methods tends to split two ways: 1. Verifying really nasty algorithms, the kind you see in cryptography and embedded systems and stuff where the bugs are triggered by horrific race
321.
by hwayne 5y ago
I'll put a quick link in
322.
by hwayne 5y ago
This is a cool system!
323.
by hwayne 5y ago
> My two cents: Software is a form of literacy not engineering. One good bridge looks and acts almost exactly like every other bridge in the world. Good software that does a given job can be unrecognisable compared to other good softwar
324.
by hwayne 5y ago
I think it's common in a lot of fields. It's def prevalent in medicine, for example: people are skeptical of any research on doctor behavior.
325.
by hwayne 5y ago
Agreed; a while back I interviewed of ex-trad, now-software engineers and found out that 1. Engineering is a lot more personal and creative than we think 2. A large amount of software development is very similar to trad engineerin
326.
by hwayne 5y ago
One of my favorite online discoveries is Fastenal labs, where they talk about properties of screws. Here's one that says your machine can break because you put a stainless steel screw through an aluminum plate: https://www.f
327.
by hwayne 5y ago
Yeah, if you can do it economically, having a single source is preferable.
328.
by hwayne 5y ago
> is that it's hard to tell if a particular C++ or Rust implementation conforms to the spec. You can use either TLC's graph output or simulation mode to generate lots of TLA+ traces. Then you write an orchestrator that reads th
329.
Emotional attachment to robots could affect outcome on battlefield(washington.edu)
1 points by hwayne 5y ago|0 comments
330.
by hwayne 5y ago
One important piece of historical context this article doesn't talk about: a lot of the undefined behavior in C is there for compatibility, not for optimization. C came out in 1972 while the first official C standard is from 1989. The

More ›