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 objects are different beasts.
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 with its version (number). Objects…
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 pretty advanced and efficient.
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, efficiently! They are almost always trees, with…
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. Additionally - with the use of some advanced…
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 scheme that was first introduced with…
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 rock pile!)"
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, especially its intricate semantics are…
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 believe is the first 'typed' version of a…
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 position) then: c = a/b is: al = log(a)…
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 not support for Java Modules for Scala…
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/grouping data, why not have a sound (bag)…
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 with various operators on such…
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 immutable data values, otherwise it would be…
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 checking post-conditions that compare…
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 professional debugging tools a pastime activity.
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 absolute basics and then slowly builds to a…
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 there any objective measures, or is it…
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 has excellent composability with regards…
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 objects are different beasts.
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 with its version (number). Objects…
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 pretty advanced and efficient.
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, efficiently! They are almost always trees, with…
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. Additionally - with the use of some advanced…
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 scheme that was first introduced with…
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 rock pile!)"
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, especially its intricate semantics are…
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 believe is the first 'typed' version of a…
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 position) then: c = a/b is: al = log(a)…
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 not support for Java Modules for Scala…
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/grouping data, why not have a sound (bag)…
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 with various operators on such…
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 immutable data values, otherwise it would be…
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 checking post-conditions that compare…
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 professional debugging tools a pastime activity.
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 absolute basics and then slowly builds to a…
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 there any objective measures, or is it…
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 has excellent composability with regards…