Viewing profile — odipar

I was once into 68k so I may be rusty, but shouldn't it be move.w d1,(a0)+ (increment the target address after each step)?

The most impressive demo ever: https://www.youtube.com/watch?v=mgXRXDfQ0xw in only 4kb! Image seeing this demo back in the 80's: it would be close to sorcery!

Identity doesn't imply 'value' equality, that's the whole point of mutability! Conversely, two objects can have the same 'value' while having different identities. Values and objec…

My take is that identity doesn't imply mutability, if you version objects. It could well be that your are looking at an old version of an object, using its unique identity combined…

CodeQL is another datalog with the domain of code analysis as its use case. Too bad you cannot create a custom fact database with CodeQL. Otherwise, the implementation of CodeQL is…

Okasaki got me interested in confluently persistent data-structures, way back in the 2000s. They seem magical! To be able to combine data from the past with current data, efficient…

As always it is the journey that matters (writing), not the outcome (the essay). For example, students could record their writing of an essay with a keylogger or something. Additio…

SeqHash This data structure is an immutable, uniquely represented Sequence ADS (Authenticated Data Structure) with various interesting use cases. It is based on a novel hashing sch…

big brain really like post. lesson learn is deep! "(best grug brain able to herd multiple big brain in right direction and produce many complexity demon trap crystals, large shiney…

I also personally think CUE hits a sweet spot. The union (pun intended) between types and values (both sets) is really a game changer! CUE is indeed not trivial to implement, espec…

Visual is all nice and all, but I really fancy the 'computational' model of spreadsheets which is very easy to learn and apply IMO. My latest find is the CUE language, which I beli…

Another interesting fixed-point (16 bit) division 'algorithm' is with log and exp tables, with a well chosen base :). consider a and b being 16 bit fixed-points (at the 10 bit posi…

No Stinking Loops! http://www.nsl.com

Is it just me or are Java Modules hard to create and use? I found it pretty confusing to get them to 'work', especially with libraries that are not module enabled. Also, there is n…

Yep, CTEs are a huge boon to structure your SQL - use them where you can.

Yes I concur: CTEs is closer to the spirit of relational algebra: every step/expression should yield a table/relation. As data munging is about combining/correlating/sorting/groupi…

My first encounter with 'SQL' was a course on relational algebra that was taught at my university. It started out with defining relations as a mathematical construct, and continued…

hey, I like your work on Paranoid Scientist. I've never come across hyper-properties: is this something you invented? Regarding hyper-properties: I assume they only work on immutab…

I think immutability (or immutable state) adds one big advantage over mutable state: you have access to previous state(s) and the current state. Immutability is very convenient for…

self-plug: you may want to checkout Manikin: it is very similar to Goblins, but with a clear transactional model. https://odipar.github.io/manikin

Definition of a professional: "engaged in a specified activity as one's main paid occupation rather than as a pastime". I wouldn't call fixing azure pipelines without any professio…

I really like Eric's work, especially "From Boolean Algebra to Unified Algebra". His algebraic approach towards building software is really refreshing as it starts with the absolut…

Yed has been serving me for almost 15 years. I think yed's layout algo's are the best in the industry. Also, the extensibility is great (even in the free versions).

I want more formal architecture diagrams: how would they look like? I also want to know whether my architecture diagram is any good? Is my diagram too detailed, too abstract? Are t…

Managing state in (standard) FP doesn't compose that well. Lenses look like a solution to transition 'deep' immutable state, but I find them cumbersome: YMMV. Object Orientation ha…