Discussion
Loading...

#Tag

  • About
  • Code of conduct
  • Privacy
  • Users
  • Instances
  • About Bonfire
theruran 💻 🌐 :cereal_killer: and 1 other boosted
Hendrik Weimer
@hweimer@fediscience.org  ·  activity timestamp last week

Given the drama surrounding the arXiv for its dependence on Google and its recent ban on review articles in computer science, I have a question:

Do we still need the arXiv?

Wouldn't a federated network of institutional repositories be a much better option?

#arXiv #academicchatter #physics #math #cs #ActivityPub

  • Copy link
  • Flag this post
  • Block
Hendrik Weimer
@hweimer@fediscience.org  ·  activity timestamp last week

Given the drama surrounding the arXiv for its dependence on Google and its recent ban on review articles in computer science, I have a question:

Do we still need the arXiv?

Wouldn't a federated network of institutional repositories be a much better option?

#arXiv #academicchatter #physics #math #cs #ActivityPub

  • Copy link
  • Flag this post
  • Block
Charlie Stross
@cstross@wandering.shop  ·  activity timestamp 4 months ago
@swelljoe @mos_8502 The nearest thing to that currently in existence is the Raspberry Pi—which, with 68 million units sold, *is* on that kind of scale. Except each new iPhone generation outsells it by more than an order of magnitude.

People who actually want a personal computer they can program are a niche market, albeit vastly larger than in 1982. And it's a good thing they exist, because most users of modern CPUs have no idea or interest whatsoever—it's just a phone to them.

☮ ♥ ♬ 🧑‍💻
@peterrenshaw@ioc.exchange replied  ·  activity timestamp 4 months ago
@cstross “People who actually want a personal computer they can program are a niche market, albeit vastly larger than in 1982”

The roots of the #Mega65 lay in #CS #education with #students not being able to grasp the basics not because of lack of intelligence, but through the lack of exposure to basic computing hardware.

“By insulating new computer science and IT students from how computers really work, we may well be disadvantaging them, by preventing them from learning how a computer really works. It's quite the same idea as starting a mechanic on a simple old car, instead of on a nuclear submarine: make the important details visible so that they can be learnt.” — Paul Gardner-Stephen

<https://c65gs.blogspot.com/2015/12/is-this-first-academic-slide.html>

@swelljoe @mos_8502

  • Copy link
  • Flag this comment
  • Block
Ulrike Hahn boosted
Nick Byrd, Ph.D.
@ByrdNick@nerdculture.de  ·  activity timestamp 5 months ago

How are concepts like 'reasoning' and 'inference' defined?

#Philosophy has definitions that go way back (e.g., in #epistemology and #PhilMind). Now #computerScience are realizing a need for definitions.

This #openAccess#CS review takes a crack at them: https://doi.org/10.48550/arXiv.2504.15900

"...we formalize reasoning as a structured, multi-step process that dynamically decomposes complex problems, generates intermediate hypotheses, and iteratively refines solutions through logical and evidence-based transformations."

"While inference I constitutes a single-step conditional probabilÎ𝑡=1 𝑇  ity computation 𝑃( 𝑦 |𝑥) = 𝑃( 𝑦 𝑡 |𝑥, 𝑦 <𝑡 ), reasoning R implements a meta-process coordinating multiple inference calls through explicit state management R(𝑥) = Φ 1 ◦ Φ 2 ◦ · · ·◦Φ 𝑛(𝑥). T"
"...we formalize reasoning as a structured, multi-step process that dynamically decomposes complex problems, generates intermediate hypotheses, and iteratively refines solutions through logical and evidence-based transformations." "While inference I constitutes a single-step conditional probabilÎ𝑡=1 𝑇 ity computation 𝑃( 𝑦 |𝑥) = 𝑃( 𝑦 𝑡 |𝑥, 𝑦 <𝑡 ), reasoning R implements a meta-process coordinating multiple inference calls through explicit state management R(𝑥) = Φ 1 ◦ Φ 2 ◦ · · ·◦Φ 𝑛(𝑥). T"
"...we formalize reasoning as a structured, multi-step process that dynamically decomposes complex problems, generates intermediate hypotheses, and iteratively refines solutions through logical and evidence-based transformations." "While inference I constitutes a single-step conditional probabilÎ𝑡=1 𝑇 ity computation 𝑃( 𝑦 |𝑥) = 𝑃( 𝑦 𝑡 |𝑥, 𝑦 <𝑡 ), reasoning R implements a meta-process coordinating multiple inference calls through explicit state management R(𝑥) = Φ 1 ◦ Φ 2 ◦ · · ·◦Φ 𝑛(𝑥). T"
  • Copy link
  • Flag this post
  • Block
Nick Byrd, Ph.D.
@ByrdNick@nerdculture.de  ·  activity timestamp 5 months ago

How are concepts like 'reasoning' and 'inference' defined?

#Philosophy has definitions that go way back (e.g., in #epistemology and #PhilMind). Now #computerScience are realizing a need for definitions.

This #openAccess#CS review takes a crack at them: https://doi.org/10.48550/arXiv.2504.15900

"...we formalize reasoning as a structured, multi-step process that dynamically decomposes complex problems, generates intermediate hypotheses, and iteratively refines solutions through logical and evidence-based transformations."

"While inference I constitutes a single-step conditional probabilÎ𝑡=1 𝑇  ity computation 𝑃( 𝑦 |𝑥) = 𝑃( 𝑦 𝑡 |𝑥, 𝑦 <𝑡 ), reasoning R implements a meta-process coordinating multiple inference calls through explicit state management R(𝑥) = Φ 1 ◦ Φ 2 ◦ · · ·◦Φ 𝑛(𝑥). T"
"...we formalize reasoning as a structured, multi-step process that dynamically decomposes complex problems, generates intermediate hypotheses, and iteratively refines solutions through logical and evidence-based transformations." "While inference I constitutes a single-step conditional probabilÎ𝑡=1 𝑇 ity computation 𝑃( 𝑦 |𝑥) = 𝑃( 𝑦 𝑡 |𝑥, 𝑦 <𝑡 ), reasoning R implements a meta-process coordinating multiple inference calls through explicit state management R(𝑥) = Φ 1 ◦ Φ 2 ◦ · · ·◦Φ 𝑛(𝑥). T"
"...we formalize reasoning as a structured, multi-step process that dynamically decomposes complex problems, generates intermediate hypotheses, and iteratively refines solutions through logical and evidence-based transformations." "While inference I constitutes a single-step conditional probabilÎ𝑡=1 𝑇 ity computation 𝑃( 𝑦 |𝑥) = 𝑃( 𝑦 𝑡 |𝑥, 𝑦 <𝑡 ), reasoning R implements a meta-process coordinating multiple inference calls through explicit state management R(𝑥) = Φ 1 ◦ Φ 2 ◦ · · ·◦Φ 𝑛(𝑥). T"
  • Copy link
  • Flag this post
  • Block
Log in

bonfire.cafe

A space for Bonfire maintainers and contributors to communicate

bonfire.cafe: About · Code of conduct · Privacy · Users · Instances
Bonfire social · 1.0.0 no JS en
Automatic federation enabled
  • Explore
  • About
  • Members
  • Code of Conduct
Home
Login