@SvenGeier@mathstodon.xyz
@SvenGeier@mathstodon.xyz avatar

SvenGeier

@SvenGeier@mathstodon.xyz

Geometry, Physics, Art, Math.

https://scholar.google.com/citations?user=G0JsJQMAAAAJ

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

julesh, to random
@julesh@mathstodon.xyz avatar

I have removed the rss feed of my mastodon account from the sidebar of julesh.com. It was super buggy and looked ugly as hell anyway. For the first time in like 7 years I no longer have a social media account mirrored on my professional homepage. I'm finally free

SvenGeier,
@SvenGeier@mathstodon.xyz avatar

@julesh
Slight reformat of your first two sentences would make this recognizable as a William Carlos Williams poem ...

SvenGeier, to random
@SvenGeier@mathstodon.xyz avatar

I guess you could say I'm a morning person who loves getting more stuff done before sunrise than most people do all day.

I don't know WHY you'd say that because it's totally not true, but you COULD totally say that.

TodePond, to random
@TodePond@mas.to avatar

help me stress test this

Push the button and the number goes up for EVERYONE
(after some delay)

https://www.todepond.com/wikiblogarden/tadi-web/lab/counter/

clicking a button. number goes up for everyone

SvenGeier,
@SvenGeier@mathstodon.xyz avatar

@TodePond

gregeganSF, to random
@gregeganSF@mathstodon.xyz avatar

Saw someone hyperventilating over LLMs “passing the mirror test”, so …

TL;DR This short program “recognises itself”: show it a file containing its own source code and it will print “This is me!”

Underwhelmed? You should be! But I did have to type a lot of backslashes.

SvenGeier,
@SvenGeier@mathstodon.xyz avatar

@gregeganSF @sigmasternchen
The value of current-gen LLMs is not their intelligence. They aren't intelligent. They're dumb as rocks.
The value of current-gen LLMs lies in rubbing people's noses in just how much of human action, reaction, interaction requires no smarts at all and can be performed quite adequately by something that is dumb as rocks.

SvenGeier,
@SvenGeier@mathstodon.xyz avatar

@sigmasternchen @gregeganSF I think the mindset of "LLMs aren't intelligent" comes from things like Bing confidently answering the question "Is Australia real" with "No" because there are three sources on the internet that say so. It brings home that it has no conception what Australia is, that there is a globe with countries and oceans and such and that there are people living there and all. It's all just language, not representing anything underneath.
I understand that there's a "technical" definition of the word "intelligence", and by that definition my thermostat is "intelligent" because it can turn on the heater when it gets too cold. Sure. Anybody can define anything in any way, of course. I am pretty confident that I speak for the majority of English-speakers, though, when I reserve words like "intelligent" for entities that know to come inside when it rains... 🤷‍♂️

SvenGeier,
@SvenGeier@mathstodon.xyz avatar

@sigmasternchen @gregeganSF
There are (at least) two things being conflated here - in my own toot already, so I bear a portion of responsibility for this.
One is about language: Contrary to German or French there is no "defining authority" for English, no body or entity that gets to say what words mean. If you want to be intelligible you will have to accept what the majority of English speakers mean with a word or you're merely talking to yourself. Technical disciplines will easily develop jargon: specific sub-meanings of words immediately obvious to members of the discipline but divorced from what people 'in general' mean with that same word. Physicists have a very clear, precise, well-defined notion of "force", for example, that is in conflict with phrases like "the forces of history" that is entirely understandable to the general English speaker. And that's OK: physicists will use the word in one way when speaking to other physicists and in a different way when speaking to a mixed audience. Easy. Likewise, there's no problem with a definition of "intelligence" that stipulates my thermostat is intelligent because it takes the right action (turn on the heat) in the right situation (when it's cold).
1/3

TodePond, to random
@TodePond@mas.to avatar

patrons over time

SvenGeier,
@SvenGeier@mathstodon.xyz avatar

@TodePond What happened in april last year?

lowqualityfacts, to random
@lowqualityfacts@mstdn.social avatar

I can feel it happen.
https://patreon.com/lowqualityfacts

SvenGeier,
@SvenGeier@mathstodon.xyz avatar

