[FRIAM] talk about rabbit holes ...

Glen, Marcus, FWIW, I spent the evening sketching out a direction that could be fruitful when writing the quantifiers from the perspective of an adjoint situation. It would be cool if it could be easily extended to doing

Re: [FRIAM] Mild vs. Severe Symptoms

that and sweden and norway last I read 2 days ago are just going about their business. and fact is that taking care of yourself in the US (in general) is a huge problem. we have no NHS . Which means taking care of your health is fucking expensive! What all that means is well before all hell broke

[FRIAM] Fwd: New Mexico COVID-19 cases skyrocket by 55

Jim Girard gets to change his numbers. Tom Johnson - t...@jtjohnson.com Institute for Analytic Journalism -- Santa Fe, NM USA 505.577.6482(c)505.473.9646(h) *NM Foundation for Open Government*

[FRIAM] Mild vs. Severe Symptoms

Jeremy Egner, a NY Times editor, has been infected and hospitalized in NYC. He gives those who are seriously ill from the SARS-CoV-2 coronavirus a voicehttps://www.nytimes.com/2020/03/27/sunday-review/coronavirus-hospitalized.htmlHere in Europe he would be the exception, many politicians and

Re: [FRIAM] talk about rabbit holes ...

Marcus, Mostly, I bring up the issue of defining the quantifiers via functors for the academic challenge of it, but also thank you for looking up the singletons library. Getting under the hood of that library will likely have some beautiful code and likely a couple of balls-of-mud. Generally, I

[FRIAM] Fwd: COVID-19: What data can tell us. And what it can't.

Per this morning's presentation and conversations Tom Johnson - t...@jtjohnson.com Institute for Analytic Journalism -- Santa Fe, NM USA 505.577.6482(c)505.473.9646(h) *NM Foundation for Open Government*

[FRIAM] Katie Singer on The Limits of Internet Growth

While we were FRIAM-ing this morning, CIR was doing an interesting presentation. Here is the video of this morning's fascinating live stream, featuring Katie Singer on The Limits of Internet Growth. The beginning was clipped, but everything else is there!!

Re: [FRIAM] talk about rabbit holes ...

I can't imagine he'd try to extend his "helper functions" that far, no. I wasn't even familiar with Prover9 until I saw that post: https://www.cs.unm.edu/~mccune/mace4/ It's a small world after all. On 3/27/20 10:35 AM, Marcus Daniels wrote: > There’s the singletons library for GHC, and some

Re: [FRIAM] US Digital Response for COVID-19

A few people came and went during the meeting. But there were 8 to 10 in general. --- Frank C. Wimberly 505 670-9918 Santa Fe, NM On Fri, Mar 27, 2020, 1:05 PM Marcus Daniels wrote: > Of course.. I forgot it is Friday. (The days blur by in captivity.) > > On 3/27/20, 12:03 PM, "Friam on

Re: [FRIAM] US Digital Response for COVID-19

Of course.. I forgot it is Friday. (The days blur by in captivity.) On 3/27/20, 12:03 PM, "Friam on behalf of uǝlƃ ☣" wrote: Sorry. The zoom meeting was the standing FriAM meeting. I'd mentioned that site and they thought it might be worth posting to the mailing list. I haven't been

Re: [FRIAM] US Digital Response for COVID-19

Sorry. The zoom meeting was the standing FriAM meeting. I'd mentioned that site and they thought it might be worth posting to the mailing list. I haven't been contacted by anyone from the site. On 3/27/20 11:42 AM, Marcus Daniels wrote: > It was just a brief intro meeting? How many were on the

Re: [FRIAM] US Digital Response for COVID-19

Hi Glen, It was just a brief intro meeting? How many were on the call? Marcus On 3/27/20, 11:03 AM, "Friam on behalf of thompnicks...@gmail.com" wrote: Great, Glen! Thanks for doing this. If ever there were a list for which this suggestion is appropriate, it would be this one, eh?

Re: [FRIAM] break out!

I never received a link to click. On Fri, Mar 27, 2020 at 11:23 AM wrote: > Stephen, > > > > I thought the “break out” thing you did during the zoom meeting was > remarkable and revived the conversation dramatically. I think it might be > particularly useful in an academic setting. Could you

[FRIAM] break out!

Stephen, I thought the "break out" thing you did during the zoom meeting was remarkable and revived the conversation dramatically. I think it might be particularly useful in an academic setting. Could you describe in a few words what you did for us . um . idiots? Thanks, Nick

Re: [FRIAM] US Digital Response for COVID-19

Great, Glen! Thanks for doing this. If ever there were a list for which this suggestion is appropriate, it would be this one, eh? Nick Nicholas Thompson Emeritus Professor of Ethology and Psychology Clark University thompnicks...@gmail.com https://wordpress.clarku.edu/nthompson/

[FRIAM] US Digital Response for COVID-19

https://www.usdigitalresponse.org/ During the zoom meeting, it was suggested I post this here in case anyone wants to particiapte. It's a website run by some volunteers to sign yourself up to volunteer in some way. It targets "technology, data, and government professionals". Here is the

Re: [FRIAM] talk about rabbit holes ...

There’s the singletons library for GHC, and some follow-on work for Dependent Haskell. As far as I can tell it is another one of those drawn-out projects that the Haskell community manages to endure/ignore. From: Friam on behalf of Jon Zingale Reply-To: The Friday Morning Applied Complexity

Re: [FRIAM] talk about rabbit holes ...

Glen, It is kind of funny to me, and yet should not surprise me, that an individual was motivated to write a theorem prover in R. OTOH, every attempt I have ever made to get Agda to work for me has required sandboxing my Haskell environments and switching to an emacs editor, so hey. Still, the

[FRIAM] Fwd: Old friends Covid-19 letter #2

>From my friend Mike Collins and Kathy Fox, reliable sources. Tom Johnson - t...@jtjohnson.com Institute for Analytic Journalism -- Santa Fe, NM USA 505.577.6482(c)505.473.9646(h) *NM Foundation for Open

Re: [FRIAM] talk about rabbit holes ...

> Sorry for being unclear. I didn't intend to say that Frank Ramsey, who died > in 1930, was the jerk. It's Jeffrey Ketland that I'm concerned about. I felt that I was parsing that wrong but because I was rather tired and losing focus I rushed to respond without going back and double-checking my

Re: [FRIAM] talk about rabbit holes ...

Sorry for being unclear. I didn't intend to say that Frank Ramsey, who died in 1930, was the jerk. It's Jeffrey Ketland that I'm concerned about. And to be fair, it is traumatic to have an acquaintance commit suicide, regardless of the circumstances. Whether the "social justice league" who