toad.social

Vivekanandan KS :nixos:<a href="https://hachyderm.io/@thomasfuchs" class="u-url mention" rel="nofollow noopener" target="_blank">@thomasfuchs</a> Honestly I learnt every <a href="https://mstdn.social/tags/tech" class="mention hashtag" rel="nofollow noopener" target="_blank">#tech</a> skills of mine because of the <a href="https://mstdn.social/tags/passion" class="mention hashtag" rel="nofollow noopener" target="_blank">#passion</a>. Sooner or later we get these <a href="https://mstdn.social/tags/short" class="mention hashtag" rel="nofollow noopener" target="_blank">#short</a> <a href="https://mstdn.social/tags/term" class="mention hashtag" rel="nofollow noopener" target="_blank">#term</a> and <a href="https://mstdn.social/tags/long" class="mention hashtag" rel="nofollow noopener" target="_blank">#long</a> term <a href="https://mstdn.social/tags/purpose" class="mention hashtag" rel="nofollow noopener" target="_blank">#purpose</a>. But if someone's going for <a href="https://mstdn.social/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#AI</a> <a href="https://mstdn.social/tags/coding" class="mention hashtag" rel="nofollow noopener" target="_blank">#coding</a> for the sake of <a href="https://mstdn.social/tags/Job" class="mention hashtag" rel="nofollow noopener" target="_blank">#Job</a> / <a href="https://mstdn.social/tags/Career" class="mention hashtag" rel="nofollow noopener" target="_blank">#Career</a> might not <a href="https://mstdn.social/tags/sustain" class="mention hashtag" rel="nofollow noopener" target="_blank">#sustain</a> if things get hard. That's why I <a href="https://mstdn.social/tags/suggest" class="mention hashtag" rel="nofollow noopener" target="_blank">#suggest</a> people to <a href="https://mstdn.social/tags/learn" class="mention hashtag" rel="nofollow noopener" target="_blank">#learn</a> <a href="https://mstdn.social/tags/organically" class="mention hashtag" rel="nofollow noopener" target="_blank">#organically</a> developing their mind <a href="https://mstdn.social/tags/map" class="mention hashtag" rel="nofollow noopener" target="_blank">#map</a> through <a href="https://mstdn.social/tags/logics" class="mention hashtag" rel="nofollow noopener" target="_blank">#logics</a>. I use AI for understanding the <a href="https://mstdn.social/tags/documentation" class="mention hashtag" rel="nofollow noopener" target="_blank">#documentation</a> and <a href="https://mstdn.social/tags/debugging" class="mention hashtag" rel="nofollow noopener" target="_blank">#debugging</a> purposes not for a entire <a href="https://mstdn.social/tags/mental" class="mention hashtag" rel="nofollow noopener" target="_blank">#mental</a> <a href="https://mstdn.social/tags/model" class="mention hashtag" rel="nofollow noopener" target="_blank">#model</a>. I do it for <a href="https://mstdn.social/tags/education" class="mention hashtag" rel="nofollow noopener" target="_blank">#education</a> not <a href="https://mstdn.social/tags/production" class="mention hashtag" rel="nofollow noopener" target="_blank">#production</a>.

iswsThe first ISWS 2025 Tutorial Session is on "Reasoning in Large Knowledge Graphs". Valentina Presutti is announcing Aidan Hogan from University of Chile, Santiago de Chile, as first speaker. <a href="https://sigmoid.social/tags/isws2025" class="mention hashtag" rel="nofollow noopener" target="_blank">#isws2025</a> <a href="https://sigmoid.social/tags/semanticweb" class="mention hashtag" rel="nofollow noopener" target="_blank">#semanticweb</a> <a href="https://sigmoid.social/tags/semweb" class="mention hashtag" rel="nofollow noopener" target="_blank">#semweb</a> <a href="https://sigmoid.social/tags/knowledgegraphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#knowledgegraphs</a> <a href="https://sigmoid.social/tags/reasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#reasoning</a> <a href="https://sigmoid.social/tags/logics" class="mention hashtag" rel="nofollow noopener" target="_blank">#logics</a> <a href="https://sigmoid.social/tags/tutorial" class="mention hashtag" rel="nofollow noopener" target="_blank">#tutorial</a> <a href="https://sigmoid.social/tags/summerschool" class="mention hashtag" rel="nofollow noopener" target="_blank">#summerschool</a> <a href="https://sigmoid.social/tags/bertinoro" class="mention hashtag" rel="nofollow noopener" target="_blank">#bertinoro</a>

