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

gardening trivia of the day / no I don't want to get into roses I am just rabbit holing rose varieties and gardens for no reason
#TIL #roses

And William the B. cried
freeeeeedom! 🗡️ 🐝 https://flipboard.com/@theprovince/vancouver-news-jukt5a1dz/-/a-OUbhqLU_SgePZUVKJQh38A:a:1039021041-/0

Domestic Heat Pumps: Barriers to Installation (2022) - A case study in the friction in specifying and installing a heat-pump in the UK, even for a savvy early adopter. #heatpump #netZero #futureReady

Domestic Heat Pumps: Barriers to Installation (2022)
A case study in the friction in specifying and installing a heat-pump in the UK, even for a savvy early adopter. #heatpump #netZero #futureReady

Theoretically, a specific federal court could say the feds can’t kill me, or you, or anyone, where we stand for saying “trump is a weak child.”
And such restriction on federal use of force might only apply within that federal circuit.
We cross a boundary, an injunction against our summary execution may not hold.
That’s the illogical but real conclusion of scotus’ bad decision this week as I understand it.
Can the dead file suit against their already-carried out ex…

I’ve been using it a bit, and…Codeberg is good.
I mean, I’m sure there are just a bunch of brick walls if you’re relying on specific Github features that it just doesn’t have — actions, project management features, certain tool integrations, whatever.
But if you don’t hit those walls? It works. It works well. It continues to work such that my attention is mostly on other things — and that’s high praise in my book!

#TGIQF: Spaceballs - Das Quiz
Spaceballs 2 kommt 2027 in die Kinos – Mel Brooks' Kultkomödie wird nach 40 Jahren endlich fortgesetzt. Wir feiern mit einem Spaceballs-Quiz. Machen Sie mit!

This https://arxiv.org/abs/2503.04779 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csPL_…

Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference
Large Language Models (LLMs) are increasingly being used to automate programming tasks. Yet, LLMs' capabilities in reasoning about program semantics are still inadequately studied, leaving significant potential for further exploration. This paper introduces FormalBench, a comprehensive benchmark designed to evaluate LLMs' reasoning abilities on program semantics, particularly via the task of synthesizing formal program specifications to assist verifying program correctness. This task requires b…

#photography #bloomScrolling #iris

I’ve been using it a bit, and…Codeberg is good.
I mean, I’m sure there are just a bunch of brick walls if you’re relying on specific Github features that it just doesn’t have — actions, project management features, certain tool integrations, whatever.
But if you don’t hit those walls? It works. It works well. It continues to work such that my attention is mostly on other things — and that’s high praise in my book!