@joshuagrochow@mathstodon.xyz avatar

joshuagrochow

@joshuagrochow@mathstodon.xyz

Assoc. Professor @ CU Boulder Comp. Sci. & Math; Research interests: theoretical computer science, pure mathematics, and complex systems.
Other interests: climate change; accurate (long)COVID info; equity, inclusion, & accessibility; improving academia. #BlackLivesMatter #TransRightsAreHumanRights #LandBack #CovidIsAirborne #CleanTheAir #StillMasking #MaskUp #TCS #TheoryCS #math #ComplexSystems #complexity (both kinds) #academia

This profile is from a federated server and may be incomplete. Browse more on the original instance.

emilymbender, to random
@emilymbender@dair-community.social avatar

Ready for more Mystery AI Hype Theater 3000?

Join me & @alex on June 10, when we get to chat with Prof. @safiyanoble about Google's AI Overviews -- in the long context of Google's warping of information access.

Monday June 10, noon Pacific
https://www.twitch.tv/dair_institute

timnitGebru, to random
@timnitGebru@dair-community.social avatar

I was so fixated on Google and Amazon being the 2 main sponsors of FAccT that I completely missed the TESCREAL "Survival and Flourishing Fund."

I think I'm done.

https://survivalandflourishing.fund/

matiu_bidule, to internet French
@matiu_bidule@mamot.fr avatar





Voilà où on en est : les USA gardent leurs centrales à charbon, pour fournir de l'énergie aux IA.
Ce futur est stupide.

TheConversationUS, to news
@TheConversationUS@newsie.social avatar

Mexico has elected its first female president – but that victory is unlikely to end the long battle for women’s rights there
https://theconversation.com/mexico-elects-first-female-president-but-will-that-improve-the-lot-of-countrys-women-231461

aronow, to llm
@aronow@hachyderm.io avatar

Question for my friends:

I have a newly graduated SW Eng (BS in CS) who is struggling to find a job and getting advice to go back and get a Master’s Degree in in order to be more marketable.

I’ve always heard that grad degrees aren’t strictly necessary in SWE to start but is this changing? Are there other time investments that make more sense (open source contributions, certifications, personal projects, etc?)?

What would you give a newly degreed ?

rwxrwxrwx, to math
@rwxrwxrwx@mathstodon.xyz avatar

Variations on a theme:

