Tootfinder

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

No exact results. Similar results found.
@leftsidestory@mstdn.social
2025-07-14 00:30:06

Weird Greco 🇬🇷
怪异希腊 🇬🇷
📷 Nikon FE
🎞️FOMAPAN Action 400
buy me ☕️ ?/请我喝杯☕️？
#filmphotography

Foma FOMAPAN 400 Action (FF) 🌿 English alt text: A black and white photograph of a garden path lined with lush, overgrown foliage. In the distance, a white column supports a small structure, possibly a gazebo. Two people stand nearby, partially hidden by the plants, evoking a sense of quiet retreat. 🌿 中文替代文字： 一张黑白照片，展示了一条被茂密植物包围的花园小径。远处有一根白色柱子支撑着一个可能是凉亭的结构，两个人站在旁边，被植物部分遮挡，营造出宁静隐逸的氛围。
Foma FOMAPAN 400 Action (FF) 🏛️ English alt text: A black and white photograph of a statue featuring two classical figures. One figure stands with an arm raised, holding a torch-like object, while the other mirrors the pose with theirs lowered. The statue is crafted from stone or marble and is framed by palm trees and a tall, modern building with grid-like windows. The contrasting backdrop blends timeless artistry with urban architecture. 🏛️ 中文替代文字： 一张黑白照片，展示了一个由石材或大理石雕刻而成的雕像，包含两位古典人物。其中一人高举手…
Foma FOMAPAN 400 Action (FF) 🕊️ English alt text: A detailed fountain featuring two winged angel-like figures sitting back-to-back on a sculptural base. Their wings are gracefully extended, and their robes flow naturally over the contours of the fountain. Surrounded by neatly trimmed hedges and a tiled water basin, the scene exudes calm elegance in an outdoor garden setting. 🕊️ 中文替代文字： 一个精致的喷泉，底座上背靠背坐着两位带翅膀的天使般雕像，羽翼优雅展开，袍服自然垂落，雕刻精美。喷泉周围环绕着修剪整齐的绿篱和瓷砖水池，整体环境宁静而高雅，仿佛置身于一处花园中的艺术角落。
Foma FOMAPAN 400 Action (FF) 🌴 English alt text: A black and white photograph of a multi-story Mediterranean-style residential building with tiled rooftops and arched windows. In the foreground, several tall palm trees dominate the scene, their fronds reaching upward and adding contrast to the architectural geometry. The image evokes a quiet coastal or resort-town atmosphere, where nature and human design coexist peacefully. 🌴 中文替代文字： 一张黑白照片，画面中心是一栋多层的地中海风格住宅建筑，屋顶铺设瓷砖，窗户呈弧形。前景中有几棵高大的棕榈树，树叶向上伸…
@leftsidestory@mstdn.social
2025-07-15 00:30:03

Life on Different Paths 🚶🚶‍♀️🚶‍♂️
生活诸多路径 🚶🚶‍♀️🚶‍♂️
📷 Nikon FE
🎞️FOMAPAN Action 400
buy me ☕️ ?/请我喝杯☕️？
#filmphotography

