Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@Dragofix@mastodontti.fi
2026-08-06 14:41:02

Marjojen mahtavat ominaisuudet yllättävät – saatko kaikki oikein marjatestissä? #Marjat

@seav@en.osm.town
2026-10-06 13:21:22

#TuneTuesday (Oct 6)
“But you should never let the sun set on tomorrow before the sun rises today”
“If I Am” is not as popular as Nine Days’ hit song “Absolutely (Story of a Girl)”, but I consider this 2000 song to be the better one in terms of lyrics and musicality.

@Speckdaene@nrw.social
2026-09-06 17:48:17

#Deepwave.org All you need to know about Deep Sea Mining. Surprise: It is not about energy transition, not to secure resorces, not the good future for all of us. It's about profit for the very very few.

@usul@piaille.fr
2026-09-06 17:32:20

OSMstats - Statistics of the free wiki world map I'm contributor #3 in Mongolia versus 300 in France.
#osm

@Dragofix@veganism.social
2026-10-06 03:52:23

Satellite data reveal massive scale of routine oil pollution in oceans. See the map news.mongabay.com/short-articl

@arXiv_mathGM_bot@mastoxiv.page
2026-10-06 08:20:20

Ascertaining Learning: Generative AI, the Proxy Problem, and Cognitive Competence in University Mathematics
Bob Osano
arxiv.org/abs/2610.03844 arxiv.org/pdf/2610.03844 arxiv.org/html/2610.03844
arXiv:2610.03844v1 Announce Type: new
Abstract: For decades, university mathematics assessed executable procedure, computing and reproducing standard proofs, as a proxy for the understanding it cared about, because procedure was cheap to mark and understanding was not. Generative AI now executes much of this procedure. It does not merely let students bypass the proxy; it exposes how much of what was certified was a proxy. The crisis is not simply cheating but a proxy problem, and resolving it forces a question the discipline has long avoided: what is the irreducible human core of mathematical competence, and how can it be built when some of the executable work can be offloaded? We set out two futures: displacement-and-re-centering, in which AI takes over some execution and education moves toward judgment, formulation and verification; and atrophy, in which premature offloading may erode capacities that depend on prior construction. At the heart of the optimistic future is a verification instability: some forms of oversight are cheap and bounded, while others approach the competence required to construct the work. The outcome is a design choice, not a technological destiny. Rather than add a model, we state the response as two principles: construct before you delegate, and let verification set the ceiling: how far a student can independently verify AI output limits what they may safely delegate. We illustrate with a sequence and two worked problems, and close on the question: whether the construct-before-delegate dependency is a hard constraint or an artefact of how mathematics has been taught.
toXiv_bot_toot

@doktrock@toad.social
2026-09-05 14:20:37

A few Cretaceous age dinosaur bones have been discovered in #Minnesota - jaw portions of Terminonaris, and a tail vertebra of a hadrosaur. The state #fossil is the Giant Beaver; this specimen is from Saint Paul.
Crossover post

Fossil display, collection of the Science Museum of Minnesota
The Time of the Dinosaurs Lots of Life, but Few Dinos
Towards the end of the time of the dinosaurs, an ocean covered much of Minnesota. Its warm, shallow waters teemed with sharks, long-necked marine reptiles, and ancient crocodiles! But dinosaurs only lived on land, so their fossils are extremely rare here.
Crocodilian Jaw Portion
Terminonaris robusta
About 95 million years old
Cretaceous Period
Calumet, Minnesota
Cast
SMM P68.56.1
…
Display of a giant beaver skeleton.
Sign:
Meet Minnesota's State Fossil:
The Giant Beaver
At the end of the last ice age, this rodent of unusual size inhabited waterways and glacial lakes throughout North America.
With its buck teeth and aquatic lifestyle, it probably looked a lot like modern beavers. But you would have noticed at least one big difference: weighing up to 200 pounds, it was the size of a small bear.
Size isn't the only difference between this ice age giant and its modern cousins. Scientists think the giant beaver …
@thesaigoneer@social.linux.pizza
2026-08-08 00:22:07

When you literally look NetBSD up last night and Tonybtw releases a video on how to set it up, with his own oxwm.
You know where that Saturday is going 🤣
#oxwm #netbsd

@ber@osna.social
2026-09-07 14:20:45

@… @… Soweit ich mich erinnern kann, ist

@seav@en.osm.town
2026-10-07 05:35:21

A short PBS Terra video about the rare South American Hurricane Catarina in 2004 with a short sidebar on why the Philippines is the most vulnerable to disasters.
#PBS