dhash

9 ms·

61.
by dhash 7y ago
SAT/SMT hardness regression has come a long way, especially if you can insert profiling information for real instances. If this is a production model for the cloud, the engineer should have put some thought into the encoding as to expr
62.
by dhash 7y ago
Yeah I wish there was a better logic chart than [1], or at least one that I can give it something in MSOL and it can internally compile it to a representation in one of those logics. [1] http://smtlib.cs.uiowa.edu/logics.sht
63.
by dhash 7y ago
I write something similar for my own problems. Usually a single instance alone isn’t going to cut it, so we run a portfolio of solvers and treat it like a multi armed bandit problem as to choose which solver with its specific hyper paramete
64.
by dhash 7y ago
I have the first 3 points covered with resilio sync, wireguard, and running ZFS on a Linux district with full disk encryption. I would have all 4 if Linux supported newer fingerprint readers
65.
by dhash 7y ago
Radix Labs (YC S18) | Software Developer (frontend, backend, compilers, distributed systems) | Cambridge, MA, USA | ONSITE | Full time | $100k-150k + equity About Radix Radix Labs is a Series Seed startup with 2.5M raised. Our product bring
66.
by dhash 7y ago
http://fastsmt.ethz.ch/
67.
by dhash 7y ago
I'm pretty sure when they say AI-powered under "Smart scheduling", it's just turning scheduling into 3-SAT. The NLP stuff, fine, but those kinds of queries tokenize extremely well
68.
by dhash 7y ago
It's especially relevant in PL or Databases. DB2 did such foundational work in database theory, and Python 3.6's new dicts finally made some very simple database theory finally available to users. In PL, there's a massive amo
69.
by dhash 7y ago
It is! We compile down to TAPI/Autoprotocol JSON, and layer important features like a managed runtime and virtual memory for the users to take advantage of.
70.
by dhash 7y ago
Rust’s borrow checker was inspired by clean [1], which applied the same semantics to monads to allow in-place updates [1] https://en.m.wikipedia.org/wiki/Clean_(programming_language)
71.
by dhash 8y ago
Radix Labs (YC S18) | Software Developer (frontend, backend, compilers, distributed systems) | Cambridge, MA, USA | ONSITE | Full time | $100k-150k + equity About Radix Radix Labs is a Series Seed startup with 2.5M raised. Our product
72.
by dhash 8y ago
Eh, it’s the classic amortized approach. Whoever you ca “touch” the data and you’re right there already due to a lookup, it makes sense to amortize your data structure housekeeping IMO. TBH, the right answer is always due to the users use c
73.
by dhash 8y ago
We at Radix Labs (S18) use Z3 (and CVC4/SyGuS) heavily as a library to solve place-and-route problems for goal directed robot path planning problems. Its facilities for program construction over the integers, sets, bitvectors, and real
74.
by dhash 8y ago
ONSITE / Boston, MA / radix.bio / VISA SPONSOR / SCALA ENGINEER / 90-150k / EQUITY At Radix, we build a compiler and operating system for the computer architecture expressed by a biology lab. We do this to allo
75.
by dhash 8y ago
Please make one next to MIT - the fast casual food situation sucks now due to the construction. There's one food truck, a chipotle, and a clover and maybe a greek place within a reasonable distance from the campus.
76.
by dhash 8y ago
No, complete position independence is allowed and encouraged. People can put constraints on well location, like “use this plate”, but general allocation is handled by the compiler. If a well needs to be bearable, for example, that is alloca
77.
by dhash 8y ago
Hey, OP here. Parnian (in comments) is a friend of mine and the submitted piece requires some disucssion. I'm just happy it raised these questions. OFC these questions are good to answer, and if this succeeds it'll be cool. I&#x27
78.
by dhash 8y ago
Some concrete workflows are easy things like aliquotting and PCR, and as complex as PACE, a protocol for directed evolution. The "for biologists" and "downloading drugs" only account for a small part of what we do. We us
79.
Shannon Labs – $100K Fellowship to support independent researchers(shannonlabs.co)
176 points by dhash 8y ago|46 comments
80.
by dhash 8y ago
Thanks for the suggestion, I'll fix it now. The compbio folks are cool, our product is written in Scala to easily integrate with their existing pipelines.
81.
When your data model means something else(pathsensitive.com)
10 points by dhash 8y ago|0 comments