DEV Community

loading...
DrBearhands profile picture

DrBearhands

404 bio not found

Joined Joined on  github website

Education

MSc. Artificial Intelligence

Silliest reasons that a job interview process ended?

Silliest reasons that a job interview process ended?

Reactions 1 Comments 1
1 min read
Where to find charitable dev work?

Where to find charitable dev work?

Reactions 3 Comments 3
1 min read
Idris2+WebGL, part #13: Slow and frustrating progress

Idris2+WebGL, part #13: Slow and frustrating progress

Reactions 6 Comments
5 min read
Idris2+WebGL, part #12: Linear algebra with linear types... not great

Idris2+WebGL, part #12: Linear algebra with linear types... not great

Reactions 6 Comments
4 min read
Idris2+WebGL, part #11: No linearity with monadic errors (for now)

Idris2+WebGL, part #11: No linearity with monadic errors (for now)

Comments
3 min read
Idris2+WebGL, part #10: Implicit arguments & monad transformers

Idris2+WebGL, part #10: Implicit arguments & monad transformers

Reactions 6 Comments
3 min read
Idris2+WebGL, part #9: Ensuring uniforms belong to bound program

Idris2+WebGL, part #9: Ensuring uniforms belong to bound program

Reactions 3 Comments
7 min read
Idris2+WebGL, part #8: Baby's first dependent type

Idris2+WebGL, part #8: Baby's first dependent type

Reactions 6 Comments
4 min read
Idris2+WebGL, part #7: Short code quality update

Idris2+WebGL, part #7: Short code quality update

Comments
2 min read
Idris2+WebGL, part #6: Bye IO monad, hello GL monad

Idris2+WebGL, part #6: Bye IO monad, hello GL monad

Reactions 1 Comments
6 min read
Idris2+WebGL, part #5: Linearity continued

Idris2+WebGL, part #5: Linearity continued

Comments
4 min read
Idris2+WebGL, part#4: Troubles with linearity

Idris2+WebGL, part#4: Troubles with linearity

Reactions 1 Comments
7 min read
Idris2+WebGL, part#3: Preliminary performance test

Idris2+WebGL, part#3: Preliminary performance test

Reactions 2 Comments
2 min read
Idris2+WebGL, part #2: some animation

Idris2+WebGL, part #2: some animation

Reactions 2 Comments
3 min read
Idris2+WebGL, part #1: Hello triangle, first thoughts

Idris2+WebGL, part #1: Hello triangle, first thoughts

Reactions 8 Comments
4 min read
Every bug is a type error

Every bug is a type error

Reactions 7 Comments
10 min read
The trias politica needs an IT branch

The trias politica needs an IT branch

Reactions 5 Comments
3 min read
Haskell for madmen: Wrapping up and closing remarks

Haskell for madmen: Wrapping up and closing remarks

Reactions 11 Comments
6 min read
Haskell for madmen: Contravariant input

Haskell for madmen: Contravariant input

Reactions 7 Comments
6 min read
Haskell for madmen: Reflection and cleanup

Haskell for madmen: Reflection and cleanup

Reactions 10 Comments
10 min read
Haskell for madmen: Connecting to a database

Haskell for madmen: Connecting to a database

Reactions 12 Comments
8 min read
Haskell for madmen: Types of TODO

Haskell for madmen: Types of TODO

Reactions 10 Comments
8 min read
Haskell for madmen: Hello, web server!

Haskell for madmen: Hello, web server!

Reactions 15 Comments
7 min read
Haskell for madmen: Hello, monad!

Haskell for madmen: Hello, monad!

Reactions 56 Comments 6
8 min read
Yo dawg, I heard you like functional purity...

Yo dawg, I heard you like functional purity...

Reactions 3 Comments
2 min read
Haskell for madmen: Setup

Haskell for madmen: Setup

Reactions 26 Comments 9
3 min read
"Haskell for madmen" started

"Haskell for madmen" started

Reactions 4 Comments 3
1 min read
Interest in a Haskell tutorial?

Interest in a Haskell tutorial?

Reactions 67 Comments 8
1 min read
Resources for functional programming

Resources for functional programming

Reactions 22 Comments 2
2 min read
A broad look at functional programming

A broad look at functional programming

Reactions 15 Comments 1
8 min read
Revisiting old topics

Revisiting old topics

Reactions 7 Comments 3
1 min read
All programming languages suck!

All programming languages suck!

Reactions 17 Comments 3
10 min read
5 courses in 1 week, a retrospective

5 courses in 1 week, a retrospective

Reactions 7 Comments
2 min read
Making (non)sense of blockchain

Making (non)sense of blockchain

Reactions 14 Comments 3
3 min read
Ending the series

Ending the series

Reactions 9 Comments 4
1 min read
Nondeterminism in purely functional languages?

Nondeterminism in purely functional languages?

Reactions 5 Comments 13
2 min read
Lazy, eager and greedy evaluation

Lazy, eager and greedy evaluation

Reactions 6 Comments 9
3 min read
Invoices 2: functors and monads in action

Invoices 2: functors and monads in action

Reactions 10 Comments
4 min read
Pure vs impure FP

Pure vs impure FP

Reactions 10 Comments
2 min read
Is Haskell bad for FP?

Is Haskell bad for FP?

Reactions 61 Comments 66
1 min read
Invoices in Elm, part 1

Invoices in Elm, part 1

Reactions 13 Comments
10 min read
Functional program boundaries

Functional program boundaries

Reactions 10 Comments 3
2 min read
Category theory illustrated by RA2 prism towers

Category theory illustrated by RA2 prism towers

Reactions 36 Comments 1
3 min read
Functors, Monads and better functions

Functors, Monads and better functions

Reactions 22 Comments 8
6 min read
Make your own types

Make your own types

Reactions 8 Comments
2 min read
Dividing by zero

Dividing by zero

Reactions 12 Comments 4
3 min read
Types as propositions, programs as proofs

Types as propositions, programs as proofs

Reactions 39 Comments 7
7 min read
Should programming languages be made for IDEs rather than humans?

Should programming languages be made for IDEs rather than humans?

Reactions 32 Comments 51
2 min read
Would you pay someone to find a job you love?

Would you pay someone to find a job you love?

Reactions 21 Comments 13
1 min read
Microservices on Google App Engine

Microservices on Google App Engine

Reactions 15 Comments
4 min read
Scaling down periodic tasks on Google Compute Engine.

Scaling down periodic tasks on Google Compute Engine.

Reactions 9 Comments 4
8 min read
loading...