Foma FOMAPAN 400 Action (FF) --- 🔊 English (Screen Reader Friendly): Monochrome photo of a person walking on a sidewalk while holding an umbrella. A car is parked on the right side of the road. In the background are neatly trimmed bushes, trees, and several tall buildings. The scene reflects a peaceful, rainy moment in a modern city environment. 🔊 中文（适合屏幕阅读器）： 黑白照片，一位行人打伞行走在人行道上。画面右侧是一辆停靠的汽车。背景是整齐的灌木、树木和高楼建筑。这幅图描绘了现代都市中雨天宁静的一刻。 ---
Foma FOMAPAN 400 Action (FF) --- 🔊 English (Screen Reader Friendly): Black-and-white photo showing a busy urban street in China. A three-wheeled vehicle and a large kitchen waste transport truck are in the foreground. The truck bears Chinese text promoting trash sorting and urban cleanliness. Behind them, traffic lights, people, and tall buildings form a typical city backdrop. 🔊 中文（适合屏幕阅读器）： 一张黑白照片，展示中国城市街道。画面前景是一辆三轮车和一辆餐厨垃圾运输卡车。卡车上写有宣传垃圾分类和城市清洁的中文标语。背景中可见交通灯、行人以及高楼林立的城市景观。
Foma FOMAPAN 400 Action (FF) --- 🔊 English (Screen Reader Friendly): Black-and-white photo of an indoor area in China, featuring a set of escalators leading to a lower level. One person stands at the top, while two others descend together. Below is a store or supermarket with shelves stocked with products. Wall signs include large pricing in Chinese text—such as “1.98 yuan”—indicating promotional offers. 🔊 中文（适合屏幕阅读器）： 黑白照片，展示中国一处室内场景，中间是通往下层的自动扶梯。一人站在扶梯顶端，两人一起下行。下层是商店或超市，货架上摆满商品。墙上有中文标价，如“1.…
Foma FOMAPAN 400 Action (FF) 🔊 English (Screen Reader Friendly): Black-and-white photo of a well-lit supermarket in China. The scene includes multiple sections: a meat counter marked with a “Meat” sign, shelves with packaged goods, and displays of fresh produce. Fluorescent ceiling lights and structural beams highlight the indoor layout. Several customers are present, with one in the foreground wearing a store uniform—likely a staff member. 🔊 中文（适合屏幕阅读器）： 一张黑白照片，展示中国一家明亮的超市室内环境。画面包括多个区域：标有“M…
@leftsidestory@mstdn.social
2025-07-13 00:30:07

In the Air - Inside of the Window ✈️ 👩‍✈️
在空中 - 窗内 ✈️ 👩‍✈️
📷 Nikon FE
🎞️FOMAPAN Action 400
buy me ☕️ ?/请我喝杯☕️？
#filmphotography

Foma FOMAPAN 400 Action (FF) 📝 English Alt Text A black-and-white photo of an airplane cabin with passengers seated in rows. Overhead screens display in-flight entertainment, and a flight attendant stands in the aisle near the middle of the plane. 📝 中文替代文字 一张黑白色调的飞机客舱照片，乘客坐在整齐排列的座位上。天花板上挂着多个显示屏播放机上娱乐内容，一名空乘人员站在靠近客舱中部的过道中。
Foma FOMAPAN 400 Action (FF) 📝 English Alt Text A black-and-white photograph of an airplane cabin interior. Overhead compartments line the left side, while multiple in-flight screens on the right display a person. The image focuses on the structured layout and atmosphere of the plane without highlighting specific passengers. 📝 中文替代文字 一张飞机客舱内部的黑白照片。左侧为行李舱，右侧多个机上屏幕显示出一个人物。画面呈现出飞机内部整洁有序的布局，没有特别突出的乘客形象。
Foma FOMAPAN 400 Action (FF) 📝 English Alt Text A black-and-white photo showing the interior of an airplane cabin, viewed from the rear. Passengers fill the seats and some are standing in the aisles, possibly preparing for takeoff or arrival. The scene captures a busy yet orderly atmosphere, with visible overhead compartments and soft cabin lighting. 📝 中文替代文字 一张从飞机尾部拍摄的黑白照片，展示了机舱内部。乘客坐满座位，有些人在过道上站立，似乎正在为起飞或到达做准备。画面呈现出繁忙但有序的氛围，行李舱和柔和的客舱灯光清晰可见。
@leftsidestory@mstdn.social
2025-07-12 08:03:58

In the Air - Outside of the Window II ✈️ ☁️
在空中 - 窗外 II ✈️ ☁️
📷 Nikon FE
🎞️FOMAPAN Action 400
buy me ☕️ ?/请我喝杯☕️？
#filmphotography

