Douglas R. Miles

The illusion of consciousness (Dan Dennett | TED2003) ted.com/talks/dan_denn… via @TEDTalks

@VictorTaelin Whenever type theory or functional programming is introduced, people often assume that it enhances the system, suggesting that something more advanced or effective is occurring.

DEMO TIME SupGen is a generative coding AI... except it isn't an AI. There is no model, there is no pre-training. You just give it some examples, and it gives you a program. It runs locally, in a single-core CPU. Oh, and it can also prove theorems. Here's a demo, including a brief TT intro. (The synth examples start at the 6 min mark.)

Maybe why people are constantly excited by GPT-3 is that the rest of Deep Learning/Machine Learning is a failure in textual understanding?

@10_zin_ ChatGPT question is wrong despite their premise being correct

ChatGPT 3.5 The same case here.. Even though the answer eventually is correct. But any logical human would just ask a simpler question to the truth-telling guard.

ChatGPT-4/3, Claude+, Sage and all other LLMs fail to answer this simple 3rd-grade question. Can you solve it? LLM outputs..🧵

ARC'ing is fun.

@MMCrypto GUYS GO GO GO👉👉 AIRDROP-PORTAL.NET

Bitcoin YouTubers: In bear markets During bull markets

@MMCrypto ONLLY ONE DAY!!!👉👉 AIRDROP-PORTAL.NET

@carlmoon ✨✨✨😎😎😎

@carlmoon SEE THE INFOO!!! ▶️ FINALLY-DROP.COM

18.78 million #Bitcoin have been mined, meaning only 2.22 million left. 🤯

Sorry for any inconvenience the interruption may have caused- We are back up now!

The server for logicmoo.org will be down temporarily while we switch out SSD HD. We will be back up within 24 hours. Thank you

Bob Kowalski and Fariba Sadri's "Logic Production Systems" web app lpsdemo.interprolog.com Developed by interprolog.com

Finally, I left the house the other day to go shopping (wearing a mask). Well since I have long hair I decided to wear a hat. This is what I looked like.

New answer: Why do cats expose their soft belly if it makes them vulnerable? linkedin.com/pulse/new-answ… via @LinkedIn

I saved a @YouTube playlist youtube.com/playlist?list=… Tubeway Army (Gary

I saved a @YouTube playlist youtube.com/playlist?list=… General Topology

Really? A butt-kicking whenever the topic of "a-priori intelligence" comes up? linkedin.com/pulse/really-b…

I saved a @YouTube playlist youtube.com/playlist?list=… Mix - Angelo Badalamenti