"The world is continuous, but the mind is discrete." —David Mumford (as cited in https://matthbeck.github.io/ccd.html)

#math

alexisbushnell, to ADHD
@alexisbushnell@toot.wales avatar

I'm not a podcast person but if I was, I would totally be listening to ADHD: Women Exploring the Neuroverse by Rachael Massey. The podcast specifically focuses on late diagnosed women and they have some spectacular guests too.

If you love a podcast, especially if you're a late diagnosed #ADHD woman, do go check it out: https://podcasters.spotify.com/pod/show/adhd-women-neuroverse .

#Podcast
https://podcasters.spotify.com/pod/show/adhd-women-neuroverse

streetartutopia, to random
@streetartutopia@mastodon.online avatar

The Incredible Ocean Statue of Neptune (Poseidon) in Gran Canaria, Spain: https://streetartutopia.com/2024/06/01/the-incredible-ocean-statue-of-neptune-poseidon-in-gran-canaria-spain/

emilymbender, to random
@emilymbender@dair-community.social avatar

/ trying to find citations:

Does anyone know of studies looking at how peer review (in any field/across fields) favors or disfavors work that uses "AI" methods?

freakonometrics, to random French
@freakonometrics@mastodon.social avatar

"The climate crisis reveals that our civilization has never really been organized around science, contrary to the usual Enlightenment narrative. It is organized around capital. Science is embraced when it serves the interests of capital, and is often ignored when it does not." https://twitter.com/jasonhickel/status/1479127795330686984 (https://www.jasonhickel.org/)

highergeometer, to random
@highergeometer@mathstodon.xyz avatar

Steve Vckers speaking at the Topos Institute: the real line is not a set 😏

https://www.youtube.com/watch?v=L6LPEFteLts

abvolition, to disability
@abvolition@spore.social avatar
kate, to random
@kate@fosstodon.org avatar

We blocked Anthropic’s ClaudeBot across the 6,000 sites we host at 7:55 this morning. On our busiest server this caused traffic to drop from a peak of 493 requests per second to just 90:

TCMuffin, to random
@TCMuffin@toot.wales avatar

Having given up on Facebook years ago because of my concerns about privacy, I rarely login now.

This is a heads up about Meta, privacy, and your data.

From 26 June 2024, Facebook will use your photos, posts, and other info to train its AI.

You can opt out...but Meta has intentionally made it complicated!

Here is a detailed “How to opt out” with screenshots.

On the next page, select "Information about objections and how you can object on Facebook and hit the "Enter" key. Scroll down to "How can I submit an objection?" and click on the link to "here" in the first sentence of this section "You can submit an objection by following the instructions here..." On the next page, entitled "Managing your information and submitting objections” click on the radio button next to “Yes”. When you click on the radio button for “Yes”, you will finally be taken to the form where you can object “Object to your information being used for Al at Meta”. Complete your “Country of residence” and “Email address” fields and move on to the “Please tell us how this processing impacts you.” field. Obviously how you complete this is your personal preference, but I have written this: "My photos are personal and contain images of my face associated with my IRL name. This data could be used to generate “deep fake” images using my likeness, if it is included in Al training. I further object to captions being used as these may contain personal information some of which may be associated with children.
“Meta processing my posts, photos and their captions, the messages I send to Al, and whatever other data Meta decides to scrape, invades my privacy as a private citizen and feeds into a technology which threatens the future of our planet by its insatiable appetite for limited resources, e.g. energy and water.” I have not completed the section entitled "Please provide any additional information that could help us review your objection.”
You will then be asked to confirm your email address via an OTP. Almost immediately, I received a response from Facebook, honouring my request: Support message. Today at 16:17. Our reply Hi Jayne, We've reviewed your request and will honor your objection. This means your request will be applied going forward. If you want to learn more about generative Al, and our privacy work in this new space, please review the information we have in Privacy Center. facebook.com/privacy/genai This inbox cannot accept incoming messages. If you send us a reply, it won't be received. Thanks, Privacy Operations We may use your data for personalisation, innovation, research and other purposes described in our Privacy Policy.

thomasfuchs, to random
@thomasfuchs@hachyderm.io avatar

Saying adding more content to an autocomplete algorithm brings it closer to being sentient or even to being intelligent is like saying adding more steering wheels to a car suddenly will make it self-driving

tao, to random
@tao@mathstodon.xyz avatar

In math research papers (particularly the "good" ones) one often observes a negative correlation between the conceptual difficulty of a component of an argument, and its technical difficulty: the parts that are conceptually routine or straightforward may take many pages of technical computation, whereas the parts that are conceptually interesting (and novel) are actually relatively brief, once all the more routine auxiliary steps (e.g., treatment of various lower order error terms) are stripped away.

I theorize that this is an instance of Berkson's paradox. I found the enclosed graphic from https://brilliant.org/wiki/berksons-paradox to be a good illustration of this paradox. In this (oversimplified) example, a negative correlation is seen between SAT scores and GPA in students admitted to a typical university, even though a positive correlation exists in the broader population, because students with too low of a combined SAT and GPA will get rejected from the university, whilst students with too high a score would typically go to a more prestigious school.

Similarly, mathematicians tend to write their best papers where the combined conceptual and technical difficulty of the steps of the argument is close to the upper bound of what they can handle. So steps that are conceptually and technically easy don't occupy much space in the paper, whereas steps that are both conceptually and technically hard would not have been discovered by the mathematician in the first place. This creates the aforementioned negative correlation.

Often the key to reading a lengthy paper is to first filter out all the technically complicated steps and identify the (often much shorter) conceptual core.

tao,
@tao@mathstodon.xyz avatar

An addendum: good mathematical writers will try to compensate for this negative correlation by trying to highlight the conceptual core of the argument as much as possible, for instance by providing heuristic discussion in the introduction, moving technical computations to appendices (or at least containing them within specific lemmas), or introducing good notation designed to accentuate the conceptual ideas of the paper, and conceal the less interesting technical details as much as possible.

danderson, to random
@danderson@hachyderm.io avatar

How to tell your OSS is ridiculously popular: people aren't 100% sure they didn't embed it, and tack on the software equivalent of "packaged in a facility where peanuts were also present" to the license list.

This watch contains software, so statistically probably contains at least traces of curl.

timnitGebru, to random
@timnitGebru@dair-community.social avatar

5k Eritreans estimated to flee EACH MONTH & 22% of asylum seekers arriving in Europe were Eritrean, 2nd only to Syrians even though the latter have 6x the population of Eritrea.

This is 8 years ago. Things have only gotten exponentially worse.

https://www.youtube.com/watch?v=EB-CJ_AtCos

TheodoreKim, to random
@TheodoreKim@mastodon.online avatar

Hey Graphics Folks, ever wonder who the “Phong” was that invented Phong shading?

Turns out his last name wasn’t Phong, that online picture of him isn't even him, and his death is connected to the U.S. military’s use of chemical weapons during the Vietnam War.

Dr. Oh, Dr. Tran, and I wrote about it here:
https://time.com/6974656/toy-story-vietnam-war/

TheConversationUS, (edited ) to news
@TheConversationUS@newsie.social avatar

TGIF! It's #news #quiz day. Here's this week's first question:

A majority of recent graduates say they want to work for companies that try to improve society rather than generate profits. What are researchers calling this new young cohort?

Check your answer and try questions on impregnation, pollination and carbonation:
https://theconversation.com/the-conversation-u-s-weekly-news-quiz-189437

/ / /

DAIR, to random
@DAIR@dair-community.social avatar

Angie Wang's illustrated essay for the New Yorker, wondering whether her child's early attempts at speech were the same as LLMs, was a finalist for the 2024 Pulitzer Prize. "A toddler has a life, and learns language to describe it. An L.L.M. learns language but has no life of its own to describe," she writes.

Read On The New Yorker's Website: https://www.newyorker.com/humor/sketchbook/is-my-toddler-a-stochastic-parrot

DAIR,
@DAIR@dair-community.social avatar

For Stochastic Parrot tidbits on our website, including a game you can play, go to our Stochastic Parrots Day archive: https://www.dair-institute.org/stochastic-parrots-day/

cfiesler, to random
@cfiesler@hci.social avatar
TaliaRinger, to random
@TaliaRinger@mathstodon.xyz avatar

Any mathematicians looking for CS partners for the NSF proposal on AI for Math? We are thinking of doing something related to discovering relations as well as automatically formalizing proofs from both natural language and diagrams drawn by hand. We have a few other ideas too.

MartinEscardo, to random
@MartinEscardo@mathstodon.xyz avatar

I would like to advertise the PhD Thesis of my former student, and recently, new colleague, @todd

His thesis explores optimisation and regression in constructive univalent mathematics.

https://arxiv.org/abs/2401.09270

For this, he applied the theory of searchable types to real numbers.

Moreover, he formalized his results in TypeTopology in Agda.

https://www.cs.bham.ac.uk/~mhe/TypeTopology/TWA.Thesis.index.html

Because he was a member of staff when he defended his thesis, he needed two external examiners (and wasn't allowed to have an internal examiner) in the UK system. They were John Longley and Ulrich Berger.

christianp, to random
@christianp@mathstodon.xyz avatar

On 20th June, I'll be in Glasgow for the workshop "Towards improving the accessibility of the mathematical sciences for visually impaired people", talking about my work on Chirun (https://chirun.org.uk/)

If any mathstonauts will be in Glasgow that day, it'll be nice to meet you!

  • All
  • Subscribed
  • Moderated
  • Favorites
  • JUstTest
  • mdbf
  • ngwrru68w68
  • modclub
  • magazineikmin
  • thenastyranch
  • rosin
  • khanakhh
  • InstantRegret
  • Youngstown
  • slotface
  • Durango
  • kavyap
  • DreamBathrooms
  • megavids
  • GTA5RPClips
  • tacticalgear
  • normalnudes
  • tester
  • osvaldo12
  • everett
  • cubers
  • ethstaker
  • anitta
  • provamag3
  • Leos
  • cisconetworking
  • lostlight
  • All magazines