DEV Community

DrBearhands profile picture

DrBearhands

404 bio not found

Education

MSc. Artificial Intelligence

Web Monetization debunked

Web Monetization debunked

8
Comments 1
15 min read

Want to connect with DrBearhands?

Create an account to connect with DrBearhands. You can also sign in below to proceed if you already have an account.

Already have an account? Sign in
The Abstract Syntax Tree

The Abstract Syntax Tree

3
Comments
5 min read
On automated versioning strategies for CI/CD pipelines

On automated versioning strategies for CI/CD pipelines

Comments
8 min read
Planning my own programming language.

Planning my own programming language.

5
Comments
3 min read
Prematurely hand-optimizing C++ code for shits and giggles

Prematurely hand-optimizing C++ code for shits and giggles

5
Comments
4 min read
Idris2+WebGL: Hiatus

Idris2+WebGL: Hiatus

5
Comments
2 min read
Steam blockchain ban: pragmatic or essential?

Steam blockchain ban: pragmatic or essential?

2
Comments
3 min read
Feedback request on "hollistic" programming language idea

Feedback request on "hollistic" programming language idea

3
Comments 4
4 min read
Idris2+WebGL, part #17: A Hoare state failure

Idris2+WebGL, part #17: A Hoare state failure

1
Comments
3 min read
The hardest thing I ever did explained as simply as possible.

The hardest thing I ever did explained as simply as possible.

6
Comments
15 min read
Idris2+WebGL, part #16: Binding programs again

Idris2+WebGL, part #16: Binding programs again

3
Comments
3 min read
Idris2+WebGL, part #15: Restricting arguments to a list

Idris2+WebGL, part #15: Restricting arguments to a list

4
Comments
2 min read
Idris2+WebGL, part #14: Getting back into it

Idris2+WebGL, part #14: Getting back into it

4
Comments
2 min read
Silliest reasons that a job interview process ended?

Silliest reasons that a job interview process ended?

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

Where to find charitable dev work?

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

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

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

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

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

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

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

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

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

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

Idris2+WebGL, part#3: Preliminary performance test

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

Idris2+WebGL, part #2: some animation

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

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

10
Comments
4 min read
Every bug is a type error

Every bug is a type error

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

The trias politica needs an IT branch

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

Haskell for madmen: Wrapping up and closing remarks

11
Comments
6 min read
Haskell for madmen: Contravariant input

Haskell for madmen: Contravariant input

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

Haskell for madmen: Reflection and cleanup

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

Haskell for madmen: Connecting to a database

15
Comments
8 min read
Haskell for madmen: Types of TODO

Haskell for madmen: Types of TODO

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

Haskell for madmen: Hello, web server!

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

Haskell for madmen: Hello, monad!

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

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

3
Comments
2 min read
Haskell for madmen: Setup

Haskell for madmen: Setup

29
Comments 9
3 min read
"Haskell for madmen" started

"Haskell for madmen" started

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

Interest in a Haskell tutorial?

69
Comments 8
1 min read
Resources for functional programming

Resources for functional programming

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

A broad look at functional programming

15
Comments 1
8 min read
Revisiting old topics

Revisiting old topics

7
Comments 3
1 min read
All programming languages suck!

All programming languages suck!

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

5 courses in 1 week, a retrospective

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

Making (non)sense of blockchain

14
Comments 3
3 min read
Ending the series

Ending the series

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

Nondeterminism in purely functional languages?

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

Lazy, eager and greedy evaluation

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

Invoices 2: functors and monads in action

10
Comments
4 min read
Pure vs impure FP

Pure vs impure FP

10
Comments
2 min read
Is Haskell bad for FP?

Is Haskell bad for FP?

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

Invoices in Elm, part 1

13
Comments
10 min read
Functional program boundaries

Functional program boundaries

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

Category theory illustrated by RA2 prism towers

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

Functors, Monads and better functions

23
Comments 12
6 min read
Make your own types

Make your own types

8
Comments
2 min read
Dividing by zero

Dividing by zero

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

Types as propositions, programs as proofs

40
Comments 7
7 min read
loading...