#smcc — Public Fediverse posts

Southeastern Europe is considered a biodiversity hotspot in Europe, including mammals. How do we know for sure? The Global Biodiversity Information Facility (https://GBIF.org) doesn't show many sightings and almost none in Albania, Greece, Romania and European Turkey! How is this possible, and how can we change this? Come to the Small Mammal Conservation Conference to find out.
https://smcc.habitatfoundation.org/

@gbif
#discovermammals #mammal #SMCC #rodent #Bulgaria #LIFE #saveraptors #survey

The energy transition is a prerequisite for an independent Europe, but please not at the expense of our fellow earth dwellers. Discuss ways to preserve their habitat at the Small Mammal Conservation Conference in September 2026.
https://smcc.habitatfoundation.org/

Early-bird registration is open till April 18.

#mammal #SMCC #LIFE #energytransition #rodent #saveraptors #hamster #souslik #vole #shrew #squirrel #hare #rabbit #habitatloss #solarpark #wind #hydropower #discovermammals #molerat #Bulgaria

The energy transition is a prerequisite for an independent Europe, but please not at the expense of our fellow earth dwellers. Discuss ways to preserve their habitat at the Small Mammal Conservation Conference.
https://smcc.habitatfoundation.org/

#mammal #SMCC #energy #LIFE #habitatloss #rodent #shrew #wind #sun #solarpark #hamster #souslik #vole #squirrel #mouse #rabbit #hare #saveraptors #Bulgaria #discovermammals

The energy transition is a prerequisite for an independent Europe, but please not at the expense of our fellow earth dwellers. Discuss ways to preserve their habitat at the Small Mammal Conservation Conference.
https://smcc.habitatfoundation.org/

#mammal #SMCC #energy #LIFE #habitatloss #rodent #shrew #wind #sun #solarpark #hamster #souslik #vole #squirrel #mouse #rabbit #hare #saveraptors #Bulgaria #discovermammals

Good news: the deadline for early bird registration to the Small Mammal Conservation Conference is moved to the 18th of April.
Register and discuss with fellow mammal lovers about ways to make the invisible small mammals noticed.
https://smcc.habitatfoundation.org

Photos: Rollin Verlinde / Vilda

#SMCC #discovermammals #molars #mammal #mouse #vole #shrew #rat #hare #rabbit #squirrel #dormouse #SMCC #Bulgaria hashtag#hamster #souslik #LIFE #saveraptors #rodent #agriculture #blind

Good news: the deadline for early bird registration to the Small Mammal Conservation Conference is moved to the 18th of April.
Register and discuss with fellow mammal lovers about ways to make the invisible small mammals noticed.
https://smcc.habitatfoundation.org

Photos: Rollin Verlinde / Vilda

#SMCC #discovermammals #molars #mammal #mouse #vole #shrew #rat #hare #rabbit #squirrel #dormouse #SMCC #Bulgaria hashtag#hamster #souslik #LIFE #saveraptors #rodent #agriculture #blind

Blind mole-rats spend most of their life underground. Inaccessible to birds of prey, but not to ploughs. How can we protect this invisible mammal?

Come to the first Small Mammal Conservation Conference and discuss this issue with fellow mammal lovers.

https://smcc.habitatfoundation.org/

Photos: Rollin Verlinde / Vilda

#discovermammals #molerat #blind #mammal #mouse #vole #shrew #rat #hare #rabbit #squirrel #dormouse #SMCC #Bulgaria #hamster #souslik #LIFE #saveraptors #rodent #agriculture

Blind mole-rats spend most of their life underground. Inaccessible to birds of prey, but not to ploughs. How can we protect this invisible mammal?

Come to the first Small Mammal Conservation Conference and discuss this issue with fellow mammal lovers.

https://smcc.habitatfoundation.org/

Photos: Rollin Verlinde / Vilda

#discovermammals #molerat #blind #mammal #mouse #vole #shrew #rat #hare #rabbit #squirrel #dormouse #SMCC #Bulgaria #hamster #souslik #LIFE #saveraptors #rodent #agriculture

Tomorrow is the last day for early birds to register for the Small Mammal Conservation Conference: https://smcc.habitatfoundation.org/

Photos: Nedko Nedyalkov (burned forest) and Rollin Verlinde / Vilda (hazel dormouse)

#discovermammals #mammal #hare #mouse #vole #shrew #dormouse #rabbit #SMCC #Bulgaria #molerat #wildfire #conservation #conference

Tomorrow is the last day for early birds to register for the Small Mammal Conservation Conference: https://smcc.habitatfoundation.org/

Photos: Nedko Nedyalkov (burned forest) and Rollin Verlinde / Vilda (hazel dormouse)

#discovermammals #mammal #hare #mouse #vole #shrew #dormouse #rabbit #SMCC #Bulgaria #molerat #wildfire #conservation #conference

The scientific committee of the Small Mammal Conservation Conference (SMCC) is known. Eleven scientists from eight countries will check the submitted abstracts for oral and poster presentations, and will prepare the programme. Submit your abstract and register as early bird before April:
https://smcc.habitatfoundation.org

#SMCC #discovermammals #voles #hamster #souslik #shrew #molerat #rat #squirrel #mouse #mice #Bulgaria

I am always careful, when discussing the organization of organisms, because saying things like "the whole is not the sum of its parts" makes people think I'm talking about vitalism or religion or something, but I'm talking about non-cartesian products which lack projections #RM3 #SMCC #AppliedCategoryTheory

I am always careful, when discussing the organization of organisms, because saying things like "the whole is not the sum of its parts" makes people think I'm talking about vitalism or religion or something, but I'm talking about non-cartesian products which lack projections #RM3 #SMCC #AppliedCategoryTheory

@maonu Locus Solum: From the Rules of Logic to the Logic of Rules

Category theory is quite useful for organizing logic, because you have different levels; some are purely syntactic rules, but you can easily label your arrows with meanings, or other elements of a monoidal product. Saying A => B is syntactic, and slightly different from the thing you might be intending to say, CT helps organize the levels

#topos #categorytheory #agents #SMCC

@maonu Locus Solum: From the Rules of Logic to the Logic of Rules

Category theory is quite useful for organizing logic, because you have different levels; some are purely syntactic rules, but you can easily label your arrows with meanings, or other elements of a monoidal product. Saying A => B is syntactic, and slightly different from the thing you might be intending to say, CT helps organize the levels

#topos #categorytheory #agents #SMCC

@maonu It is remarkable. In school we are taught that (sufficiently powerful) mathematical systems are either inconsistent or incomplete. Then everyone runs away screaming from inconsistency, and nobody ever seems to say, hey, wouldn't completeness be nice? If we have a choice ... completeness (and I might add constructive) seems to be a good tradeoff vs something we already do all the time. 3-valued logic is so ubiquitous you don't even notice it

I've always said the 5th fundamental force of the universe is the one that makes you accelerate when the light turns yellow

#rm3 #smcc

@maonu It is remarkable. In school we are taught that (sufficiently powerful) mathematical systems are either inconsistent or incomplete. Then everyone runs away screaming from inconsistency, and nobody ever seems to say, hey, wouldn't completeness be nice? If we have a choice ... completeness (and I might add constructive) seems to be a good tradeoff vs something we already do all the time. 3-valued logic is so ubiquitous you don't even notice it

I've always said the 5th fundamental force of the universe is the one that makes you accelerate when the light turns yellow

#rm3 #smcc

@dougmerritt It's not so much hand-waving because there is a formal mathematical proof. That's the part a lot of people don't get. This has all been done already, long ago. It's not a question, this is the answer. #RM3 #SMCC Also look up Linear Logic, which has RM3 as a subset. RM3 can be obtained from \( \mathbb Z_2 \) exactly the same way the Complex numbers are obtained from the Reals. The truth value "Both" is exactly like the square root of negative one. It solves the Liar Paradox. Search my posts. The Bellman's rule is right there. But Lovecraft would enjoy it, certainly. Being able to solve relevance fallacies does mean you can write some great fiction --- the best lies are true in binary logic.

@dougmerritt It's not so much hand-waving because there is a formal mathematical proof. That's the part a lot of people don't get. This has all been done already, long ago. It's not a question, this is the answer. #RM3 #SMCC Also look up Linear Logic, which has RM3 as a subset. RM3 can be obtained from \( \mathbb Z_2 \) exactly the same way the Complex numbers are obtained from the Reals. The truth value "Both" is exactly like the square root of negative one. It solves the Liar Paradox. Search my posts. The Bellman's rule is right there. But Lovecraft would enjoy it, certainly. Being able to solve relevance fallacies does mean you can write some great fiction --- the best lies are true in binary logic.

Gödel himself created a three valued logic because he PROVED that the 2-valued case doesn't WORK!

#RM3 #SMCC #categorytheory

Gödel himself created a three valued logic because he PROVED that the 2-valued case doesn't WORK!

#RM3 #SMCC #categorytheory