Foma FOMAPAN 400 Action (FF) **English:** A black and white photograph capturing the view from an airplane window. The airplane wing is prominently featured, extending from the bottom left corner towards the center of the image. The sky is filled with a mix of clouds, creating a layered effect. The horizon is visible in the distance, separating the clouds from the sky and adding a sense of depth to the photograph. **Chinese:** 一张从飞机窗户拍摄的黑白照片。照片中突出展示了飞机机翼，从左下角延伸至照片中央。天空中充满了各种云层，形成了分层效果。远处的地平线清…
Foma FOMAPAN 400 Action (FF) **English:** A black and white photograph showing the wing of an airplane. The wing curves gracefully and extends towards the right side of the image. The background features a cloudy sky with a soft gradient, transitioning from lighter to darker shades. The clouds below are dense and fluffy, creating a contrast with the smoother sky above. **Chinese:** 一张展示飞机机翼的黑白照片。机翼优雅地弯曲并向照片的右侧延伸。背景是一个多云的天空，呈现出柔和的渐变，从浅色过渡到深色。下方的云层浓密而蓬松，与上方更平滑的天空形成对比。
Foma FOMAPAN 400 Action (FF) **English:** A black and white photograph taken from an airplane window, focusing on the airplane wing. The wing extends diagonally across the image from the bottom left to the top right. The sky is filled with clouds of varying densities, creating a textured and dynamic scene. The horizon is visible in the distance, adding depth to the image. **Chinese:** 一张从飞机窗户拍摄的黑白照片，聚焦于飞机机翼。机翼从左下方斜向延伸至右上方。天空中布满了密度各异的云层，形成了一种纹理丰富且充满动感的场景。远处的地平线清晰可见，为照片增添了深度。
Foma FOMAPAN 400 Action (FF) **English:** A black and white photograph taken from an airplane window. The image captures a view of the airplane wing on the left side, extending outwards. Below the wing, there is a vast expanse of clouds with varying densities, creating a textured landscape. The horizon is faintly visible in the distance, separating the clouds from the sky, which appears smooth and layered. **Chinese:** 一张从飞机窗户拍摄的黑白照片。照片中捕捉到飞机左侧机翼向外延伸的景象。机翼下方是广阔的云层，云层密度各异，形成了一种纹理丰富的景观。远处的地平线隐约…

Yiding Cao Geld mit PayPal.Me senden
Folgen Sie dem Link PayPal.Me/dingsterdingster und geben Sie den Betrag ein. Es ist bequem und sicher. Sie haben noch kein PayPal-Konto? Kein Problem.

@arXiv_csSE_bot@mastoxiv.page
2025-06-12 07:58:21

Automated Synthesis of Formally Verified Multi-Abstraction Function Summaries
Fanpeng Yang, Xu Ma, Shuling Wang, Xiong Xu, Qinxiang Cao, Naijun Zhan, Xiaofeng Li, Bin Gu
arxiv.org/abs/2506.09550

Automated Synthesis of Formally Verified Multi-Abstraction Function Summaries
Function summaries, which characterize the behavior of code segments (typically functions) through preconditions and postconditions, are essential for understanding, reusing, and verifying software, particularly in safety-critical domains like aerospace embedded systems. However, these mission-critical legacy code serving as a valuable reused asset often lacks formal specifications. It is challenging to automatically generate function summaries for C programs, due to the existence of complex fe…

@radioeinsmusicbot@mastodonapp.uk
2025-07-12 05:40:40

🇺🇦 Auf radioeins läuft...
Jack Johnson & Lee "Scratch" Perry:
🎵 Traffic In The Sky (Lee Scratch Perry Dub)
#NowPlaying #JackJohnson #Lee"Scratch"Perry
open.spotify.com/track/2HgigT5

@leftsidestory@mstdn.social
2025-07-11 00:30:03

In the Air - Outside of the Window ✈️ ☁️
在空中 - 窗外 ✈️ ☁️
📷 Nikon FE
🎞️FOMAPAN Action 400
buy me ☕️ ?/请我喝杯☕️？
#filmphotography

