News aggregator

Hiring: Haskell at Biotech Startup!

Haskell on Reddit - Wed, 01/13/2016 - 12:26pm

Hello /r/haskell!

I'm an engineer at Karius, a "stealth-mode" biotech startup in Menlo Park, CA, and we're looking to hire a few folks to write software (and we use Haskell!).

Currently only hiring locally or with relocation (though that could change in the future, so feel free to get in touch regardless!).

We are a team of crazy biologists, engineers, data scientists and clinicians on a mission to change forever the way infectious diseases are diagnosed and treated. We face incredibly interesting challenges in software engineering, machine learning and molecular biology, as we push the limits of diagnostics and genomic technologies. We're hiring computational biologists, software engineers and data scientists.

If you're a software engineer, we're looking for experience in front-end, back-end, web development, intrastructure, devops, bioinformatics, and machine learning. We have a varied list of challenges; we build large data processing pipelines to analyze data from in-house DNA sequencers, separate the signal from the noise and extract what we need, and visualize this in ways that are helpful for scientists and doctor; we build web apps and tools for biologists and doctors to use to plan, conduct, and analyze experiments; we work closely with molecular biologists to analyze data generated by these experiments and develop novel computational biology methods.

Our technology stack, as of right now:

  • Python (for bioinformatics)
  • Rails (for one backend codebase in maintenance mode)
  • React and ES6 (for front-end interfaces)
  • Haskell (for infrastructure and new development)
  • Backed by AWS and Docker

We just put our first large Haskell application into production and are planning on continuing with Haskell; this is an opportunity to use Haskell at a cutting-edge biotechnology startup.

If any of this sounds exciting to you, please don't hesitate to get in touch with us by emailing Greg Stock at gstock@kariusdx.com.

Take a look at our job postings on AngelList for more detail, though they won't say much about Haskell.

You may know me personally from my work with IHaskell and my hindent style; Greg Weber is also here at Karius, whom you may know from his contributions to Persistent, Yesod, and Shelly.

submitted by NiftyIon
[link] [5 comments]
Categories: Incoming News

I'm learning calculus for the first time. If you were me, how would you use Haskell to get calculus-fu and increase Haskell-fu?

Haskell on Reddit - Wed, 01/13/2016 - 10:06am

Hey guys,

TLDR

Is there a library or set of libraries that I could use in the context of the course, i.e., in class, and during homework, that would effectively let me do everything in haskell?

Specifically, I want to be able to write programs for my problem sets/homework, and write my class notes in haskell. Bonus points if I could graph stuff inside of GHCI (I could try to implement one but...I would prefer to just have one to refer to).

----------Context-------------

I have a practical question. I've completed Brent Yorgey's CIS194, so I have a decent grasp of Haskell up to and including Monads/Applicative-Functors.

I have a bachelor's in philosophy, and have taken a few logic courses. I returned to school last fall, with the intention of taking as many math courses as I possibly can as preparation to enter a graduate program in logic/cs.

I'm taking Calculus I for the first time. I want to do everything I possibly can to do well in the course, but also get better at haskell. How would I do this?

Last semester, I took pre-calculus, and while I could implement a lot of the functions, I eventually ran into problems with taking square roots, imaginary numbers, trigonometric functions, etc.

I know how to use emacs, tex, and bash.

submitted by socratesthefoolish
[link] [19 comments]
Categories: Incoming News

Proposal: Add Semigroup and Monoid instances for (:~:)

libraries list - Wed, 01/13/2016 - 7:58am
These are not likely to be *useful*, but they fall easily into the general bucket of "exactly one sensible instance exists". instance Semigroup (a :~: b) where r <> _ = r instance a ~ b => Monoid (a :~: b) where mempty = Refl mappend r _ = r
Categories: Offsite Discussion

GHC.Generics and instances of Functor, Applicative, etc?

libraries list - Wed, 01/13/2016 - 3:28am
I'm using GHC.Generics and have noticed that the data types defined there don't have instances of the standard classes (at least not defined in that module), such as Functor, Applicative, Foldable and Traversable. It'd be very useful to be able to rely on such instances, so that one can define instances of custom types via instances of the generic types. (Hopefully, the compiler can remove most or all conversion overhead) Is there any reason not to add these generic instances?
Categories: Offsite Discussion

Proposal: Add Peano numbers to base

libraries list - Mon, 01/11/2016 - 7:29pm
I have seen these redefined many times now. Examples: https://hackage.haskell.org/package/numericpeano-0.2.0.0/docs/Numeric-Peano.html#t:Nat https://hackage.haskell.org/package/numeric-prelude-0.4.2/docs/Number-Peano.html#t:T https://hackage.haskell.org/package/type-fun-0.0.1/docs/TypeFun-Data-Peano.html#t:N https://hackage.haskell.org/package/number-0.1.1.0/docs/Data-Number-Peano.html#t:Nat https://hackage.haskell.org/package/Peano-0.0.4/docs/Data-Peano.html#t:Peano I often see them used as DataKinds. Too, operations on them can be lazy, which is sometimes useful. I filed a ticket: https://ghc.haskell.org/trac/ghc/ticket/11402 Discussion period: 2 weeks
Categories: Offsite Discussion

Eq1, Ord1, Show1: move from eq1, compare1, showsPrec1 to liftEq, liftCompare, liftShowsPrec

libraries list - Sun, 01/10/2016 - 3:08pm
In transformers-0.5:Data.Functor.Classes class methods like eq1 are replaced by liftEq. With transformers-0.4 I could define: data T a = complicated definition ... deriving (Eq, Ord, Show) instance Eq1 T where eq1 = (==) instance Ord1 T where compare1 = compare instance Show1 T where showsPrec1 = showsPrec In transformers-0.5 it seems that I have to implement Eq1, Ord1, Show1 instances manually. Is there some assistance to define eq1 and compare1 for an ADT? What are the use cases where eq1 was not powerful enough and liftEq is needed?
Categories: Offsite Discussion

suppress warning "Defined but not used: type variable ‘x’" in GHC-8.0

glasgow-user - Sun, 01/10/2016 - 12:57am
GHC-8.0 emits several new warnings of this kind: Defined but not used: type variable ‘x’ for declarations like type instance Snd x y = y Enthusiastically, I started to replace unused type function arguments by underscores, only to find out that older GHC versions do not accept that. With what option can I disable this warning? Or can it be removed from -Wall for now?_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users< at >haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users
Categories: Offsite Discussion

New gtk2hs 0.12.4 release

gtk2hs - Wed, 11/21/2012 - 12:56pm

Thanks to John Lato and Duncan Coutts for the latest bugfix release! The latest packages should be buildable on GHC 7.6, and the cairo package should behave a bit nicer in ghci on Windows. Thanks to all!

~d

Categories: Incoming News