HNHacker News
TopNewBestAskShowJobs

mightybyte

3,114 karma · joined October 20, 2007

[ my public key: https://keybase.io/mightybyte; my proof: https://keybase.io/mightybyte/sigs/W3DaSte19QuydDeQO-lgB6CMP8yGPfwbdK6Jx-9k34M ]
submissionscomments

The Design and Implementation of a Concurrent Bloom Filter

youtube.com·1 pts·mightybyte·
0

The Benefits (not Features) of Programming with Haskell

robb.weblaws.org·2 pts·mightybyte·
0

How to Get a Haskell Job

softwaresimply.blogspot.com·3 pts·mightybyte·
0

Measuring Software Fragility

softwaresimply.blogspot.com·4 pts·mightybyte·
0

BuckleScript: compiling one OCaml module into one readable JavaScript module

youtube.com·1 pts·mightybyte·
0

A founder's perspective on 4 years with Haskell

baatz.io·347 pts·mightybyte·
195

Analyzing Programs with Z3

youtube.com·5 pts·mightybyte·
0

Functional Reactive Programming for Natural User Interface

youtube.com·2 pts·mightybyte·
0

NSW government to track citizen location in 30 minute increments

zdnet.com·1 pts·mightybyte·
0

When Haskell is Faster than C (2013)

paulspontifications.blogspot.com·69 pts·mightybyte·
86

C◦mp◦se :: Conference Melbourne CFP

composeconference.org·2 pts·mightybyte·
0

Parallel Algorithmic Differentiation for OCaml

youtube.com·1 pts·mightybyte·
0

Liquid Types for Haskell

youtube.com·2 pts·mightybyte·
0

Ionide and the State of F# Open Source Environment

youtube.com·1 pts·mightybyte·
0

Fun with GHCJSi – Control Your Browser with a Haskell REPL

youtube.com·2 pts·mightybyte·
0

Easy Native GUIs in Haskell, Today

youtube.com·2 pts·mightybyte·
0

Cryptography and Verification with Cryptol

youtube.com·1 pts·mightybyte·
0

Typed Routing with Continuations

youtube.com·2 pts·mightybyte·
0

Web Dev with Fn

youtube.com·1 pts·mightybyte·
0

Improving Type Error Localization for Languages with Type Inference

youtube.com·1 pts·mightybyte·
0

Everything You Wanted to Know About F# Active Patterns but Were Afraid to Ask

youtube.com·3 pts·mightybyte·
0

Worst Practices Should Be Hard

haskellforall.com·3 pts·mightybyte·
0

Augmenting Haskell's type system with the power of the Z3 theorem prover

youtube.com·5 pts·mightybyte·
0

Chaos Engineering at Jet

youtube.com·2 pts·mightybyte·
0

Composing Network Operating Systems

youtube.com·3 pts·mightybyte·
0

Partial Derivatives of Regular Expressions

youtube.com·3 pts·mightybyte·
0

Dynamic Typing in GHC

youtube.com·4 pts·mightybyte·
0

Add a type parameter! One 'simple' design change, a panoply of outcomes

youtube.com·2 pts·mightybyte·
0

The Intersection of Machine Learning, Types and Testing

youtube.com·2 pts·mightybyte·
0

Translating Haskell to Hardware

youtube.com·3 pts·mightybyte·
0
← PreviousPage 2 of 5Next →