Foma FOMAPAN 400 Action (FF) **English:** This black and white photograph captures a view from an airplane window, showing the wing of the airplane extending into the frame. In the background, another airplane is visible on the runway, and a distant airplane is captured in mid-flight, adding a dynamic element to the scene. The landscape below appears to be an airport with grassy areas and some infrastructure. The image evokes a sense of motion and the vastness of air travel. **Chinese:** 这张黑白…
Foma FOMAPAN 400 Action (FF) **English:** This black and white image shows a section of an airport terminal building. The terminal features large windows and is marked with signs indicating gate numbers, such as "107" and "108." A tall light pole stands prominently in the foreground, adding to the composition of the photograph. The image conveys a sense of structure and organization typical of airport environments. **Chinese:** 这张黑白照片展示了机场航站楼的一部分。航站楼带有大窗户，并标有登机口号码，如“107”和“108”。一根高高的灯杆矗立在前景，增添…
Foma FOMAPAN 400 Action (FF) **English:** This black and white photograph captures a view from an airplane window. The image prominently features the tail sections of two airplanes parked on the tarmac. The tails are angled towards each other, creating a sense of depth and perspective. In the background, an airport terminal building with large windows is visible, suggesting a busy airport environment. The overall scene evokes a sense of travel and aviation. **Chinese:** 这张黑白照片是从飞机窗户拍摄的。图片中突出展…
Foma FOMAPAN 400 Action (FF) **English:** This black and white image shows a closer view of the tails of three airplanes lined up on the tarmac. The tails are adorned with a distinctive logo, and the perspective emphasizes the alignment and symmetry of the aircraft. The airport terminal building is visible in the background, characterized by its large, reflective windows. The image conveys a sense of order and precision in the aviation industry. **Chinese:** 这张黑白照片展示了跑道上排成一列的三架飞机的尾部特写。飞机尾部装饰着…
@leftsidestory@mstdn.social
2025-07-01 00:30:03

Raining Aria 🎶
雨咏叹调 🎶
📷 Pentax MX
🎞️Fomapan 400 Action
buy me ☕️ ?/请我喝杯☕️？
#filmphotography

Foma FOMAPAN 400 Action (FF) English alt text: A black and white photo of a rainy urban scene under an overpass. A person in a hooded jacket stands in the foreground, partially visible, while a white umbrella appears in the background. Distant buildings are seen through the rain. 中文替代文字（Chinese alt text）： 一张黑白照片，展示了高架桥下雨中的城市景象。前景中部分可见一个穿着连帽夹克的人，背景中出现一把白色的伞。远处雨中依稀可见一些建筑物。
Foma FOMAPAN 400 Action (FF) English alt text: A black and white photo of a rainy city sidewalk. A person holding an umbrella walks away from the camera, their reflection mirrored on the wet ground. In the background, more figures with umbrellas move along the street, and tall buildings rise into the mist. 中文替代文字（Chinese alt text）： 一张黑白照片，展现城市人行道上的雨景。一个打伞的人背对镜头行走，倒影映在湿漉漉的地面上。背景中还有其他打伞的行人和高耸入云的建筑物。
Foma FOMAPAN 400 Action (FF) English alt text: A city street on a rainy day with a yellow taxi stopped at a crosswalk. The taxi’s headlights and license plate are clearly visible. The wet pavement reflects the lights and vehicles around. In the background, other cars, bicycles, buildings, and illuminated signs contribute to the busy urban atmosphere. 中文替代文字（Chinese alt text）： 一个雨天的城市街景，一辆黄色出租车停在人行横道前。出租车的车灯亮着，车牌号清晰可见。潮湿的路面反射出灯光和周围的车辆。背景中还有其他汽车、自行车、建筑物和灯光招牌，营造出繁忙的城市氛围。
Foma FOMAPAN 400 Action (FF) English alt text: A black and white close-up photo of a white rose with water droplets on its petals. The soft focus on the background highlights the delicate textures and layers of the bloom, creating a timeless and serene mood. 中文替代文字（Chinese alt text）： 一张白玫瑰的黑白特写照片，花瓣上布满水珠。背景虚化，突显花朵细腻的纹理和层次，营造出宁静而永恒的氛围。

Yiding Cao Geld mit PayPal.Me senden
Folgen Sie dem Link PayPal.Me/dingsterdingster und geben Sie den Betrag ein. Es ist bequem und sicher. Sie haben noch kein PayPal-Konto? Kein Problem.

@leftsidestory@mstdn.social
2025-06-30 00:30:00

Raining Symphony 🎷
雨奏鸣曲 🎷
📷 Pentax MX
🎞️Fomapan 400 Action
buy me ☕️ ?/请我喝杯☕️？
#filmphotography