C. KnodelI've been fumbling around with <a href="https://mastodon.de/tags/openprocessing" class="mention hashtag" rel="nofollow noopener" target="_blank">#openprocessing</a> <a href="https://mastodon.de/tags/logics" class="mention hashtag" rel="nofollow noopener" target="_blank">#logics</a> and <a href="https://mastodon.de/tags/colours" class="mention hashtag" rel="nofollow noopener" target="_blank">#colours</a> and made two sketches demonstrating something like logical combination of colours, applying logical operations to the r, g, b values of the colours to be "mixed". I know this is completely useless but it was a funny prgramming exercise... You can see (and test) the results in the two sketches Colour VenDetta:<a href="https://openprocessing.org/sketch/2634928" rel="nofollow noopener" translate="no" target="_blank">https://openprocessing.org/sketch/2634928</a>and Colour VennDango: <a href="https://openprocessing.org/sketch/2635918" rel="nofollow noopener" translate="no" target="_blank">https://openprocessing.org/sketch/2635918</a><a href="https://mastodon.de/tags/CreativeCoding" class="mention hashtag" rel="nofollow noopener" target="_blank">#CreativeCoding</a> <a href="https://mastodon.de/tags/mathart" class="mention hashtag" rel="nofollow noopener" target="_blank">#mathart</a> <a href="https://mastodon.de/tags/processing" class="mention hashtag" rel="nofollow noopener" target="_blank">#processing</a>

µPIt's done! I have just given print approval for "Medientechnisches Wissen Vol. 1", 2nd edition. The book, originally published on 2017, grew from 306 to 428 pages - mostly because of an additional chapter on <a href="https://mastodon.social/tags/archaeology" class="mention hashtag" rel="nofollow noopener" target="_blank">#archaeology</a>. <a href="https://www.degruyter.com/document/isbn/9783111036540/html" rel="nofollow noopener" translate="no" target="_blank">https://www.degruyter.com/document/isbn/9783111036540/html</a><a href="https://mastodon.social/tags/MediaScience" class="mention hashtag" rel="nofollow noopener" target="_blank">#MediaScience</a> <a href="https://mastodon.social/tags/MediaArchaeology" class="mention hashtag" rel="nofollow noopener" target="_blank">#MediaArchaeology</a> <a href="https://mastodon.social/tags/Logics" class="mention hashtag" rel="nofollow noopener" target="_blank">#Logics</a> <a href="https://mastodon.social/tags/InformationTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#InformationTheory</a> <a href="https://mastodon.social/tags/Cybernetics" class="mention hashtag" rel="nofollow noopener" target="_blank">#Cybernetics</a>

Harald SackIn his keynote Ian Horrocks starts with looking back into <a href="https://sigmoid.social/tags/SemanticWeb" class="mention hashtag" rel="nofollow noopener" target="_blank">#SemanticWeb</a> History...which was to be wxpected with a title like this: "Semantic Technology 20 Years On: The Journey So Far" ;-)<a href="https://sigmoid.social/tags/Semantics2024" class="mention hashtag" rel="nofollow noopener" target="_blank">#Semantics2024</a> <a href="https://sigmoid.social/tags/Semanticsconf" class="mention hashtag" rel="nofollow noopener" target="_blank">#Semanticsconf</a> <a href="https://sigmoid.social/tags/ai" class="mention hashtag" rel="nofollow noopener" target="_blank">#ai</a> <a href="https://sigmoid.social/tags/dl" class="mention hashtag" rel="nofollow noopener" target="_blank">#dl</a> <a href="https://sigmoid.social/tags/logics" class="mention hashtag" rel="nofollow noopener" target="_blank">#logics</a> <a href="https://sigmoid.social/tags/semantics" class="mention hashtag" rel="nofollow noopener" target="_blank">#semantics</a>

