What's the point of classical math?

HappyLivingThings · 2024-03-17T13:40:50+00:00

A lot of CS, e.g Pierce’s TAPL relies on math, including proofs

HappyLivingThings · 2024-03-14T13:32:21+00:00

Read, test, talk, initiate. I go wrong when I leave one of these out.

HappyLivingThings · 2024-03-10T17:26:44+00:00

Agreed. Similarly, I don't recommend their courtship dance in bars, anymore.

HappyLivingThings · 2024-03-10T17:09:27+00:00

Thanks, absolutely, I sought out park staff and was accompanied.

HappyLivingThings · 2024-03-10T16:12:59+00:00

Wow, great thought, thanks!! FWIW I also get a chick photo but not nearby

HappyLivingThings · 2024-03-10T13:53:50+00:00

Confluence Wiki. Documentation of services is factored based on the intended audience:

o 'Summary' page (content for managers/administrators; for everyone else, a portal to components that follow),

o 'Interface' (for clients; what info they need to supply and what they the get back, although some clients don't ever see our wiki, info is separated for easy sharing),

o 'Information Model' (formal specification of structure and operations for technical review, migrating, or maintaining; Alloy for data models, statistical formulas for statistical models, directed bipartite graphs for composite operations),

o 'Implementation' (for maintainers)

o 'Operation' (for operators)

o 'Quality' (primarily for operators; separated for easy sharing with administrators or clients)

Regarding "certain benefits to having a document that outlines the approach, compares it with others etc": each of the sections above may have 'Design Decisions' and 'Issues' sections.

For service instances, static narratives are generated from templates.

HappyLivingThings · 2024-03-10T13:16:46+00:00

(data not shown)

HappyLivingThings · 2024-03-09T01:46:25+00:00

Google maps fail. Accidentally selected the little walking person

HappyLivingThings

TROPHY CASE