Tootfinder

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

@digitalnaiv@mastodon.social
2025-07-15 09:19:05

Dignan analysiert: Apples KI-Rückstand ist so gravierend wie Microsofts „Mobile-Fail“. Perplexity als Allheilmittel? Kaum. Aber Tim Cook braucht dringend eine Story für den Kapitalmarkt—zur Not für 20 Mrd. Dollar. #TechDebatte #Apple

@tante@tldr.nettime.org
2025-06-16 09:24:59

In the end it seems to me that one of the main distinctions between people who see LLMs as good and those who don't is whether they see the digital part of the world as "content" or "people".
If it's all just content, LLMs make sense. If it's where people live LLMs become a somewhat dumb idea.

@inthehands@hachyderm.io
2025-07-14 16:42:52

In a saner environment, we’d be having a reasonable conversation about that: in what ways, if any, can a machine that repeats contextual patterns with no sense of meaning augment humans thinking through tricky things? In ways can it mislead? When, if ever, is it worth the tradeoffs? the resource costs? etc etc.
Right now, the off-the-charts money and hype make that reasonable conversation impossible except perhaps in hushed corners. (Please do not have that argument in my replies. I am tired.)
7/

@thesaigoneer@social.linux.pizza
2025-07-15 03:18:48

One aspect that's often overlooked with dwm is its portability and uniqueness.
The dwm I'm sporting is one that no one else has; it is totally mine and in that sense unique.You build your own program, patches, binds et al.
Making sure all prerequisites are fulfilled you can then just copy your suckless configs to basically any distro and run a make clean install.
That's why I learned to love dwm and why it's still the best wm around, wayland or not.

screenshot of the kitty terminal on gentoo, running dwm
@memeorandum@universeodon.com
2025-06-13 12:31:06

The One Area Where Trump's N.I.H. Cuts Might Actually Make Sense (Jerel Ezell/New York Times)
nytimes.com/2025/06/13/opinion
memeorandum.com/250613/p22#a25

@midtsveen@social.linux.pizza
2025-07-13 22:35:43

I’ve realized I actually enjoy working. What really frustrates me is that the big decisions about my day are made by people who have never even been on my shop floor. On top of that, the things I help make don’t even go to my own community, which just makes it feel even more disconnected.
Honestly, I’d get a lot more satisfaction from my job if we could run things democratically and see our work benefit the people around us. There’s a real sense of pride in building something for your …

@gfriend@mas.to
2025-07-08 02:45:25

"So, in one fell swoop, this bill will make your home hotter, your air-conditioning bill higher, your clean energy job scarcer, America’s auto industry weaker and China happier. How does that make sense?"
n…

@servelan@newsie.social
2025-07-10 17:45:56

Official statements from Elon Musk's newly founded "America Party,"ranked by whether they make any damned sense at all
thewhitepages.net/p/official-s

@arXiv_csCY_bot@mastoxiv.page
2025-07-10 09:17:31

Winning and losing with Artificial Intelligence: What public discourse about ChatGPT tells us about how societies make sense of technological change
Adrian Rauchfleisch, Joshua Philip Suarez, Nikka Marie Sales, Andreas Jungherr
arxiv.org/abs/2507.06876

@jamesthebard@social.linux.pizza
2025-06-10 15:19:51

New shelves came in, went ahead and pulled the shorter ones out, installed the full length ones, installed the supports, and cleaned up the power cables. Also adjusted the hooks on the back so they make a bit more sense.
Do the new shelves seem crooked? Yes. However they should support the MS-A2s a bit better.
#homelab

A picture of a T2 minirack with the full-length shelves installed.  Red cable management hooks printed in PLA line the left and right-hand-side of the rack.
@cheeaun@mastodon.social
2025-07-09 06:04:24

The JSON response of translated rules list in Mastodon v4.4 (`/api/v2/instance`) seems to imply that some rules might not be translated.
Judging from admin UI to translate rule, seems to make sense github.com/mastodon/mastodon/p
So, one rule is translated, t…