Harald SackIn 1879, Gottlob Frege introduced Begriffsschrift, a formal system with symbols and rules, allowing for precise manipulation of logical statements. This paved the way for modern symbolic logic and symbolic reasoning.G. Frege. Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle an der Saale: Verlag von Louis Nebert, 1879. <a href="https://gallica.bnf.fr/ark:/12148/bpt6k65658c" rel="nofollow noopener" translate="no" target="_blank">https://gallica.bnf.fr/ark:/12148/bpt6k65658c</a><a href="https://sigmoid.social/tags/HostoryOfAI" class="mention hashtag" rel="nofollow noopener" target="_blank">#HostoryOfAI</a> <a href="https://sigmoid.social/tags/ISE2024" class="mention hashtag" rel="nofollow noopener" target="_blank">#ISE2024</a> <a href="https://sigmoid.social/tags/lecture" class="mention hashtag" rel="nofollow noopener" target="_blank">#lecture</a> <a href="https://sigmoid.social/tags/logics" class="mention hashtag" rel="nofollow noopener" target="_blank">#logics</a> <a href="https://sigmoid.social/tags/knowledgerepresentation" class="mention hashtag" rel="nofollow noopener" target="_blank">#knowledgerepresentation</a> <a href="https://sigmoid.social/@enorouzi" class="u-url mention" rel="nofollow noopener" target="_blank">@enorouzi</a> <a href="https://fedihum.org/@sourisnumerique" class="u-url mention" rel="nofollow noopener" target="_blank">@sourisnumerique</a> <a href="https://sigmoid.social/@fizise" class="u-url mention" rel="nofollow noopener" target="_blank">@fizise</a> <a href="https://sigmoid.social/tags/AIart" class="mention hashtag" rel="nofollow noopener" target="_blank">#AIart</a>

Harald Sack“The only way to rectify our reasonings is to make them as tangible as those of the Mathematicians, so that we can find our error at a glance, and when there are disputes among persons, we can simply say: Let us calculate [calculemus], without further ado, to see who is right.” Quoting Leibniz for last week's <a href="https://sigmoid.social/tags/ise2023" class="mention hashtag" rel="nofollow noopener" target="_blank">#ise2023</a> lecture with a brief <a href="https://sigmoid.social/tags/HistoryofAI" class="mention hashtag" rel="nofollow noopener" target="_blank">#HistoryofAI</a> Slides: <a href="https://drive.google.com/file/d/18_xPnJDM04I7pDihMMhoFIuDshfUKMk9/view?usp=sharing" rel="nofollow noopener" target="_blank">https://drive.google.com/file/d/18_xPnJDM04I7pDihMMhoFIuDshfUKMk9/view?usp=sharing</a><a href="https://sigmoid.social/tags/ai" class="mention hashtag" rel="nofollow noopener" target="_blank">#ai</a> <a href="https://sigmoid.social/tags/artificialintelligence" class="mention hashtag" rel="nofollow noopener" target="_blank">#artificialintelligence</a> <a href="https://sigmoid.social/tags/lecture" class="mention hashtag" rel="nofollow noopener" target="_blank">#lecture</a> <a href="https://sigmoid.social/@fizise" class="u-url mention" rel="nofollow noopener" target="_blank">@fizise</a> <a href="https://mastodon.social/@KIT_Karlsruhe" class="u-url mention" rel="nofollow noopener" target="_blank">@KIT_Karlsruhe</a> @ebrahim <a href="https://sigmoid.social/tags/calculemus" class="mention hashtag" rel="nofollow noopener" target="_blank">#calculemus</a> <a href="https://sigmoid.social/tags/logics" class="mention hashtag" rel="nofollow noopener" target="_blank">#logics</a> <a href="https://sigmoid.social/tags/leibniz" class="mention hashtag" rel="nofollow noopener" target="_blank">#leibniz</a> <a href="https://sigmoid.social/tags/philosophy" class="mention hashtag" rel="nofollow noopener" target="_blank">#philosophy</a>