@lowqualityfacts What happens when I count sideways?

algebraicyclist, to random
@algebraicyclist@mathstodon.xyz avatar

survey results are in! https://cims.nyu.edu/~tjl8195/survey/results.html

SvenGeier,
@SvenGeier@mathstodon.xyz avatar

@algebraicyclist
LOVE reading this. Clearly I'm sometimes with the majority and sometimes with the minority (that's OK). But here's a few comments:
Q1: you write "A slight majority for 0!" when the majority is for 0, not for 0!(=1). If this is intentional, then it's clever.
Q3: you write "I am not aware of any compelling argument for 0⁰=0." It's that 0ˣ=0 for any 𝑥≠0, so why not fill in that one point?
Q5: writing by hand, the curly φ is a single stroke
(observation: I'm in the majority on the empty graph, but in the minority on the empty set. Hum.🤔)
Q26: why are the answers listed with the second-most common first?
Q35: writing two entities next to each other should never mean anything. Not even 2𝑥 .
Q45: henceforth I shall define a tensor as "𝒘𝒉𝒂𝒕𝒆𝒗𝒆𝒓 𝒉𝒂𝒔 𝒕𝒆𝒏𝒔𝒐𝒓 𝒗𝒊𝒃𝒆𝒔"
Q50: omits option 3: ambiguous question (mentioned in the Wikipedia article)
Q51: ]1,2[ is taught in Germany as well (or was in 80oies/90ies). "(1,2)" has too many different other conventional meanings in math
Q53: just to be contrarian: 𝐿₂(]0,1[)
Q64: 𝑓 is invertible and domain=codomain - is that not what "one-to-one" means?
Q68: I think "pushforward" is currently popular from LLMs (going from semantic space to latent space and then pullback in the other direction). Personally, I like it and think we should keep it.
Q73: I've never even heard of "irrotational". curl-free sounds just fine to me.
Q84: How about 𝐴ᵁ⁺²²⁰¹ ?
Q85: You used "surface" in the question. Would the result change if you used "area" instead?
Q89: I am apparently respondent 1487. So much for anonymity.

SvenGeier,
@SvenGeier@mathstodon.xyz avatar

@algebraicyclist aww - now i need to track down the author and point them to my comments...

julesh, to random
@julesh@mathstodon.xyz avatar

Homotopy type theory be like “all values are equal to themselves, but some values are more equal to themselves than others”

SvenGeier,
@SvenGeier@mathstodon.xyz avatar

@johncarlosbaez @julesh Symmetry groups doubly so.

foone, to random
@foone@digipres.club avatar

My main problem with the idea of magic where you draw transmutation circles and such is that I am certain that if they worked, I'd be able to build a PCB to cast the same spell.
And now you've got a setting where your toaster works by casting tiny fireballs. Do you want that?

SvenGeier,
@SvenGeier@mathstodon.xyz avatar

@foone DDR timing spec implies 3mm trace length somewhere can make the difference between a successful and unsuccessful read. 3mm. Trust me that the exact shape of the traces has immense effect on the function even before we're talking about impedance and such...

SvenGeier,
@SvenGeier@mathstodon.xyz avatar

@foone Every PCB designer makes antennae. The difference between them is whether they make them intentionally or unintentionally.

christianp, to typst
@christianp@mathstodon.xyz avatar

This morning I'm looking at .
The first thing in the tutorial (https://typst.app/docs/tutorial/writing-in-typst/) is how to write a header, and it annoys me that it makes the same mistake HTML, and everything following HTML, made: you specify the level of the heading absolutely, and it's not scoped to a section of the document.

So when you want to have a heading one level lower, you have to know what level the previous heading was. And you can't tell how much of the document the heading applies to, only inferring it as going until the next header of the same or higher level.

I've always wondered why has
\section{name}
instead of
\begin{section}{name} ... \end{section}

Am I alone in wanting this?

SvenGeier,
@SvenGeier@mathstodon.xyz avatar

@christianp at first I was wondering why you would want an error message. Then I realized that this was generated by my reader in response to something you had entered that was invalid latex.
This is an interesting conundrum in how to present code in an environment that respond to that code:

julesh, to random
@julesh@mathstodon.xyz avatar

Blind reviewing: author doesn't know who the reviewer is, reviewer knows who the author is (eg. most peer review)
Double blind reviewing: author doesn't know who the reviewer is, reviewer doesn't know who the author is (eg. some peer review)
Reverse blind reviewing: author knows who the reviewer is, reviewer doesn't know who the author is (eg. some assessment marking)

SvenGeier,
@SvenGeier@mathstodon.xyz avatar

@julesh A recent AI generated publication in a prominent journal suggests a blinding scheme where neither the author nor the reviewer (nor the editor, apparently) actually read the paper...

TodePond, to random
@TodePond@mas.to avatar

my response to my recent twitter virality

i don't like the word "just", part two

https://www.todepond.com/wikiblogarden/better-computing/just/just/

SvenGeier,
@SvenGeier@mathstodon.xyz avatar

@TodePond
In a just world we would just ignore the trolls and it would re-adjust the dialogue to just proportions. But bringing the perpetrators to a just punishment would feel just right.

Having just typed this I fear this toot might be just too late, even though the incident just happened. But it might just lighten your day, which would be just wonderful.

SvenGeier,
@SvenGeier@mathstodon.xyz avatar

@TodePond (I'm sorry, I just couldn't resist. This word is just so versatile.)

zanzi, to random
@zanzi@mathstodon.xyz avatar

judge: do you swear to tell the truth the whole truth and nothing but the truth

Gödel: sweating profusely

SvenGeier,
@SvenGeier@mathstodon.xyz avatar

@zanzi Opposing counsel Alfred Tarski [rubbing hands]

TodePond, to random
@TodePond@mas.to avatar

experimental:
view my mastodon feed

at https://todepond.com/micro

scrolling down my feed

SvenGeier,
@SvenGeier@mathstodon.xyz avatar

@TodePond
That micro feed shows the post that shows the micro feed. But it's an outdated version that has the post previous to it (about brush size) as the top post, so it does not show the post that shows the micro feed in the post that shows the micro feed. If that could be updated, then the post that shows the micro feed would show the micro feed that shows the post that shows the micro feed that shows the actual post that shows the micro feed.
Or something. 🤪

julesh, to random
@julesh@mathstodon.xyz avatar

I hoped to be able to have a day off on Sunday but things didn't work out so now i have to work Sunday as well as working today and until 10pm last night

SvenGeier,
@SvenGeier@mathstodon.xyz avatar

@julesh Welcome to academia (especially teaching)?

christianp, to random
@christianp@mathstodon.xyz avatar

Is there a rich text editor on Linux that isn't absolute dross? LibreOffice Write just crashed trying to open the font selector.

Like, has anyone started from scratch in the last 5 years? I don't need tonnes of features, just formatted text

SvenGeier,
@SvenGeier@mathstodon.xyz avatar

@christianp https://docs.google.com ?

julesh, to random
@julesh@mathstodon.xyz avatar

Compiler that plays a "ping" sound like a microwave when your build is done

SvenGeier,
@SvenGeier@mathstodon.xyz avatar

@julesh a line of "tput bel" at the end of your makefile should ring your terminal bell ...

(If you want fancier sounds, "cat soundfile.wav >> /dev/dsp" should do everything you like)

ProfKinyon, to random
@ProfKinyon@mathstodon.xyz avatar

View of our back porch and backyard

SvenGeier,
@SvenGeier@mathstodon.xyz avatar

@ProfKinyon
I love looking at the snow.
On my screen.
From Southern California.
🥶

batkaren, to random
@batkaren@mastodon.online avatar

I know I’ve said it before, but this might be the one, The New Yorker! 🤞🏻

SvenGeier,
@SvenGeier@mathstodon.xyz avatar

@batkaren I thought "Gesundheit" was a shoo-in ... 🤷‍♂️🤔

lowqualityfacts, to random
@lowqualityfacts@mstdn.social avatar

A lot of people think it's German, but they're wrong.
https://patreon.com/lowqualityfacts

SvenGeier,
@SvenGeier@mathstodon.xyz avatar

@lowqualityfacts Germany's UNofficial language is Klingon, of course...

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