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
250 karma · joined May 4, 2018
About Radix
Radix Labs is a Series Seed startup with 2.5M raised. Our product brings compiler-like abstractions to the process of working in a biology lab.
We are building the future of the biotechnology development process with a first-principles approach, developing a programming language, compiler, and distributed runtime to automatically turn lab protocols into robot or lab technician instructions. This means that the 60% of a PhD biologists day that is spent doing manual labor can be reduced drastically, pushing the means of biotech production down to biohackers and streamlining the inefficiencies of large pharmaceutical companies with one proven software solution.
About the Role
We're looking for Scala engineers. We are a 100% scala shop, JS, JVM, and Native. We leverage features of Scala to provide value to customers.
If any of this sounds like something you want to work on - reach out to dhash@radix.bio. If it sounds like something you want to learn, or you only cover some of the skillset, still do reach out.
- Distributed systems - Akka/Kafka/Hashicorp stack
- Frontend Development - Scalajs-react
- Notebook computing interface for biologists to write lab protocols as programs
- Version control
- We're bringing protocol + associated data versioning to users, and we'd love to work on a nice implementation for biologists.
- Compilers - Recursion-Schemes/Linear type system/functional interpreters
- Constraint-based solver integration (SMT/heuristic/MIP) based optimizer
- NP-complete problem solver CVC4(SyGuS)/Z3/CPLEX/OR-Tools/metaheuristics
- Synthetic Biology
- High-throughput screening
- DNA-based assays
- Process optimizationThe NLP stuff, fine, but those kinds of queries tokenize extremely well
In PL, there's a massive amount of awesome languages that pretty much existed for the purpose of writing a PhD or doing something funky with semantics. It takes /really really/ long to get into an industrial strength language. Look at Rust for example, it's the first incidence of real Algebraic types for a non-gc language (excluding C++), letting you do wonderful things like https://github.com/lloydmeta/frunk
Some of my favorites are
https://www.propellerheads.com/en/reason (i contend it's a fantastic programming language for the task)
[1] https://en.m.wikipedia.org/wiki/Clean_(programming_language)
About Radix
Radix Labs is a Series Seed startup with 2.5M raised. Our product brings compiler-like abstractions to the process of working in a biology lab.
We are building the future of the biotechnology development process with a first-principles approach, developing a programming language, compiler, and distributed runtime to automatically turn lab protocols into robot or lab technician instructions. This means that the 60% of a PhD biologists day that is spent doing manual labor can be reduced drastically, pushing the means of biotech production down to biohackers and streamlining the inefficiencies of large pharmaceutical companies with one proven software solution.
About the Role
We're looking for Scala engineers. We are a 100% scala shop, JS, JVM, and Native. We leverage features of Scala to provide value to customers.
If any of this sounds like something you want to work on - reach out to dhash@radix.bio. If it sounds like something you want to learn, or you only cover some of the skillset, still do reach out.
- Distributed systems - Akka/Kafka/Hashicorp stack
- Frontend Development - Scalajs-react
- Notebook computing interface for biologists to write lab protocols as programs
- Version control
- We're bringing protocol + associated data versioning to users, and we'd love to work on a nice implementation for biologists.
- Compilers - Recursion-Schemes/Linear type system/functional interpreters
- Constraint-based solver integration (SMT/heuristic/MIP) based optimizer
- NP-complete problem solver CVC4(SyGuS)/Z3/CPLEX/OR-Tools/metaheuristics
- Synthetic Biology
- High-throughput screening
- DNA-based assays
- Process optimizationTBH, the right answer is always due to the users use case (Amortization and housekeeping really help with purely functional data structures), and benchmark data.
Its facilities for program construction over the integers, sets, bitvectors, and reals make it an ideal candidate for this, especially when leveraging nu-Z3 for optimization over these.
With Z3, we’re able to construct optimized routes for robots extremely fast (especially with extensions over the techniques described in [1]), and as a direct result, derive value for our customers as execution time is important when dealing with expensive equipment.
A couple of my friends over at trail of bits do the work that saurabh does at synthetic minds, and their code is open source so you can take a look at it. [2]
It’s a decently active field of research, with solvers trading blows in the annual SMT-COMP [3]. check out their instances to see how people really use them.
[1] https://papers.nips.cc/paper/8233-learning-to-solve-smt-form...
[2] https://www.trailofbits.com/services/blockchain-security/
At Radix, we build a compiler and operating system for the computer architecture expressed by a biology lab. We do this to allow biologists to disseminate their work in a runnable form to other labs. We're currently hiring Scala engineers to help us with this. Our entire stack is in Scala, from our compiler to our graphical UI for biologists to our device drivers. We interface with sensors and lab equipment to provide abstractions that allow biologists to write their lab protocols as formal programs, constraining the acceptable environmental conditions in their protocol, which we check at compile time to provide error logs and insight into why protocols may not reproduce.
If you enjoy formal logic, theorem provers, user experience design, or driver development, we really like those too. Parts of how our product works are technically awesome, with some cutting edge research into theorem prover optimization and heuristic generation making our product possible.
We've just cleared our Seed round, with investors like MIT's The Engine, Y Combinator, and Firstminute capital. We're a rapidly growing team that could use a person like you. Even if you don't meet all of our requirements, we're happy to talk and see if we can work together.
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'm not sure what the program will emerge as - still in flux. Most of what other comments bring up is [IIRC from talking about this]
The website is intended as a fixed figment for the current goals of shannon labs seems like a nice thing to have to show investors
1. funding
- 1 funded, website is tool
- plan for 10 to alpha
1a. Only 100k?
- funding spreads this way
- about enough for a year in pure software
- could be more but start and grow
2. motivation
- More research is good!
- Unsure about equity free :(
- In a position to secure funding for a cool project
3. relationship to academia
- I'm sure many of these will materialize with academic connections
3a. publishing req?
- I'm not sure most people will write a paper and submit to a journal. I've seen a lot of beautiful JS that has been put together as a research artifact. I like this?
- I'm pretty sure collab with academia is open
Hope this helps
The "for biologists" and "downloading drugs" only account for a small part of what we do. We use those phrases to get the point across, but you're totally right, they do a lot of stuff that we can automate such as parameter sweeps over a protocol to empirically increase the yield of the reaction.
We use normal conditionals, so if you can write an if statement with the desired branches, we can execute that. Both paths are statically allocated, currently there is only limited support for deferred routing. It's something i'm working on!
The compbio folks are cool, our product is written in Scala to easily integrate with their existing pipelines.