H2CO3's tech rants

JOIN Considered Harmful

Information is ubiquitous, and so is its representation: data. The amount of data produced and necessitated by information technology has seen an explosion in the last few years. Underlying the highly fashionable, even more vague, and, quite often, bullshitty keywords of “Big Data”, “Machine Learning”, “Hadoop” and “MapReduce” is...

Read more

Untree, Or, I Will Get My Data Anyway

With a biologist colleague of mine, we are recently doing some phylogenetics. This branch of bioinformatics is, broadly speaking, the science of determining evolutionary relationships between species and arranging them in a tree structure that represents which species inherited and diverged from which one. For visualizing such trees, biologists...

Read more

Thesis

I have completed my Bachelor’s Thesis, “Design and FPGA implementation of a protein structure comparison method based on alignment of backbone conformations”. You can find the text and the code on GitHub.

Read more

Let’s Stop Bashing C

This blog post is a quick reply to Let’s Stop Copying C. To begin with, I agree with most of the things Eevee wrote. However, I think she went a little too far and described some of her personal opinion as if it was a fact. I think that...

Read more

HaskLSD, a Drug-Dependently Typed Language

Let’s face it: being a Bionics Engineer has its own advantages. One such advantage is that you can poke needles in people’s brains, hook them up to an oscilloscope and make sense of whatever kind of signal comes out. Examining the human nervous system is an extremely important aspect...

Read more

Generalized Concrete Nonsense, or Why We Teach Factually Wrong Things

I have been attending university for almost three years now, and during this time, I have been watching a worrying pattern emerge in the Hungarian educational system. It is not exclusively our faculty where this scary phenomenon rears its ugly head. I have read several pieces of learning resource...

Read more

Thick Skin, Thick Functions: Unification of Callables in Swift

I was recently thinking about a fairly important problem in the design and implementation of languages with closures. Consider the following piece of (pseudo)code (I am deliberately trying not to use any particular language for now): [crayon-59e697b083427572928606/] That is, we have two functions, noContextRand() and contextualRand that take no...

Read more

Infiltrating Political Correctness – Or, the Demise of Technology

I love my profession. I love being a programmer. And you know what the primary reason for that is? It’s that our field is honest and scientific. If done right, there are no bells and whistles. We do technology. We love technology. We do it passionately, we do it...

Read more

Locatable generics – an attempt at creating minimal-impact generic types

(and, as a side effect, a unified, quasi-monolithic compiler and build system) Generics are an essential tool in the workbench of the typical 21-st century programmer. Their purpose is two-fold at the very least. One of their goals is to increase code reuse and eliminate redundancy that would arise...

Read more

Jailbreaking Is Useful Even For an App Store Developer

This summer I’m working as an intern at an infosec and telecommunications company. We are developing an iOS app which needs some advanced capabilities (e.g. access to the microphone of the device) for which it asks the user using iOS’ built-in facilities. Upon program launch, iOS pops up an...

Read more

1 2