Foma FOMAPAN 400 Action (FF) **English:** This black-and-white photograph captures a street scene with a row of shared bicycles lying on the pavement, seemingly fallen over. A person riding a scooter with an umbrella is passing by on the left side of the image. The street is wet, indicating recent rain. In the background, there are cars on the road and a pedestrian sidewalk. **Chinese:** 这张黑白照片拍摄了一条街道的场景，一排共享单车倒在人行道上。左侧有一位骑着带伞的踏板车的人经过。街道是湿的，表明刚刚下过雨。背景中可以看到路上的汽车和人行道。
Foma FOMAPAN 400 Action (FF) **English:** The image is a black-and-white photograph taken from inside a bus. The perspective is from a passenger's viewpoint, looking towards the front of the bus. The interior of the bus is visible, including the ceiling, handrails, and a few seats. A bus driver is seen at the front, slightly blurred due to motion. The bus appears to be in motion, as suggested by the blurred scenery outside the windows. **Chinese:** 这张黑白照片是在公交车内拍摄的。视角是从乘客的角度出发，朝向公交车的前方。照片中可以看到…
Foma FOMAPAN 400 Action (FF) **English:** This black-and-white image shows a busy urban intersection with several cars waiting at a traffic light. A person on a scooter is in the foreground, also waiting for the light to change. The scene is framed by an overpass or bridge above the street, and there are traffic lights and street signs visible. The street appears wet, suggesting recent rainfall. **Chinese:** 这张黑白照片展示了一个繁忙的城市路口，几辆汽车在等待交通灯。前景中有一位骑踏板车的人也在等待信号灯变化。场景被街道上方的高架桥或立交桥所框定，可以看到交通灯和街道标志。街…
Foma FOMAPAN 400 Action (FF) **Chinese:** This black-and-white photograph depicts a person sitting on the ground against a wall, seemingly engrossed in their smartphone. The person is wearing a large coat and has a big bag beside them. The setting appears to be an urban area, possibly near a building entrance or a public space, as indicated by the signage and the presence of other people in the background. **Chinese:** 这张黑白照片描绘了一位靠墙坐在地上的人，似乎正专注于他们的智能手机。这个人穿着一件大衣，旁边放着一个大包。场景看起来是一个城市地区，可能在一栋建筑的…

Yiding Cao Geld mit PayPal.Me senden
Folgen Sie dem Link PayPal.Me/dingsterdingster und geben Sie den Betrag ein. Es ist bequem und sicher. Sie haben noch kein PayPal-Konto? Kein Problem.

@leftsidestory@mstdn.social
2025-07-02 01:26:08

Facade 🏢
立面 🏢
📷 Pentax MX
🎞️Fomapan 400 Action
buy me ☕️ ?/请我喝杯☕️？
#filmphotography

Foma FOMAPAN 400 Action (FF) **English:** A black and white photograph of a modern architectural structure. The image features a large, flat wall composed of vertical panels. In the foreground, there is a reflective pool of water with a slanted, angular overhang extending from the building. A person is seen. The scene captures a sense of modern design and minimalism. **Chinese:** 一张现代建筑结构的黑白照片。图片中有一面由垂直面板组成的大型平面墙。前景是一池反光的水面，建筑物有一个倾斜的、角状的悬挑部分延伸出来。一个人正俯身。这幅画面展现了现代设计和极简主义的风格。
Foma FOMAPAN 400 Action (FF) **English:** A black and white photograph of a large, modern building with a textured facade made up of rectangular panels. The building has a sign near the top that reads "Inside-Out Art Museum." In the foreground, a person on a wheelchair. The image captures a moment of everyday life in an urban setting, juxtaposed with the imposing structure of the museum. **Chinese:** 一张大型现代建筑的黑白照片，建筑外墙由矩形面板构成，具有纹理感。建筑顶部附近有一个标志，写着“Inside-Out艺术博物馆”。前景中，一个坐着轮椅的人。这幅图片捕捉了城市环境中日常生活…
Foma FOMAPAN 400 Action (FF) **English:** A black and white photograph of a modern building with a facade composed of rectangular panels. The building casts a strong shadow on its surface, creating a dynamic interplay of light and shadow. The photograph is taken from a low angle, emphasizing the height and geometric lines of the structure. **Chinese:** 一张现代建筑的黑白照片，建筑外墙由矩形面板构成。建筑物在其表面投下强烈的阴影，形成光影的动态交织。照片从低角度拍摄，突出了建筑的高度和几何线条。

Yiding Cao Geld mit PayPal.Me senden
Folgen Sie dem Link PayPal.Me/dingsterdingster und geben Sie den Betrag ein. Es ist bequem und sicher. Sie haben noch kein PayPal-Konto? Kein Problem.