475 Matching Annotations
  1. Nov 2020
    1. I'd love to take this for a spin. Maybe I could rewrite Demeter or micdrop using it.

    1. โ€œIโ€™m not a member of the health board, Iโ€™ve not been a part of any discussions or decisions,โ€ Woodward said.

      We shall see. I filed the public records request this morning (2020-11-11).

    1. October 29

      There's been some question about whether or not the executive session that led to Lutz's ouster was born of a regular meeting, and thus subject to the requirement that 'the presiding officer of a governing body shall publicly announce the purpose for excluding the public from the meeting place' (RCW 42.30.110(2)).

      The Internet Archive's snapshots of https://srhd.org/programs-and-services/board-of-health/meetings on

      contain references to, respectively, the regular meetings of

      (For that matter, the next meeting is currently listed as a regular meeting.)

      While no snapshots were taken between 2020-09-25 and 2020-10-28, it seems that, indeed, Thursday's meeting was initially public.

    1. The Spokane Regional Health District's Board of Health will hold a regularย meeting: Thursday, September 24, 2020
    1. The Spokane Regional Health District's Board of Health will hold a regular meeting: Thursday, December 3, 2020
    1. The Spokane Regional Health District's Board of Health will hold a regularย meeting: Thursday, July 30, 2020
    1. The Spokane Regional Health District's Board of Health will hold a regularย meeting: Thursday, May 28, 2020
    1. The Spokane Regional Health District's Board of Health will hold a regular meeting: Thursday, April 30, 2020
    1. The Spokane Regional Health District's Board of Health will hold a regularย meeting: Thursday, June 25, 2020
  2. Oct 2020
    1. I'll want to generate, upload, and store a certificate for publishing NuGet packages.

    1. I highly recommend setting a higher bound on the number of returned entities by each resolve function in your code.
    1. Hannah Stepanek annotated the hell out of this reference. I would do well to read what she had to say.

    1. A โ€œsolutionโ€ to GR is more like a model in logic: it may satisfy a theoryโ€™s axioms but have other properties that are contingent (unless the theory is categorical, meaning that all of its models are isomorphic).
    1. Confidence to express ignorance is a super power. One good way I hone this skill is by saying โ€œNothing to addโ€ when I have nothing to add, instead of repeating what other people said.
  3. leanprover.github.io leanprover.github.io
  4. Sep 2020
  5. Aug 2020
  6. Apr 2020
  7. Dec 2019
  8. Sep 2019
    1. unfortunately, we will not be implementing this feature as this does not align with our overall goals

      'Our overall goals' apparently not including cross-platform compatibility for its own software. ๐Ÿคฆโ€โ™‚๏ธ

  9. Jul 2019
    1. Marlene Feist, city spokeswoman, said the unusual intensity of the rainfall that evening coupled with debris jamming street drains led to the overflows, which were necessary to avoid damage to the cityโ€™s main collector pipe that runs wastewater to the treatment plant northwest of town. โ€œItโ€™s all about protecting the interceptor. An overflow from one of the tanks is much better than risking the integrity of the interceptor,โ€ Feist said.

      Very interesting. I take it that the 'interceptor' is more or less the aorta of Spokane's wastewater treatment infrastructure.

  10. Jun 2019
    1. The original codename for Kubernetes within Google was Project Seven of Nine, a reference to a Star Trek character that is a "friendlier" Borg.
  11. May 2019
    1. Mike Fagan was the only council member in opposition.

      I'm guessing that he opposed it on purely fiscal grounds, but would like to know for sure.

  12. Apr 2018
    1. Upon Unanimous Roll Call Vote,the City Council adopted Resolution 2018-0014to establish a working group to provide recommendations to City Council regarding municipal broadband solutions for the City of Spokane.
  13. Mar 2018
  14. Jan 2018
    1. โ€œThe library is the coolest place to go for free in summer and warmest place in winter,โ€ Logan said.

      The library is the coolest place to go regardless of the season. ๐Ÿ˜‰

    1. U.S. Rep. Cathy McMorris Rodgers, a Republican from Spokane, plans to get more information about the decision from the Justice Department, said her spokesman Jared Powell. McMorris Rodgers opposed the legalization of marijuana and proposals to reclassify the drug in a way that would allow it to be prescribed by doctors under federal law. โ€œThe Congresswoman wants to look deeper into how this decision will impact states, like Washington, who have already legalized marijuana,โ€ Powell said in a prepared statement.
  15. Dec 2017
    1. But the president and the speaker have both made the commitment that welfare reform will be next, Medicaid reform - these are things that really impact the drivers of our debts and of our deficits. And the growing economy that we expect as a consequence of this tax bill will make all the other problems we have to address in spending easier to solve because you'll have fewer people participating in many of the entitlement programs and safety net programs if we can get the type of job growth and wage growth that we expect as a consequence of the tax bill.

      That's all well and good if the growth numbers pan out, but if they don't (as is likely), expect Republicans to gut the programs nonetheless, claiming that we can no longer afford them ('starve the beast').

    1. the majority of Americansโ€”57 percentโ€”support the current net neutrality regulations that ban ISPs from blocking or discriminating against lawful content on the internet

      (Cited here.)

    1. bipartisan

      Both Consumer Reports and the University of Maryland concluded that a majority of Americans (in the latter case, a vast majority: 82.9%) oppose the repeal of net neutrality. (Local politicians, ironically, remain split along partisan lines.)