𝗠𝗔𝘀𝘁𝗼𝗠𝗘𝗺𝗲𝗠𝗔𝗸𝗲𝗿𝘀how i imagine <a href="https://det.social/tags/einstein" class="mention hashtag" rel="nofollow noopener" target="_blank">#einstein</a> and <a href="https://det.social/tags/goedel" class="mention hashtag" rel="nofollow noopener" target="_blank">#goedel</a> meetings must have been...<a href="https://det.social/tags/alberteinstein" class="mention hashtag" rel="nofollow noopener" target="_blank">#alberteinstein</a> <a href="https://det.social/tags/kurtgoedel" class="mention hashtag" rel="nofollow noopener" target="_blank">#kurtgoedel</a> <a href="https://det.social/tags/g%C3%B6del" class="mention hashtag" rel="nofollow noopener" target="_blank">#gödel</a> <a href="https://det.social/tags/godel" class="mention hashtag" rel="nofollow noopener" target="_blank">#godel</a> <a href="https://det.social/tags/physics" class="mention hashtag" rel="nofollow noopener" target="_blank">#physics</a> <a href="https://det.social/tags/logics" class="mention hashtag" rel="nofollow noopener" target="_blank">#logics</a> <a href="https://det.social/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#mathematics</a> <a href="https://det.social/tags/meme" class="mention hashtag" rel="nofollow noopener" target="_blank">#meme</a> <a href="https://det.social/tags/mamema" class="mention hashtag" rel="nofollow noopener" target="_blank">#mamema</a> <a href="https://det.social/tags/memes" class="mention hashtag" rel="nofollow noopener" target="_blank">#memes</a> <a href="https://det.social/tags/muppets" class="mention hashtag" rel="nofollow noopener" target="_blank">#muppets</a> <a href="https://det.social/tags/science" class="mention hashtag" rel="nofollow noopener" target="_blank">#science</a>

gprimieroCome work with us! 2 years postdoc position to develop <a href="https://scholar.social/tags/logics" class="mention hashtag" rel="nofollow noopener" target="_blank">#logics</a> for <a href="https://scholar.social/tags/trustworthy" class="mention hashtag" rel="nofollow noopener" target="_blank">#trustworthy</a> <a href="https://scholar.social/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#AI</a> within the BRIO Project ( <a href="https://scholar.social/tags/bias" class="mention hashtag" rel="nofollow noopener" target="_blank">#bias</a> <a href="https://scholar.social/tags/risk" class="mention hashtag" rel="nofollow noopener" target="_blank">#risk</a> and <a href="https://scholar.social/tags/opacity" class="mention hashtag" rel="nofollow noopener" target="_blank">#opacity</a> in <a href="https://scholar.social/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#AI</a> ) Deadline for applications is January 18th Details at <a href="https://sites.unimi.it/brio/post-doc-position-in-logic-at-luci-unimi/" rel="nofollow noopener" target="_blank">https://sites.unimi.it/brio/post-doc-position-in-logic-at-luci-unimi/</a>

Marta Bilkova<a href="https://mathstodon.xyz/tags/Introduction" class="mention hashtag" rel="nofollow noopener" target="_blank">#Introduction</a>: I am a logician and poet, based in Czech Academy of Sciences in Prague. My research interests circle around non-classical <a href="https://mathstodon.xyz/tags/logics" class="mention hashtag" rel="nofollow noopener" target="_blank">#logics</a>, in particular epistemic, many-valued, and coalgebraic logics. While I love <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#Logic</a> and do it for living, <a href="https://mathstodon.xyz/tags/Poetry" class="mention hashtag" rel="nofollow noopener" target="_blank">#Poetry</a> keeps me alive. I want to stay connected to <a href="https://mathstodon.xyz/tags/PoetryCommmunity" class="mention hashtag" rel="nofollow noopener" target="_blank">#PoetryCommmunity</a> here in fediverse.

Recent searches

Search options

Administered by:

Server stats:

#Logics