Skip to content

Instantly share code, notes, and snippets.

View nmcb's full-sized avatar

nmc.borst nmcb

View GitHub Profile
@nmcb
nmcb / BigO.md
Last active April 1, 2019 17:40

Big O Complexity

Here are the running times of some operations we might perform on the phone book, from best to worst:

  • O(1) (best case) Given the page that a business's name is on and the business name, find the phone number.

  • O(1) (average case) Given the page that a person's name is on and their name, find the phone number.

  • O(log n) Given a person's name, find the phone number by picking a random point about halfway through the part of the book you haven't searched yet, then checking to see whether the person's name is at that point. Then repeat the process about halfway through the part of the book where the person's name lies. (This is a binary search for a person's name).

On denotational and implied semantics -- ScalaUA 2019 [1]

Q: Why on GitHubGist ? [2]

A: It's a good tool to make the complexities of our own makings eventually consistent.

Edsger Wybe Dijkstra, 1930 - 2002

  • Educated Theoretical Physicist - Deeply Disciplined
  • Late 50s started working for the CWI in Amsterdam

On Being With Me

Look. I expect it is not a pleasure to be with me for a long period of time, or at least, that is the impression I get from observing the people I meet with, sometimes. And they are right you know, I don't like people very much, in general, in the small, and in the large. I'm very under-impressed by humanity, myself included, and this, together with my preference to observe others and don't participate or communicate a lot, has been a pretty consistent character definition of yours truly ever since childhood, for as long as I can remember being me. I'm rather a-social, in the most literal meaning of the word, I think of it as non-social. No bad intent, on the contrary, just prefer being with myself over being with others most of the time, and fortunately that is more or less the norm in my life. It's how I've learned to form my live around me, these last 47 years. Sometimes I don't speak to anybody for days, weeks in a row. And I love it.

The majority of people, think ninety-nine

@nmcb
nmcb / Interview.md
Last active February 27, 2019 10:36

Hoe is het om een bedrijf in je eentje te hebben ?

(Moeilijk/Makkelijk)

Oef, dat is een hele makelijke en ook hele moeilijke vraag om te beantwoorden. Het is zeker heel speciaal om tegelijkertijd je eigen werkgever en je eigen werknemer te zijn. Maar ook wel een beetje schizofreen om continue het belang van jezelf als werknemer tegenover dat van jezelf als werkgever te moeten afwegen. Je draagt toch altijd die twee petten tegelijkertijd en je moet de beslissingen zelf nemen, want je bent een eenmansbedrijf. Als ik bijvoorbeeld een dagje vrij wil, dan moet ik zelf beslissen of ik dat mag! Door de jaren heen lukt het steeds beter om met de vrijheid om te kunnen gaan, en ik denk dat een eenmansbedrijf een goede omgeving is om snel zelfstandig te worden als werknemer, maar in het begin was het niet altijd makkelijk om met de verantwoordelijkheid om te kunnen gaan.

Wordt je door bedrijven gevraagd, of stap jezelf naar ze toe ?

Ik wordt door anderen gevraagd of ik voor hun bedrijf wil werken. D

@nmcb
nmcb / Ende.md
Last active January 23, 2019 08:56

So I thought a moment about my language, Dutch, in the context of a globalising world. Dutch is known as a hard, even harsh language, and tonal wise this is probably very true, especially compared to the other languages out there. That is why I thought about the subtleties in Dutch, its intrinsicities (if that even is an English word) and the ways that the Dutch language must have structured the minds of Dutch natives for many generations in the past and hopefully many millennia in the future.

Q: If I would like to know one important Dutch word?

A: It should be the word ende.

To be completely fair ende is not a very common word anymore, even to Dutch natives. It was mostly used in the 16th and 17th century and is an old, archaic concatenation of the two words en, which translates into "and" in English and is concatenated with de which translates into "the". A Dutch native will use this concatenated word "andthe" to describe something dual, something consisting in adjacent qualitative or qua

Chapter I .

That is to say, "dot", as in "he dotted the i" or better even, "he put a dot behind it all". Finally, endless days behind their deadline they managed it, the ultimate answer to the immutable question of life, the universe and every thing was final. The book had been written. The paper submitted for peer review. The sentence composed, naturally in an elegant and self-referential recursive structure, looping in its literally stated meaning while at the same time negating that meaning over and above that it referred back to the symbolic term of its first noun. They had done it. Literature. Litany. Legacy. With that last little dot.

Always had been obsessed with meaning, their whole life, as long as they could remember it. Read everything about meaning there was to know the first seventy percent of their live, in all the arts and sciences. And when they finally started to experiment a little with actually writing of the things they came to know, the effect had been immense. Full cult

Pale Blue Dot [Bleke Blauwe Stip]

If you look at it, you see a dot. That's here. That's home. That's us. On it, everyone you ever heard of, every human being who ever lived, lived out their lives. The aggregate of all our joys and sufferings, thousands of confident religions, ideologies and economic doctrines, every hunter and forager, every hero and coward, every creator and destroyer of civilizations, every king and peasant, every young couple in love, every hopeful child, every mother and father, every inventor and explorer, every teacher of morals, every corrupt politician, every superstar, every supreme leader, every saint and sinner in the history of our species, lived there on a mote of dust, suspended in a sunbeam.

_[Als je goed kijkt, dan zie je een stip. Dat is hier. Dat is thuis. Dat is ons. Iedereen waar je ooit van gehoord hebt, elk levend mens ooit, leefde hun leven op die stip. De verzameling van al ons plezier en al ons leed, duizenden zelfverzekerde religies, ideologieën en

@nmcb
nmcb / Bio.md
Last active August 8, 2018 19:54
The Little Bio

Marco Borst is an independent programmer with more then 20 years of experience programming the kind of systems that yield useful and interesting functional applications. He teaches individuals and development teams by giving programming context and alternative points of view regarding the applicability and limits of our functional abstractions. Stoked to be the most pragmatic person in the room, Marco shares his appreciation and application that, out of a multitude of daily choices to do either A or B, the often overlooked but least useless choice is to do neither A nor B. He finds it is the most difficult choice to act upon. Being an engineer by education, a programmer by interest, a researcher by experience and a communicator because, being a primate, Nature forced him to be; Marco is inclined to share his crafts with others and positively thrilled when able to learn from others as well.

On Application

Application is not the answer to the problem.
Application is applied to some problem.
And some applications yield a solution.

Action is not the answer to the problem.
Action is applied to some problem.
And some applications yield a solution.

Both the Haskell and Scala communities rely heavily on the type class pattern. Both communities do so in different ways. In application, function, encoding, and compiler and runtime support. Both implement many huge applications constrained in complexity only by the separation of concerns possible and enforced mathematically by type classes. Because type classes have laws. Mathematical laws!

The possibility to write "complex polymorphic recursive encodings of type class instances" is basically what the Scala community is founded upon. Give me some implicit evidence of an implicit type class instance to do some type level algebraic voodoo. That's Scala's 'The Applied Functional Programmers' motto? No? Well, Yes, that is definitely what is cool about Scala. It may be a bit or even a much less principled than Haskell, Scala's seemingly loose dealings with pureness have yielded many good functional type level ideas this past ten year or so. Not everything FP in Scala is a "Haskell Port".

When we zoom