Tootfinder

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

No exact results. Similar results found.
@aral@mastodon.ar.al
2025-10-02 15:22:04

Folks, @… from Gaza is doing an AMA (Ask Me Anything) about Gaza:
mastodon.social/@AhmedOuda/115
“Life here in …

AhmedAbuOuda (@AhmedOuda@mastodon.social)
Hey friends, I saw a lot of appeal for the idea when I mentioned doing an AMA, so here it is: Ask Me Anything. Life here in Gaza is heavy and complicated, but I’m open to your questions about daily survival, studies, dreams, or even just the small things that keep me going. I’ll answer honestly, as much as I can. Your support and presence mean more than you know. 💙 #gaza @aral@mastodon.ar.al

@markrsmith@smithtodon.org
2025-10-01 00:51:22

Updated my 2020 MacBookPro to 26.0.1. It never booted right again. After trying everything and talking to Apple Support the answer was “do you have a backup”? I had to wipe the drive and start from scratch. Now I’m trying to restore from a NAS Time Machine backup.
Ugh.

@Techmeme@techhub.social
2025-10-23 20:01:31

Apple's Houston manufacturing facility, originally scheduled to open in 2026, is now shipping AI servers that power Apple Intelligence and Private Cloud Compute (Brooke Singman/Fox Business)
foxbusiness.com/politics/apple…

Apple building American-made AI servers ahead of schedule in new Houston facility, answering Trump call
EXCLUSIVE: Apple is now building and shipping American-made artificial intelligence servers in the United States — a move that has the technology giant answering President Donald Trump’s call to on shore manufacturing.

@arXiv_csSE_bot@mastoxiv.page
2025-10-01 10:58:47

Towards Verified Code Reasoning by LLMs
Meghana Sistla, Gogul Balakrishnan, Pat Rondon, Jos\'e Cambronero, Michele Tufano, Satish Chandra
arxiv.org/abs/2509.26546

Towards Verified Code Reasoning by LLMs
While LLM-based agents are able to tackle a wide variety of code reasoning questions, the answers are not always correct. This prevents the agent from being useful in situations where high precision is desired: (1) helping a software engineer understand a new code base, (2) helping a software engineer during code review sessions, and (3) ensuring that the code generated by an automated code generation system meets certain requirements (e.g. fixes a bug, improves readability, implements a featur…

@deprogrammaticaipsum@mas.to
2025-11-30 17:14:51

"Technical communities provide software businesses with an audience, a test bed, and eventually, a customer pool for their products and services, but this only works if the products are good enough to begin with. This insight was clearly defined by Guy Kawasaki, arguably the person who invented the field of Developer Relations, during his tenure as Chief Evangelist at Apple from 1983 to 1987."

Guy Kawasaki
There is a website out there providing an answer to the question "What is Developer Relations?," a question that this author, whose job title is precisely that one, gets a lot. According to this resource, Developer Relations is an umbrella term encompassing three major areas of activity: "Community," "Content," and "Product;" a perfect description of a job role, at least as far as this author is concerned.

@elduvelle@neuromatch.social
2025-11-23 17:32:13

A little request for @… : it would be great, when we type an answer to a post, to be able to see that post while we write.. #Tusky
Important edit: Actually this is already possible!! Just click the t…

Screenshot of the "compose answer" window in Tusky, where I clicked on the triangle next to "replying to" and it shows the previous post on a dark great background, above my answer
@macandi@social.heise.de
2025-10-10 10:45:00

Nach Härtung: Apple spendet iPhone 17 an Organisationen der Zivilgesellschaft
Mit A19 und A19 Pro führt Apple das Memory Integrity Enforcement ein, das komplexe Angriffe besser verhindern soll. Entsprechende Geräte werden nun gespendet.

Nach Härtung: Apple spendet iPhone 17 an Organisationen der Zivilgesellschaft
Mit A19 und A19 Pro führt Apple das Memory Integrity Enforcement ein, das komplexe Angriffe besser verhindern soll. Entsprechende Geräte werden nun gespendet.

@arXiv_mathFA_bot@mastoxiv.page
2025-09-29 08:30:17

Almost disjoint families and some automorphic and injective properties of $\ell_\infty/c_0$
Piotr Koszmider, Ma{\l}gorzata Rojek
arxiv.org/abs/2509.22376 …

Almost disjoint families and some automorphic and injective properties of $\ell_\infty/c_0$
Answering questions of A. Avilés, F. Cabello Sánchez, J. Castillo, M. González and Y. Moreno we show that the following statements are independent of the usual axioms ZFC with arbitrarily large continuum: for every (some) $ω<κ<2^ω$ (1) any linear bounded operator $T: c_0(κ)\rightarrow\ell_\infty/c_0$ extends to any superspace of $c_0(κ)$. (2) any isomorphism between any two copies of $c_0(κ)$ inside $\ell_\infty/c_0$ extends to an automorphism of $\ell_\infty/c_0$. This contrasts…

@Techmeme@techhub.social
2025-11-14 00:05:43

A US judge rules that Apple and OpenAI must answer to a lawsuit filed by X and xAI accusing them of conspiring to thwart competition in emerging markets in AI (Madlin Mekelburg/Bloomberg)
bloomberg.com/news/articles/20

@Techmeme@techhub.social
2025-09-03 20:07:58

Sources: Apple plans an AI search tool, World Knowledge Answers, for spring 2026 as part of a Siri revamp; Apple and Google plan to test a Google model for Siri (Mark Gurman/Bloomberg)
bloomberg.com/news/articles/20