Créer un compteSe connecter

Recherches récentes

Aucune recherche récente

Options de recherche

Disponible uniquement lorsque vous êtes connecté.
mastouille.fr est l'un des nombreux serveurs Mastodon indépendants que vous pouvez utiliser pour participer au fédiverse.
Mastouille est une instance Mastodon durable, ouverte, et hébergée en France.

Administré par :

Statistiques du serveur :

582
comptes actifs

mastouille.fr: À proposAnnuaire des profilsPolitique de confidentialité

Mastodon: À proposTélécharger l’applicationRaccourcis clavierVoir le code sourcev4.3.4

#logic

2 messages2 participants0 message aujourd’hui
Public
Toni Aittoniemi

”Print requires us to make a logical case. A significant feature of books is that if you make a case in print, you have to make it logically add up.

You can’t just assert things the way you can on tiktok, youtube or in a podcast through conversation.”

”If we lose these things in our culture it’s not surprising people are getting stupider & their reasoning skills are declining.”

youtube.com/watch?v=u4jW8MOxIKY
#reading #books #intelligence #reasoning #logic #booksofmastodon

YouTubeThe dawn of post-literate society - with Jared Henderson and James MarriottPar UnHerd
Public
janhoglund

I don’t think AI acts. There’s no action in algorithms; it’s deduction, logic gates. Now, a human being using such tools may be different. But we have to be very careful to avoid becoming the tool of our tools.
—Matthew Segall, Value at the Root: Cultivating Virtue in a Post-Truth World
#ai #algorithms #logic #tools

Public *
Tom de Jong

My paper "Continuous and algebraic domains in univalent foundations" with @MartinEscardo was accepted for publication by the Journal of Pure and Applied Algebra! 🎉
martinescardo.github.io/papers

This paper has its origin in my very first paper with Martín (and my second paper overall) "Domain Theory in Constructive and Predicative Univalent Foundations" which appeared at Computer Science Logic (CSL) back in 2021.

Since then I wrote my PhD thesis on this topic (and worked on other things in type theory after) and the present paper is a revision of both the CLS'21 paper and my PhD thesis (which I completed in 2022).

Everything in the paper has been formalized and an HTML rendering of the Agda file that directly links the code to the paper can be found here: martinescardo.github.io/TypeTo

#typetheory#agda#logic
Public
Tom de Jong

It was both a pleasure and a privilege to deliver 5 90-min blackboard (!) lectures on Categorical Realizability to 20–30 students and fellow lecturers at the European Summer School in #Logic, Language and Information (#ESSLLI).
I really enjoyed the interaction with all attendees and appreciated their excellent questions and comments: thank you!

Also, a huge thanks to @tschfflr and the other organizers for running #ESSLLI2025 so smoothly!!

Public
RanaldClouston

I have finished up with teaching my big introductory #Logic course at #ANU, leading 300+ students through propositional, first order, and temporal logic, through natural deduction and tableaux, and through formal semantics and translation to natural language. I did a huge overhaul of the existing course and made some mistakes en route for sure, but overall student feedback was very positive. Although I am not obliged to expose anything behind my LMS paywall, I feel strongly about disseminating teaching as a genuine intellectual output and have a public website up with most of my materials: comp.anu.edu.au/courses/comp26

COMP2620/6262 (Logic) · Welcome to the COMP2620/6262 Public WebpageThis is the public webpage for the Australian National University course Logic, co-taught as COMP2620 and COMP6262.
Public
Androcat

Let's say there is a Mystery Machine.
It responds to input in various ways.
You can't get to its internal logic, but there's plenty of examples of input/output pairs, and you can make more as much as you can be bothered to fiddle with it.

Would it be possible, through trial and error, to make a machine that meaningfully interacts with the Mystery Machine?

· 4 personnes · Fermé
#logic#science
A répondu dans un fil de discussion
Public *
𝗖 𝗔 𝗧

Just because you can't detect something or verify that it exists doesn't make it non-existent. It just means you can't detect it or verify its existence. If there's no way for you to ever interact with this thing or vis versa, then it would be reasonable to live your life as if this thing doesn't exist just for convenience sake, but that doesn't make it not exist, it just makes its existence, if it does exist, irrelevant to your existence.
@jens @saxnot @Kierkegaanks @randahl
#skepticism #logic

Public
Ladder Logic 🇨🇦

I’m seriously amazed with Logics stem splitting abilities. Just ran it on Another Place Another Time that I recorded in the 1980’s with studio musicians and it did an incredible job separating the drums, bass, guitars and vocals. Not going to share the splits, but having been part of the original sessions I can say it’s incredibly impressive.
#GearSquad #MusicProduction #Logic #StemSplitting
@strayhorse

m.soundcloud.com/guitarsith/an

SoundCloudAnother Place, Another TimeStreamez Another Place, Another Time par Ladder Logic sur les versions bureau et mobile. Écoutez plus de 320 millions de titres gratuitement sur SoundCloud.
ExplorerFlux en direct
À propos