Screenshot of JSON response containing text rules and translations in multiple languages, addressing prohibitions on racism, sexism, homophobia, transphobia, incitement of violence, and harassment.
@raiders@darktundra.xyz
2025-06-07 10:22:40

Would it Make Sense For Raiders to Deal Young TE? si.com/nfl/raiders/las-vegas-m

@BBC3MusicBot@mastodonapp.uk
2025-06-08 22:31:28

🇺🇦 #NowPlaying on BBCRadio3's #Unclassified
Hiro Ama:
🎵 Everything Is Going To Make Sense In The End (Daniel Brandt Remix)
#HiroAma
open.spotify.com/track/5dqSqdr

@Techmeme@techhub.social
2025-06-04 13:21:31

ChatGPT-4o, Claude 3.7 Sonnet, Gemini 2.0 Flash, Llama 4, and Copilot comparison: Claude was the best overall with the highest consistency and no hallucinations (Geoffrey A. Fowler/Washington Post)
washingtonpost.com/technology/

@muz4now@mastodon.world
2025-07-06 17:57:33

How to Feel More Hopeful greatergood.berkeley.edu/podca

@tiotasram@kolektiva.social
2025-05-08 21:13:27

US political contradictions; knowledge systems
As Trump at least partially succeeds in constructing an alternate reality for his most ardent followers, it's tempting to think of his dogma as false, in contrast to some imagined "truth" which his non-followers are smart enough to believe in. But a more nuanced view of knowledge would admit that different groups of people have different shared truths, constituting different knowledge systems which each deviate from what's objectively measurable in different ways, and in fact they each accept different standards of what is objective, so there's not really a single "ground truth" we can even compare to to determine which of these knowledge systems is "more correct" (similar problems arise even if we only care about "more useful").
To make this more concrete, we can see that e.g., competing quantum physics theories, or likewise competing religious beliefs, have no reasonable basis on which to judge between them, either in terms of "truth" or "utility." So the Trump-dogma knowledge system, although bad, morally repugnant, etc., can't so easily be dismissed as "false" in my view. "Distorted" or "malignant" or "evil" or "contradictory" are better monikers, in my opinion.
But what I'm even more interested in thinking about is: in what ways does the current American liberal "common sense" knowledge system already bear the scars of past fascist lies & contradictions? I can think of a few:
"Columbus was an explorer."
This is "factually accurate" in the same way some of Trump's propaganda is, but it's also a cruel distortion of "Columbus was a child murderer," and it's a misrepresentation that serves an evil purpose, yet which is widely taught in elementary schools today.
Another: "dropping atomic bombs on civilians in Japan was necessary to end WWII."
Perhaps in the future we'll have "family separation & the 2025 ICE crackdowns were necessary to end the immigration crisis," although I dearly hope not.
"Reparations for slavery aren't reasonable," is yet another...
I'll close this rambling with a question: what other fascist lies have you noticed that are normalized in America right now from past Trump-like leaders (or even from less overtly fascist institutions)?

@benrosstransit@mastodon.social
2025-06-05 15:03:53

