Recent searches

No recent searches

Search options

Only available when logged in.
mastodon.world is one of the many independent Mastodon servers you can use to participate in the fediverse.
Generic Mastodon server for anyone to use.

Administered by:

Server stats:

8.1K
active users

mastodon.world: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.3

#semantics

6 posts6 participants4 posts today
Eric Maugendre

"Choreographic programming is a paradigm for concurrent and distributed software, whereby descriptions of the intended communications (choreographies) are automatically compiled into [decentralized code.
It is difficult to combine w/higher-order functions]: compilation is not modular (editing a part might require recompiling everything) and the generated code can perform unexpected global synchronisations."
portal.findresearcher.sdu.dk/e

University of Southern DenmarkModular Compilation for Higher-Order Functional Choreographies
#computing#compilation#CS
*
Katja Politt

Call for Short Papers (Posters): SemDial 2025 – The 29th Workshop on the Semantics and Pragmatics of Dialogue (Bialogue), September 3–5, 2025

Submit your short paper/poster to #SemDial2025 and come to Bielefeld! Submission deadline is July 18th, 23:59 UTC -12h (“Anywhere on Earth”).

For more information see semdial2025.github.io/

Bialogue 2025WelcomeBialogue 2025 – the 29th Workshop on the Semantics and Pragmatics of Dialogue
#linguistics#cfp#semantics
Allen Tien, MD, MHS mdlogix.com 94,698

#Science #Scientist #Semantics www.linkedin.com/posts/michae... #TimeBinding ##HumanReasoning #GeneralSemantics #Philosophy #Logic #BrainFunction

Before 1834, they were 'na...

www.linkedin.comBefore 1834, they were 'natural philosophers'; after one man's insight, they became 'scientists'—a term that reshaped the world. | Michael MagriBefore 1834, they were 'natural philosophers'; after one man's insight, they became 'scientists'—a term that reshaped the world. The word "scientist" as we know it didn't always exist. Think about that for a moment. It was in 1834 that William Whewell, a philosopher and historian of science, first put the term "scientist" into print. He suggested it because the study of nature was becoming fragmented. You had chemists, mathematicians, and physicists, all working in their own specialized areas. Whewell saw the need for a unifying term, much like the word "artist" describes individuals across various creative fields. Interestingly, he introduced the term not in his own major work, but in an anonymous review of a book titled *On the Connexion of the Physical Sciences*, written by Mary Somerville. While Whewell first proposed the idea at a meeting of the British Association for the Advancement of Science in Cambridge in 1833, it made its published debut the following year. It wasn't an instant success. For many years, people still commonly referred to these individuals as "natural philosophers" or "men of science." But gradually, the term "scientist" gained traction, and by the late 19th or early 20th century, it became the standard identifier. This single word helped to define a profession and provide a common identity for those dedicated to understanding the natural world Sources: The Quarterly Review, Reports from the British Association for the Advancement of Science
#humanreasoning
TrendingLive feeds
About