whaaswijk

9 ms·

31.
by whaaswijk 5y ago
In theory there could be such a library but in practice I don’t think there is. Maybe because maintaining something like the STL is a non-trivial task.
32.
by whaaswijk 5y ago
Interesting. Could you provide such an argument?
33.
by whaaswijk 6y ago
With current EDA tools they already are :-)
34.
by whaaswijk 6y ago
I was pushing back to your assertion that viewing sex as entertainment is primarily a modern and western viewpoint. Certainly the west’s view of sex has changed in the past 100 years. However I would not be surprised if the current view is
35.
by whaaswijk 6y ago
I’m not a historian but aren’t those tightly controlled cultural practices a relatively modern invention? Certainly the ancients were known to have orgies (presumably for fun). People have observed how the 20th century was for many people a
36.
by whaaswijk 6y ago
For some of us the idea of cutting into ourselves is definitely not a no brained. I could easily see myself be paralyzed by fear in such a situation.
37.
by whaaswijk 6y ago
How can you be sure that the new science won't have any practical applications?
38.
by whaaswijk 7y ago
Unfortunately I don't have enough karma to flag your comment. This kind of low-effort trolling adds absolutely nothing IMO.
39.
by whaaswijk 8y ago
One industry where SAT solvers get used frequently is in Electronic Design Automation. One comment already mentions its use in hardware/software verification. It turns out we can also use them to find efficient representations of Boole
40.
by whaaswijk 8y ago
If you're interested in open source hardware, you might find the WOSET workshop interesting. It is a new workshop on open source EDA, related to this DARPA project. See http://scale.engin.brown.edu/woset/
41.
by whaaswijk 8y ago
The website isn’t up yet, but it’s organized by Prof. Sherief Reda at Brown University. You can contact him for inquiries.
42.
by whaaswijk 8y ago
I just got back from the Design Automation Conference in San Francisco. It is one of the major EDA conferences. Andreas Olofsson gave a talk about the silicon compiler. There was serious discussion about open source EDA. As far as I could t
43.
by whaaswijk 8y ago
Somehow the main article link is behind a paywall for me, but the mobile one is not: https://mobile.nytimes.com/2018/06/20/technology/deep-learni... (YMMV)
44.
by whaaswijk 9y ago
It's worth noting that Scott Aaronson has commented on previous work by the same authors: https://www.scottaaronson.com/blog/?p=2212 . At the time, he was convinced that their approach wouldn't scale. I'
45.
by whaaswijk 10y ago
Typically in hardware design you'd use combinational equivalence checking (CEC) to formally prove that a synthesized design is correct. See https://en.wikipedia.org/wiki/Formal_equivalence_checking . In CEC you use
46.
by whaaswijk 11y ago
For more on program synthesis and verification see also the Leon system by Viktor Kuncak et al.[1] [1] http://lara.epfl.ch/w/