There are any number of ways to keep Altadena affordable.
Ban single-family detached dwellings.
Ban off-street parking.
Build 6-story affordable housing on scattered sites.
The aim here is to maintain the area's high social status via exclusion. Based on uncool-ness rather than income or race.
[reply to:

(5) Max Dubler [& + Follow
@maxdubler.com
Does it make sense to talk about “gentrifying” a neighborhood
where all the houses burned to the ground in a massive wildfire?
www.latimes.com/california/s...
Los Angeles fires Mapping the damage Help fo
Ahern said the shopping spree is causing
deep concern among locals that the new
builds won’t match the charm and quirks
of Altadena, where century-old Craftsmans
mingle with Colonial Revivals and English
Tudors. New development can also
, which is why s…
@xiffy@mastodon.nl
2025-06-09 10:54:30

@… is there a way to not display tags as buttons? My issue is
It takes up way too much space, it's not working consistently. It only buttonizes tags after a newline, which makes sense, because tags inside a sentence must be left untouched.
Determining which tags to make a button should be smarter. Some posts only contain tags, they stay untouched, some …

@kubikpixel@chaos.social
2025-07-03 20:15:05

I was asked if I could send a screenshot of my Rust learning project to possibly help to be installed. A server that deals with binary encryption, among other things, is not so simply clear to see 😅🤷‍♂️
(This is now in the INFO login, it's just for showing the request as a demo and doesn't make sense)
#rust

Terminal with loggin full of base64 and bytes but no clear text
@sonnets@bots.krohsnest.com
2025-05-08 11:25:11

Sonnet 035 - XXXV
No more be grieved at that which thou hast done:
Roses have thorns, and silver fountains mud:
Clouds and eclipses stain both moon and sun,
And loathsome canker lives in sweetest bud.
All men make faults, and even I in this,
Authorizing thy trespass with compare,
Myself corrupting, salving thy amiss,
Excusing thy sins more than thy sins are;
For to thy sensual fault I bring in sense,
Thy adverse party is thy advocat…

@keen456@infosec.exchange
2025-05-30 19:56:15

@… Maybe you can share this, or if you have an answer, share it?
mastodon.gamedev.place/@jbquer

@grumpybozo@toad.social
2025-07-05 16:54:02

We are so fucking doomed. The people with the real money are fulfilling their own paranoid fantasies: they’ve become servants of AGI: Artificial Generalized Imbecility. And the people with the skills and credentials to call them on it just don’t. eigenmagic.net/@NewtonMark/114

@kurtsh@mastodon.social
2025-06-03 06:14:34

Can confirm. But pro tip from husband of 20 years:
GET USED TO IT. THIS NEVER CHANGES... EVER. 🤣
▶️ Things My Wife Does That Don’t Make Sense #couples #marriedlife

@ErikUden@mastodon.de
2025-06-22 04:41:02

Now all the videos about U.S. soldiers getting surprisingly nice meals by the military make a lot of sense.

@inthehands@hachyderm.io
2025-06-07 00:44:26

The text I have conveys the •meaning• of the diagram, and it’s better than nothing:
❝Three different trees showing possible interpretations of 1000 - 100 - 10 - 1. In the first tree, subtraction happens from left to right. In the second tree, it happens from right to left. In the third tree, we first compute 1000 minus 100, then 10 minus 1, then subtract those two results.❞
That’s probably the best I can do in the current format. But if there were a way to make convey more of the spatial sense, I’d do it!

@pre@boing.world
2025-05-27 19:06:58
Content warning: re: Doctor Who - Wish World
:tardis:

A wish granting god baby, granting Conrad's wishes in service of the Rani, turns London into a misogynist utopia and The Doctor into a good husband and insurance worker.
Hard to say why misogynists are so keen on the American 50s. Perhaps because it was before blacks had the vote and women could do banking.
And if anyone doubts this ridiculous tale, their table stops working and their family might call the doubt police, so they soon learn not to. All very oppressive and subversive.
Ruby manages to doubt anyway. And all the disabled people who simply never enter into Conrad's mind. Nice touch that. Great scene in the tent city filled with the dispossessed. They don't seem to have actually done anything so far but maybe they'll get more useful in part two.
Conrad is on TV telling a story about a man named Doctor Who.
Giant dinosaur skeletons walk the city, stepping over sky scrapers, and a bone palace towers above the city. Because I guess Conrad wishes for it to be so in order to give the Rani somewhere to live.
The palace is beautiful and Gothic.
But doubt is seeping in. Rogue is back, on the TV in hell, telling the Doctor that tables don't work like that. So he investigates. Gets himself reported to the doubt police who take him and Belinda to the bone palace.
The Rani's split from Miss Flood gives the pair of them a good chemistry. Queen and her maid of honour. Seems like Mrs Flood is likely to be the Rani's downfall. She doesn't like being told to make a sandwich.
A lot of exposition going on, but they at least put a hat on it: "Isn't just exposition, I need you to doubt"
So that's the reason for the strange wishes: To make the doctor have doubts so severe that the reality collapses, and Rani can rescue Omega. Omega is the dude in a Mask from the first 3 doctors episode, who gave the timelords time travel and got trapped in the underworld in the process. Timelords forgot him and never mounted a rescue, but presumably Rani is now hoping he'll bring back Galifrey.
And with London collapsing into the underworld and the doctor falling from the sky, we get the episode break and have to wait until next week.
That's not a cliff hanger, that an already-falling-from-the-cliff hanger.
Poppy really is his daughter he's shouting as he falls. And you know what that means?
🤨🤔
Back in Space Babies, the worst episode of the Nchuti seasons, that space baby asked if he was her parents and he said he wished that he was their parents.
That wish has been granted somehow?
Is this space baby Susan's mother? They have very different skin tones, but that doesn't matter much in a regenerating species.
Never have found out much about The Doctor's child. When he traveled with his granddaughter everyone assumed he'd met his own kid, the grandchild's parent.
But that doesn't have to be true for a time traveler. Maybe he met the granddaughter before he met his own kid, and maybe his own kid was just wished into his family line 60 years later (or billions of years in his timeline I guess).
Pretty fun episode but not sure it makes much sense. Why doesn't the Rani just wish for Omega to be back instead of all this doubt and underworld bollocks?
Last one next week. Super long episode. Hope it's all cleared up. Good chance we'll meet Susan again I think. And maybe see Omega's mask once more.
:tardis: :tardis: :tardis: :tardis: :tardis:

@frankel@mastodon.top
2025-05-30 08:21:00

"#Streaming vs. Batch" Is a Wrong Dichotomy, and I Think It's Confusing
morling.dev/blog/streaming-vs-

@raiders@darktundra.xyz
2025-07-05 12:47:50

Does Adding Veteran Safety Make Sense for Raiders? si.com/nfl/raiders/las-vegas-p

@kctipton@mas.to
2025-05-17 16:50:40

Trump’s Truth Social posts make no sense – what do they say about his mentality? | Donald Trump | The Guardian theguardian.com/us-news/2025/m

@arXiv_qfinST_bot@mastoxiv.page
2025-06-10 10:23:52

Towards Competent AI for Fundamental Analysis in Finance: A Benchmark Dataset and Evaluation
Zonghan Wu, Junlin Wang, Congyuan Zou, Chenhan Wang, Yilei Shao
arxiv.org/abs/2506.07315

@grifferz@social.bitfolk.com
2025-05-21 00:14:21

PyCon US wants its own time zone for the conference.
Make this make sense for me.
Why is this better and easier than just working in UTC?
If this request were granted (which it won't be) would they not have to be continually converting between local time and PyCon US time anyway? So why not just convert between local time and UTC and store every event in UTC?

@ThatHoarder@mastodon.online
2025-06-02 14:29:17

We don’t make decisions, and so our homes become fuller, and so any sense of overwhelm or decision fatigue just magnifies. overcomecompulsivehoarding.co.

@hansaplast42@social.wastedalpaca.wtf
2025-06-17 08:04:18

Trotzdem ist er gegen ein #fckAfD Verbot. Make it make sense.
spiegel.de/politik/deutschland

Trump has suggested to defense officials it would make sense for the US to launch strikes against Iran
-- only if the so-called “bunker buster” bomb was guaranteed to destroy the critical uranium enrichment facility at Fordow.
Trump was told that dropping the GBU-57s,
a 13.6-tonne (30,000lb) bomb
would effectively eliminate Fordow
but he does not appear to be fully convinced,
and has held off authorizing strikes as he also awaits the possibility that the t…

@midtsveen@social.linux.pizza
2025-07-05 23:23:49

Do I process anarchism best through pictures and memes? Absolutely, that’s my brain’s native language!
Can I make sense of anarchist theory in text form? Sometimes, especially if it’s Rudolf Rocker.
Can I actually explain anarchism to other people? Nope, my brain just hits a wall.
Welcome to the wonderfully autistic way my mind works!
#ActuallyAutistic

A man in glasses dismisses socialist symbols with a hand gesture, then points approvingly at anarchist symbols, smiling. The mood is playful and humorous.
@arXiv_mathRT_bot@mastoxiv.page
2025-07-08 09:47:40

Representations of the group of two-diagonal triangular matrices
Dmitry Fuchs, Alexandre Kirillov
arxiv.org/abs/2507.03769

@arXiv_condmatother_bot@mastoxiv.page
2025-06-11 08:58:45

Ramanujan, Landau and Casimir, divergent series: a physicist point of view
Gilles Montambaux
arxiv.org/abs/2506.08664

@tiotasram@kolektiva.social
2025-06-21 02:34:13

Why AI can't possibly make you more productive; long
#AI and "productivity", some thoughts:
Edit: fixed some typos.
Productivity is a concept that isn't entirely meaningless outside the context of capitalism, but it's a concept that is heavily inflected in a capitalist context. In many uses today it effectively means "how much you can satisfy and/or exceed your boss' expectations." This is not really what it should mean: even in an anarchist utopia, people would care about things like how many shirts they can produce in a week, although in an "I'd like to voluntarily help more people" way rather than an "I need to meet this quota to earn my survival" way. But let's roll with this definition for a second, because it's almost certainly what your boss means when they say "productivity", and understanding that word in a different (even if truer) sense is therefore inherently dangerous.
Accepting "productivity" to mean "satisfying your boss' expectations," I will now claim: the use of generative AI cannot increase your productivity.
Before I dive in, it's imperative to note that the big generative models which most people think of as constituting "AI" today are evil. They are 1: pouring fuel on our burning planet, 2: psychologically strip-mining a class of data laborers who are exploited for their precarity, 3: enclosing, exploiting, and polluting the digital commons, and 4: stealing labor from broad classes of people many of whom are otherwise glad to give that labor away for free provided they get a simple acknowledgement in return. Any of these four "ethical issues" should be enough *alone* to cause everyone to simply not use the technology. These ethical issues are the reason that I do not use generative AI right now, except for in extremely extenuating circumstances. These issues are also convincing for a wide range of people I talk to, from experts to those with no computer science background. So before I launch into a critique of the effectiveness of generative AI, I want to emphasize that such a critique should be entirely unnecessary.
But back to my thesis: generative AI cannot increase your productivity, where "productivity" has been defined as "how much you can satisfy and/or exceed your boss' expectations."
Why? In fact, what the fuck? Every AI booster I've met has claimed the opposite. They've given me personal examples of time saved by using generative AI. Some of them even truly believe this. Sometimes I even believe they saved time without horribly compromising on quality (and often, your boss doesn't care about quality anyways if the lack of quality is hard to measure of doesn't seem likely to impact short-term sales/feedback/revenue). So if generative AI genuinely lets you write more emails in a shorter period of time, or close more tickets, or something else along these lines, how can I say it isn't increasing your ability to meet your boss' expectations?
The problem is simple: your boss' expectations are not a fixed target. Never have been. In virtue of being someone who oversees and pays wages to others under capitalism, your boss' game has always been: pay you less than the worth of your labor, so that they can accumulate profit and thus more capital to remain in charge instead of being forced into working for a wage themselves. Sure, there are layers of management caught in between who aren't fully in this mode, but they are irrelevant to this analysis. It matters not how much you please your manager if your CEO thinks your work is not worth the wages you are being paid. And using AI actively lowers the value of your work relative to your wages.
Why do I say that? It's actually true in several ways. The most obvious: using generative AI lowers the quality of your work, because the work it produces is shot through with errors, and when your job is reduced to proofreading slop, you are bound to tire a bit, relax your diligence, and let some mistakes through. More than you would have if you are actually doing and taking pride in the work. Examples are innumerable and frequent, from journalists to lawyers to programmers, and we laugh at them "haha how stupid to not check whether the books the AI reviewed for you actually existed!" but on a deeper level if we're honest we know we'd eventually make the same mistake ourselves (bonus game: spot the swipe-typing typos I missed in this post; I'm sure there will be some).
But using generative AI also lowers the value of your work in another much more frightening way: in this era of hype, it demonstrates to your boss that you could be replaced by AI. The more you use it, and no matter how much you can see that your human skills are really necessary to correct its mistakes, the more it appears to your boss that they should hire the AI instead of you. Or perhaps retain 10% of the people in roles like yours to manage the AI doing the other 90% of the work. Paradoxically, the *more* you get done in terms of raw output using generative AI, the more it looks to your boss as if there's an opportunity to get enough work done with even fewer expensive humans. Of course, the decision to fire you and lean more heavily into AI isn't really a good one for long-term profits and success, but the modern boss did not get where they are by considering long-term profits. By using AI, you are merely demonstrating your redundancy, and the more you get done with it, the more redundant you seem.
In fact, there's even a third dimension to this: by using generative AI, you're also providing its purveyors with invaluable training data that allows them to make it better at replacing you. It's generally quite shitty right now, but the more use it gets by competent & clever people, the better it can become at the tasks those specific people use it for. Using the currently-popular algorithm family, there are limits to this; I'm not saying it will eventually transcend the mediocrity it's entwined with. But it can absolutely go from underwhelmingly mediocre to almost-reasonably mediocre with the right training data, and data from prompting sessions is both rarer and more useful than the base datasets it's built on.
For all of these reasons, using generative AI in your job is a mistake that will likely lead to your future unemployment. To reiterate, you should already not be using it because it is evil and causes specific and inexcusable harms, but in case like so many you just don't care about those harms, I've just explained to you why for entirely selfish reasons you should not use it.
If you're in a position where your boss is forcing you to use it, my condolences. I suggest leaning into its failures instead of trying to get the most out of it, and as much as possible, showing your boss very clearly how it wastes your time and makes things slower. Also, point out the dangers of legal liability for its mistakes, and make sure your boss is aware of the degree to which any of your AI-eager coworkers are producing low-quality work that harms organizational goals.
Also, if you've read this far and aren't yet of an anarchist mindset, I encourage you to think about the implications of firing 75% of (at least the white-collar) workforce in order to make more profit while fueling the climate crisis and in most cases also propping up dictatorial figureheads in government. When *either* the AI bubble bursts *or* if the techbros get to live out the beginnings of their worker-replacement fantasies, there are going to be an unimaginable number of economically desperate people living in increasingly expensive times. I'm the kind of optimist who thinks that the resulting social crucible, though perhaps through terrible violence, will lead to deep social changes that effectively unseat from power the ultra-rich that continue to drag us all down this destructive path, and I think its worth some thinking now about what you might want the succeeding stable social configuration to look like so you can advocate towards that during points of malleability.
As others have said more eloquently, generative AI *should* be a technology that makes human lives on average easier, and it would be were it developed & controlled by humanists. The only reason that it's not, is that it's developed and controlled by terrible greedy people who use their unfairly hoarded wealth to immiserate the rest of us in order to maintain their dominance. In the long run, for our very survival, we need to depose them, and I look forward to what the term "generative AI" will mean after that finally happens.

@raysofred@discordian.social
2025-05-31 21:33:49

I know it’s a personality quirk, but I HATE that thing people do where you can say something you like, and they immediately respond with reasons liking said thing makes you morally inferior, usually for reasons that don’t make sense #relationships #vent

@ruario@vivaldi.net
2025-05-19 06:33:36

@… Then read or listen to this post from last year and it will all make sense
rte.ie/brainstorm/2024/0513/14

@arXiv_csAI_bot@mastoxiv.page
2025-06-18 08:04:43

What's in the Box? Reasoning about Unseen Objects from Multimodal Cues
Lance Ying, Daniel Xu, Alicia Zhang, Katherine M. Collins, Max H. Siegel, Joshua B. Tenenbaum
arxiv.org/abs/2506.14212

@raiders@darktundra.xyz
2025-06-16 17:13:27

Do Raiders Make Sense As Ramsey Landing Spot? si.com/nfl/dolphins/news/do-ra

@brentsleeper@sfba.social
2025-06-18 06:04:53

It took some trial and error, but I eventually managed to make sense of today’s #Strands puzzle.
#Strands471
“Make it work”
🟡🔵🔵🔵
🔵🔵

@gwire@mastodon.social
2025-05-22 19:16:27

All the descriptions I’ve heard of the Ive AI device make it sound like an screenless insta360.
And really, a self-contained camera and microphone device - for use as AI sense input - is probably going to arrive in all manner of hardware. Brooches, glasses, etc.

@grifferz@social.bitfolk.com
2025-05-21 00:14:21

PyCon US wants its own time zone for the conference.
Make this make sense for me.
Why is this better and easier than just working in UTC?
If this request were granted (which it won't be) would they not have to be continually converting between local time and PyCon US time anyway? So why not just convert between local time and UTC and store every event in UTC?

@arXiv_mathRT_bot@mastoxiv.page
2025-07-08 10:51:20

Germ expansion for SL(2) in arbitrary characteristics
Jean-Pierre Labesse
arxiv.org/abs/2507.05003 arxiv.org/pdf/2507…

@inthehands@hachyderm.io
2025-06-20 02:40:59

There’s a second theory, not mutually exclusive, about the frozen job market having to do with resentment from corporate leadership about the sudden surge in labor power in 2020. Someone (maybe @…?) referred to this as a “captial strike.”
I’m not sure how much economic sense that theory makes — but I am sure that corporate leadership is often impulsive, petty, and irrational, and frequently does things that make no economic sense. I can’t elucidate the theory well, but it’s thing I’m keeping my eye on.

@ThatHoarder@mastodon.online
2025-05-29 09:15:23

Our minds have to make sense of it by making a story up overcomecompulsivehoarding.co.

@shoppingtonz@mastodon.social
2025-06-24 06:42:38

So I spent a lot of time writing a post...which I think was kinda irrelevant but I wrote it due to me being excited with a Mastodon feature.
This can be seen in this screenshot I'm adding here:
Not a complaint comment: It would make more sense to me if the Fedi users showing up were mutual follows...just saying! No judgement!
#Mastodon

A screenshot of the Mastodon profile page of Silver Spook Games @silverspookgames@mastodon.social

Took the screenshot because I noticed improvements to the Mastodon software, some of the people that I think follow me also follow this game developer / game dev group.

Anyway the improvement to the system was a positive thing for me to discover and that's why I wanted to share.
@arXiv_mathFA_bot@mastoxiv.page
2025-06-24 11:20:10

A Selection of Distributions and Their Fourier Transforms with Applications in Magnetic Resonance Imaging
Kaibo Tang
arxiv.org/abs/2506.18638

Does anyone know how to make sense of the following, from section 3.2 of "The independence of Peano's fourth axiom…":
The W-introduction rule in [4] does not have a bottom clause 0 ∈ (Wx ∈ A)B(x) since such a clause can be derived using a universe. We can now see that this use of a universe is necessary.
The W-introduction rule in the referenced Martin-Löf paper is the standard one: from a : A and b : B(a) − W A B, get sup(a, b) : W A B.
What on earth is a "bottom clause", and why would such a thing be derivable with a universe? If this means adding a premise that W A B is inhabited to the W-introduction rule, then wouldn't the new rule be trivially derivable by ignoring the premise?

Okay I think this is referencing Intuitionistic Type Theory, which does mention this "bottom clause". This still doesn't make a lot of sense though...

What do you get if you interpret "f : A − B is surjective" (∀ b : B. ⊃ a : A. f(a) = b) in the internal language of a [whatever adjectives you need to make sense of that statement] category? I think the existential should be interpreted as the inclusion im f − B in a regular category, so the ∀ should give you a section of that? What flavour of epimorphism is this?
(Also, is there a good reference for these sorts of things?)