Remote

Deen Abiola

@metarecursive@mathstodon.xyz

mastodon 4.7.2

Developer for Math Ed software co | Independent Research on Intelligence Amplification | What type of Dynamical Systems can be called Intelligent? | bboy hermit

40 Followers

61 Following

5 Posts

Joined November 25, 2018

Deen Abiola @metarecursive@mathstodon.xyz

· 6mo ago

Replying to

@zanzi One subtle point is it isn't modeling language but the data generating process behind the language. And we're learning that mathematical structure can be rich enough that even without reasoning, it can morph and deform across various reasoning like states/trajectories. It's walking across known structure, but structure so rich and extensive the lack of reasoning does not hold it back as much as what one would immediately think.

Deen Abiola @metarecursive@mathstodon.xyz

· 8mo ago

Replying to

@julesh@mathstodon.xyz I've seen someone making a minecraft-like voxel game but using hexagonal blocks--the game takes place on a (ico)sphere and IIRC, they calculate the dual of their ico-sphere and leverage some math trickery I only vaguely followed to manage their hex-prisms spherical world.

Deen Abiola @metarecursive@mathstodon.xyz

· 6mo ago

Replying to

@zanzi I think they're a better platform for the systems of computation for augmented intelligence that Engelbart spoke about than they are a platform for AGI. One actual issue is they couple that augmentation to capital. So, a new compounding advantage worsening inequality. But it's also multiplicative: it just amplifies whatever direction it's turned to. Not necessarily always leading anywhere meaningful or productive.

Deen Abiola @metarecursive@mathstodon.xyz

· 11mo ago

@alexelcu@mastodon.social F# feels more functional because of HM types (OOP is usually irrelevant or annotating is beneficial, eg you really should annotate those types for clarity), currying and syntax around algebraic types. OOPs with functional core is very well integrated these days.

But highfalutin advanced type-based monad transformer etc functional programming is more straightforward to implement in scala.

But it seems this caused a schism in the scala community. Ultimately they are both excellent languages and the most well equipped (via platform) languages for functional programming..

Deen Abiola @metarecursive@mathstodon.xyz

· 1w ago

Replying to

@synlogic4242@social.vivaldi.net @dpiponi@mathstodon.xyz Which dark matter is this? I remember enjoying Dark Matter but that is the 2015 one.