DrBearhands articles - 65 total
The glTF file format for 3D models has some issues
The glTF 2.0 file format has become a standard for sharing 3D assets between applications....
Web Monetization debunked
Over the last few years, grifters have been preying on naive content creators through the Web...
The Abstract Syntax Tree
Introduction One of the first steps a compiler must take is parse the human-readable...
On automated versioning strategies for CI/CD pipelines
It is quite likely that one of your projects will need version numbers at some point in time. You...
Planning my own programming language.
During my years of writing software, I've come across a few issues with how we write software. Since...
Prematurely hand-optimizing C++ code for shits and giggles
Left in the void that comes after abandoning a project, I decided to port a previous JavaScript /...
Idris2+WebGL: Hiatus
I'm putting my WebGL in Idris project on hiatus. I started this project to get a feeling for how far...
Steam blockchain ban: pragmatic or essential?
Steam has recently explicitly banned games built on blockchain. Specifically, ones that allowed the...
Feedback request on "hollistic" programming language idea
I want to make my own programming language, but I don't want to waste years of my life on a silly...
Idris2+WebGL, part #17: A Hoare state failure
As explained in the last log entry, I set out to use decorated state monads to prove certain...
The hardest thing I ever did explained as simply as possible.
Hoare state monads
Idris2+WebGL, part #16: Binding programs again
It's time to take up the issue I've been avoiding since part 9. The compiler somehow needs to...
Idris2+WebGL, part #15: Restricting arguments to a list
Oh yes this is awesome. Many WebGL functions take a GLenum value, secretly an integer Number in...
Idris2+WebGL, part #14: Getting back into it
I've had a few months without progress. This project had started to get frustrating so I gravitated...
Silliest reasons that a job interview process ended?
Sometimes, job interviews end for dumb reasons. I want to hear them. Doesn't matter if it's the...
Where to find charitable dev work?
A few months ago I did something for free for a decent cause. It felt good so I'm looking for more....
Idris2+WebGL, part #13: Slow and frustrating progress
Progress since my last dev log has been rather frustrating. There are a few nasty roadblocks on the...
Idris2+WebGL, part #12: Linear algebra with linear types... not great
When writing 3D software, it is quite common to use some linear algebra in performance-critical code....
Idris2+WebGL, part #11: No linearity with monadic errors (for now)
I've come back on the idea of implementing more monadic error handling. I wasn't entirely convinced...
Idris2+WebGL, part #10: Implicit arguments & monad transformers
I found something interesting while implementing existentially quantified phantom types as explained...
Idris2+WebGL, part #9: Ensuring uniforms belong to bound program
To pass variable data to a shader, WebGL / OpenGL uses uniforms and attributes. To use them, we must...
Idris2+WebGL, part #8: Baby's first dependent type
Idris2 was recently updated to version 0.3. This required a fair bit of refactoring, but that's...
Idris2+WebGL, part #7: Short code quality update
While writing my previous dev log I realized switching over to the GL monad might allow me to use...
Idris2+WebGL, part #6: Bye IO monad, hello GL monad
After my last project log I was left with the task of rewriting all functions to use linear types....
Idris2+WebGL, part #5: Linearity continued
Sifting through Idris' literature on quantitative type theory I discovered that the issues with...
Idris2+WebGL, part#4: Troubles with linearity
One of the features that got me interested in Idris is its support for linear types. Much like the...
Idris2+WebGL, part#3: Preliminary performance test
I decided to run some preliminary performance tests. While a spinning triangle is not a very relevant...
Idris2+WebGL, part #2: some animation
My next milestone was cleaning up and getting a bit of animation in. The changes themselves are not...
Idris2+WebGL, part #1: Hello triangle, first thoughts
I decided to explore the practical implications of dependent types by creating a type-safe WebGL...
Every bug is a type error
How type-accuracy features in programming languages could help prevent most bugs