Ciro Santilli @cirosantilli 37

Development ceased in 2021 and was taken up by a not-for-profit as Farama Gymnasium.

Shut down 2023: cherwell.org/2023/01/09/dysfunctional-oxshag-to-shut-down/?fbclid=IwAR21qSmdKeeCExhDj1YE2_B2_OgH6wS4WRjr4pp-GzDyZl6YgjhqzBUxwwQ

This is apparently where past exam papers can be found. Paywalled of course.

The paywall is stupid however, as they seem to provide past papers upon request, e.g.

This adds to the mess of having a different location for material per department. Presumably this exists because the central university authority wants to centralize examinations to have better control over degree requirements. If only they would also do the same for all materials and end the mess.

PostgreSQL: www.postgresql.org/docs/current/functions-srf.html

The last value we will likely every know for the busy beaver function! BB(6) is likely completely out of reach forever.

By 2023, it had basically been decided by the The Busy Beaver Challenge as mentioned at: discuss.bbchallenge.org/t/the-30-to-34-ctl-holdouts-from-bb-5/141, pending only further verification. It is going to be one of those highly computational proofs that will be needed to be formally verified for people to finally settle.

As that project beautifully puts it, as of 2023 prior to full resolution, this can be considered the:on the Busy beaver scale.

Minimal reproduction: stackoverflow.com/questions/62336340/cannot-update-a-component-while-rendering-a-different-component-warning/70317831#70317831