🌊

[🌊 @JohnMeuser]

Sublime

[Jazz Is Dead @jazzisdeadco]

Malawian guitarist Daniel Kachamba plays his composition “Zotsala Kumanda” at a film institute in Göttingen, Germany in 1972 

📽️: @african_guitar

[RetroNewsNow @RetroNewsNow]

🎶📺 Jill Colucci performing the original ‘America’s Funniest Home Videos’ theme song on a 1991 episode

[🌊 @JohnMeuser]

😔

[DiscussingFilm @DiscussingFilm]

Eric Bauza has sadly passed away at the age of 46.

The modern voice of Bugs Bunny and Daffy Duck alongside many other beloved characters.

[🌊 @JohnMeuser]

I'd say it was just a well enough executed public relations campaign. Read Edward Bernays "Public Relations" and @LawDavF "Strategy". I submit that most Lean formal verification stuff is a present example of a similar process.

[Fernando Borretti @zetalyrae]

Probably a big reason for the popularity of OOP is it made programmers focus on data and types rather than code.

[🌊 @JohnMeuser]

This is literally Quine's conclusion in his chapters on the elimination of singular terms and singular descriptions in "Methods of Logic Fourth Edition."

[Joel David Hamkins @JDHamkins]

On another thread I was posting on definite descriptions, so here is a link to an essay with my further views on the topic. At bottom I am deflationist about the semantical disputes, since the various semantics on offer are all expressible from one another.
https://t.co/jcyXY4uvr0

[🌊 @JohnMeuser]

I am afraid of telling people to ask a machine as I used to tell them to search for it. The modern verbal machines are designed to keep you coming back for more just like a casino, a tobacconist, or a drug dealer. If someone says they are selling "the truth" run.

[🌊 @JohnMeuser]

How do you know that.

[Pedro Domingos @pmddomingos]

The only thing I know about consciousness is that I’m conscious.

[🌊 @JohnMeuser]

Why was this written and why is it here?

[Paul Graham @paulg]

I'm going to Columbia to speak to some students, and apparently you need ID and a QR code to visit the campus. They locked it down after the Gaza protests and still haven't reopened it. It's the only Ivy League university that's closed to visitors.

[🌊 @JohnMeuser]

Naturalism, in Quine's sense, also keeps almost everything that makes mystics happy but leaves them as work to be done and not simply sat on.

[little grey mouse 🐭 @mouse_math]

the reason i am opposed to mathematical platonism is the same reason i follow science and not religion - i see no reason to embrace a metaphysical explanation when a natural explanation suffices.

[🌊 @JohnMeuser]

I finally used one of the more popular machines and this burned one of the things only I know and no one else in the world or in history knows. It failed. I am devastated by the evidence for a proximate and perhaps prolonged pain which is otherwise avoidable with behavior science

[🌊 @JohnMeuser]

It is arrogant for me to say I feel like Leibniz more and more every day.

[Lloyd Strickland @Dr_L_Strickland]

Imagine a desktop with 100,000 unlabelled tabs containing diplomatic memos, philosophical reflections, calculus proofs, and more besides.
That is the Leibniz archive...
The monumental task of editing his papers: https://t.co/EUQQdlR90u
#Archives #Leibniz #TechHistory

[🌊 @JohnMeuser]

You do not understand what you are talking about in that Quine's main method does not have anything overtly to do with a deductive system. I gave the specification in much the same way actual computer assisted proof systems use Herbrand's method. I do not know what else to say.

[Matti Palli @tritlo]

@JohnMeuser most type systems have constraint solving though, and via Curry-Howard, the types *are* the logic

[🌊 @JohnMeuser]

Some say we have only just begun.

[little grey mouse 🐭 @mouse_math]

the publication of this paper in 1931 was an intellectual bombshell and marks the end of both the pioneer period of mathematical logic and of the foundational crisis.

[🌊 @JohnMeuser]

Heard of logic? Predicate logic to be exact? Quine's main method? Make a truth functional inconsistency from instances of a prenex form of a sentence with new variables for exiwtentials to show it inconsistent.

If you can't give its logic, then what are you formalizing?

[Matti Palli @tritlo]

> “Types are a bad way to formalize mathematics”
> Dependent types (Lean) currently being used to push the frontier of math

make it make sense??

[🌊 @JohnMeuser]

If you are like me and deliberately testing the limits then you know it is already entirely unusable most of the time. I can not stress this enough: the same people selling you AI are the people ignoring the fact that the internet failed in their hands.

[Conrad Barski @lisperati]

I'd raise it to a 35% chance now

[Elias Daler @EliasDaler]

Progress on my Famicom game.
Graphics by @ahtamaraneze. ☺️

(My first NES game, no AI involved!)

I spent two weeks studying MOTHER 1's scrolling system and finally managed to implement it in my engine... 😭

Also no original music yet, so listen to my favourite MOTHER song :')

[🌊 @JohnMeuser]

I need to just shut up.

[🌊 @JohnMeuser]

It doesn't have to be this abstract. Concretely, autoclitic verbal behavior is where we get grammarical and logical behavior. It is behavior conditioned to change the listener so that proximate verbal behavior is made more effective. Skinner goes through all this. Concretely!

[akhil @fkasummer]

This is a limited view of reasoning. Mathematical logic can be a blinding force when you think about knowledge production and its reflexive relationship to consciousness and cognition.

[🌊 @JohnMeuser]

This is an early mistake made by mathematicians and logicians who had not distinguished between a theory and its logic. The quintessential example is whether identity is a part of logic or theory. With finite lexicon, it is pure logic.

[akhil @fkasummer]

Hmm.

[🌊 @JohnMeuser]

Our jargon is not jibberish, it is good old jargon, we are not them, are jargon has the proper provenance, we have the paper, and so on

[Armand Domalewski @ArmandDoma]

If you’re not in tech you might miss that in the scenes where Elizabeth Holmes and Billy Evans are hyping each other up with startup jargon is total gibberish—neither of them had actual accomplishments in tech but both of them loved play acting Silicon Valley startup founder