All this talk about Artificial General Intelligence (AGI) made me wonder how far in is GPT towards formal logic? I should clarify: if it turns out it can do a lot of formal logic, I don’t think that is any kind of sign towards AGI. The two are conceptually related but not correlated. Humans (supposedly) have AGI, but they fail at formal logic often. A lot of computer algorithms have been invented for formal logic,…
Didn’t think it’d be any complicated. I’m in the middle of a large refactoring job that is primarily concerned with memory adjacency. When data lies in memory continuously instead of being distributed segments, parallel code scales better because of CPU caching. This is currently my problem with the Parallel implementation of CombInduce, the ‘solver’/program synthesiser that forms the basis of our work in Interpretable AI. This memory adjacency work involves, among other things, to replace…
The other day my students were asking about Covariance/Contravariance, they were visibly frustrated because they were trying to grasp them at once together with covariance/contravariance modifiers on generics. While trying to explain the concept without generics, I came up with an example on the spot about inheritance that didn’t work, so they were even more frustrated. Because the example not only didn’t make a good case for covariance/contravariance, it didn’t work as an example of…
In conjunction with MODELSWARD conference, Steve is organising a special edition on implementation of units / quantities. Misuse/non-use of proper libraries/supporting tools for units is one of the bleeding failures of Software Engineering, and there’s much work to be done on this in both the research end, and in application. Paper submission by November 26th, 2021. https://modelsward.scitevents.org/EMIQ.aspx
I found myself in need of returning a delegate but making sure that the receiver gets to call the delegate at most once. The task at hand is a concurrent task queue. Threads take a task, and can put back a set of tasks back into the queue if they wish. But if they will put back some tasks, TaskQueue needs to make sure they get to do it only once. Simply the thread would…