Patrick Hochstenbach

236 Followers
93 Following
108 Posts
Jikes, I discoverd today that my mastodon instance scholar.social is secure. This makes it harder for clients to access my toots and all. What to do?
Breaking my head these days to check languages that can used for reasoning for satisfiability. When a computer can't check if an input is satisfiable or not, then it can produce reasoning results when it shouldn't (from false input anything can follow). In general, checking for satisfiability is very hard ..languages need to be very restricted if you need that (e.g. if you don't trust your input sources and want to check them before executing them).
🔖 delightful activitypub development https://delightful.club/delightful-activitypub-development/ - A curated list of resources for ActivityPub developers who create software for the Fediverse.
delightful activitypub development

Delightful curated lists of free software, open science and information sources.

Amongst a flurry of questionable bills being introduced in American states recently, a new piece of legislation in Montana would prevent scientific theories from being taught in schools.

I tried to warn you this would be next.

https://www.iflscience.com/new-montana-bill-would-prevent-schools-teaching-scientific-theories-67451

New Montana Bill Would Prevent Schools Teaching "Scientific Theories"

When does a theory become a fact? This bill claims to know.

IFLScience

@OpenAIRE_eu announces end of Linked Open Data services. https://www.openaire.eu/pausing-our-lod-services

Would be good to have a better explanation. Lack of usage? Poor quality data? Too complex to sustain?

Any consequences for Open Knowledge Base, Narcis in Netherlands @maurice_

Via @chartgerink

Pausing our LOD services

OpenAIRE LOD services to be discontinued

OpenAIRE
Eschbach's NSA is a German alternative history novel where computers and the internet are available in NS-Germany. Uncle Siegmund just bought a computer and Father asks why he didn't subscribe to cloud storage.

Starting 2023, four universities are pausing or ending their Elsevier subscription due to exorbitant pricing.

Elsevier's subscription was costing them ~10% of their Libraries' entire budget.

"Elsevier’s prices have increased each year and have outpaced inflation"...this is despite Elsevier having the highest profit margins of virtually any other industry or publisher.

via https://www.dailyemerald.com/news/pressing-pause-on-elsevier-subscription/article_93c07dec-9120-11ed-8ce9-abbca97ab954.html
Figure via @MatteoCarandini
#OpenScience #AcademicPublishing #Science @academicchatter

Pressing ‘pause’ on Elsevier subscription

UO pauses its Elsevier subscription journal package and stands up for open access research alongside other universities.

Daily Emerald

"Study: Over 50% of academics admit to pirating research papers

A majority of the survey respondents say they used websites like Sci-Hub to avoid paywalls by accessing illegal copies of research. "

wow. sound like a healthy ecosystem?

https://www.fastcompany.com/90845744/study-over-50-of-academics-admit-to-pirating-research-papers

https://www.infodocket.com/2023/02/07/fast-company-study-over-50-of-academics-admit-to-pirating-research-papers/

The Code4Lib Journal is looking for volunteers to join its editorial committee. It is a great opportunity if you would like to be up-to-date with current trends in cultural heritage, Digital Humanities, and Data Science software development. Questions? -> send me a msg!
https://journal.code4lib.org/call-for-editors
The Code4Lib Journal – Call for Editors

@hochstenbach @Inquiry @bblfish as we are on the syntactic/semantic/pragmatic web the main point for me is to have independent implementations that run the examples and test cases in https://github.com/w3c-cg/rdfsurfaces/blob/main/etc.md
rdfsurfaces/etc.md at main · w3c-cg/rdfsurfaces

RDF Surfaces is classical first-order logic with negation in RDF - rdfsurfaces/etc.md at main · w3c-cg/rdfsurfaces

GitHub