Magos Logis Logan @jmw150@qoto.org

Things are getting interesting. The book is only about 90 pages long.

But in summary, it becoming possible to make programs that are both bug free, and can cover a problem domain that cannot be feasibly solved with simple manual programming.

https://www.amazon.com/Neurosymbolic-Programming-Foundations-Trends-Languages/dp/1680839349

@getimiskon @neglesaks@mstdn.io

Ah okay.

@getimiskon @neglesaks@mstdn.io

Not all of the engineering games I like require good graphics. But something like Space Engineers and Astroneer totally do. I think those were a good time, especially with friends.

There is also 7 days to die, which was fun, but sadly the content ran out. I wish they had smarter electrical systems.

@getimiskon @neglesaks@mstdn.io

For me there is:

Astroneer
Elder Scrolls: Skyrim, Oblivion, Morrowind
Dark Souls
Deep Rock Galactic
Portal
Space Engineers
Valheim

@neglesaks@mstdn.io @getimiskon

Weird. I absolutely love my high tech setup. Of course I grew up without AAA games. So there are a lot of new experiences.

@mathlover I think maybe there was a new wave of banning issues happening on Twitter.

That is a pretty paper

Program Synthesis with Equivalence Reduction

https://pages.cs.wisc.edu/~aws/papers/vmcai19.pdf

@luke

mmmk

Yep math and philosophy theorems. That shit still works in most universes. That is why I spend time on it. Counterfactuals are just better.

https://causalai.net/r60.pdf

@mia

Lame on both ends

@FailForward

Some of it is actual science, theorems about convergence criteria, or approximation ability of these kinds of functions. There are also computer security people that try to make these systems more robust to counterexamples, and that forces practitioners to understand the system better.

Most of it is not worth much. For pretty much all of the ML papers at this session, an approximated function was discovered that could perform the desired behavior, given just the right inputs, and that was it.

@worldsendless

For scripting yeah. For that I think of the shell as just the operating system's program namespace.

Sigh. I wanted to use that name for something.

What are neural networks? Tensor sensors on high dimensional real number objects.

https://github.com/prinshul/tensorsensor

Just got back from a research poster-board session. About 90% of research, in just general engineering, seems to involve machine learning right now.

@Placholdr

Programming language class?

The lazy answer is making a chunk for all of the data. Then it is just keeping the chunk as an argument of a function, for recursion. And updating the chunk on each loop, for iteration.

@10leej

Didn't say it was...

@10leej

I am pretty happy about it. One less monopoly for Google.