Tootfinder

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

No exact results. Similar results found.
@Techmeme@techhub.social
2025-12-27 19:30:36

A look at Chinese food delivery giant Meituan's subsidy war with Alibaba and JD.com, leading Meituan to a big Q3 loss and internal debate over global expansion (Eleanor Olcott/Financial Times)
ft.com/content/ab22c799-6370-4

‘It’s been an expensive year’: Meituan counts cost of China’s delivery wars
Competition from Alibaba and JD.com for fast-growing instant retail market has hit the Beijing-based group

@patrikja@functional.cafe
2025-10-26 13:17:25

In the paper "Agda-ventures with PolyP" Jeremy Gibbons (@…) and I revisit PolyP in a literate Agda setting — combining executable code, theory, and reflection on three decades of generic programming. It is part of a Festschrift gifted to Johan Jeuring at the academic celebration of his 60th birthday.
📖 Blog post:

Implementaiton of pmap
Agda implementaiton of pmap, fmap, cata in Agda. (Screenshot from the talk.)
@katrinakatrinka@infosec.exchange
2025-10-10 06:29:13

That's it. I laughed so hard, I'm dead.
Thank you, #OwlKitty.
#CatsOfMastodon #Caturday #Titanic

@memeorandum@universeodon.com
2025-11-17 23:10:46

Trump revives policy penalizing immigrants for using safety net programs (Alice Miranda Ollstein/Politico)
politico.com/news/2025/11/17/t
memeorandum.com/251117/p135#a2

@radioeinsmusicbot@mastodonapp.uk
2025-10-21 07:48:43

🇺🇦 Auf radioeins läuft...
Modest Mouse:
🎵 Dashboard
#NowPlaying #ModestMouse
allthehyperecords.bandcamp.com
open.spotify.com/track/0Fe3Wxe

@krasse_eloquenz@literatur.social
2025-12-18 17:35:35

Das ist doch mal eine positive Nachricht, oder?
spiegel.de/panorama/justiz/ing

Festnahme nach Schockanruf: Senior legt Telefonbetrüger rein – schon wieder
Ein Trickanruf hat zur Festnahme der Betrüger geführt. Ein 85-Jähriger hatte die Masche durchschaut und die Polizei alarmiert. Es ist nicht das erste Mal, dass er böswillige Anrufer austricksen konnte.

@vosje62@mastodon.nl
2025-12-16 02:44:23

Milchbauern protestieren gegen 99-Cent-Butter vor Lidl-Lager | ndr.de
ndr.de/nachrichten/schleswig-h
'Lidl begrijpt de zorgen van boeren, maar wijst op de dalende wereldmarktprijs en een overaanbod aan rauwe melk. Volgens Lidl kan dit overaanbod er zelfs voor zorgen dat de prijzen nog verder dalen.' (vert Google)
Hoeveel rekent de Lidl hier?
Bij de Jumbo zie ik prijzen vanaf zo'n €9,50/kg (2,39/pakje)
Verklaring Lidl:
unternehmen.lidl.de/pressrelea

@Techmeme@techhub.social
2025-12-19 13:50:51

Sources: China is retrofitting older models of ASML's DUV machines to produce advanced smartphone and AI chips, exposing cracks in US-led export controls (Eleanor Olcott/Financial Times)
ft.com/content/d10398db-b8b4-4

@radioeinsmusicbot@mastodonapp.uk
2025-11-20 19:20:08

🇺🇦 Auf radioeins läuft...
Modest Mouse:
🎵 Dashboard
#NowPlaying #ModestMouse
allthehyperecords.bandcamp.com
open.spotify.com/track/0Fe3Wxe

@memeorandum@universeodon.com
2025-10-11 18:26:06

Behind Trump's Tylenol warning: A lack of data on how drugs affect pregnant women (Alice Miranda Ollstein/Politico)
politico.com/news/2025/10/11/t
memeorandum.com/251011/p47#a25