Tootfinder

The details of the FY 2026 #NASA Budget Request are in: https://www.nasa.gov/fy-2026-budget-request/ (May 30 documents) - and they are as devastating as feared. Lowlights - there are no highlights - are discussed by
https://bsky.app/profile/theplanetaryguy.bsky.social/post/3lqg6n4pdrc2h
https://bsky.app/profile/jtuttlekeane.bsky.social/post/3lqg7zzfgo224
https://bsky.app/profile/spacepolicyonline.bsky.social/post/3lqg6tjfthf2a
https://bsky.app/profile/carlrodriguez.bsky.social/post/3lqg7nttoek2c
https://bsky.app/profile/spacepolicyonline.bsky.social/post/3lqg7lr5kgh27
https://bsky.app/profile/leighfletcher.bsky.social/post/3lqg5x3if6s2i
https://bsky.app/profile/spacepolicyonline.bsky.social/post/3lqgagt4g6q2a
https://bsky.app/profile/spacetides.bsky.social/post/3lqg6eapuws2l
https://bsky.app/profile/jfoust.bsky.social/post/3lqg2wsbf7s2k
https://bsky.app/profile/tedpavlic.bsky.social/post/3lqg4ccpgnc25
https://bsky.app/profile/ohdearz.bsky.social/post/3lqgdmenyj22c4
https://bsky.app/profile/interplanetary.bsky.social/post/3lqgc5xvny22s
and in the articles https://spacenews.com/nasa-budget-would-cancel-dozens-of-science-missions-lay-off-thousands/ and https://www.science.org/content/article/dozens-active-and-planned-nasa-spacecraft-killed-trump-budget-request.
The NSF Budget Request is at least as disastrous:
https://bsky.app/profile/kgandersen.bsky.social/post/3lqg6c5nnas2h
https://bsky.app/profile/dangaristo.bsky.social/post/3lqg43xmdws2r
https://bsky.app/profile/carlrodriguez.bsky.social/post/3lqg6icalsc2t
https://bsky.app/profile/thirstygecko.bsky.social/post/3lqg6mojywk2s

Portuguese Hospitals to Offer More Plant-Based Foods in “Groundbreaking” Program #nutrition

Portuguese Hospitals to Offer More Plant-Based Foods in "Groundbreaking" Program - vegconomist - the vegan business magazine
Four major hospitals in Lisbon, Portugal, are set to provide more plant-based meals in their cafeterias under ProVeg Portugal's Sustainable Meals program,

House prices and markets and uses of residential units:
https://www.theguardian.com/commentisfree/2025/jun/25/lisbon-europe-portugal-golden-visa-capital-investors-short-term-re…

House prices and markets and uses of residential units:
https://www.theguardian.com/commentisfree/2025/jun/25/lisbon-europe-portugal-golden-visa-capital-investors-short-term-re…

🇺🇦 #NowPlaying on KEXP's #EasternEchoes
Shh... Diam!:
🎵 Lonely Lesbian
#ShhDiam
https://shhdiam.bandcamp.com/track/lonely-lesbian
https://open.spotify.com/track/11RnOr7TysdLM6Z1xoYT6x

Local Type Inference for Context-Free Session Types
Bernardo Almeida (LASIGE, Faculty of Sciences, University of Lisbon, Portugal), Andreia Mordido (LASIGE, Faculty of Sciences, University of Lisbon, Portugal), Vasco T. Vasconcelos (LASIGE, Faculty of Sciences, University of Lisbon, Portugal)
https://arxiv.org/abs/2505.20855

Local Type Inference for Context-Free Session Types
We address the problem of local type inference for a language based on System F with context-free session types. We present an algorithm that leverages the bidirectional type checking approach to propagate type information, enabling first class polymorphism while addressing the intricacies brought about by the sequential composition operator and type equivalence. The algorithm improves the language's usability by eliminating the need for type annotations at type application sites.

REALLY???? 😂🤣
https://bsky.app/profile/acyn.bsky.social/post/3ls7bmorvth2e

The smile on her face when he walks into the trap with, "how did I do that?" (where "that" is a $25 billion increase in funds to United Healthcare)
https://fed.brid.gy/r/https://bsky.app/profile/did:plc:5o6k7j…

What has Happened to Kensington Market?
At least this explains the sudden end to #PSK
https://youtube.com/watch?v=LZGV4InHAiY&si=9_BViTkNGDVVldKq