Meeting tomorrow

[Jas Eckard]

Hey everyone!  Still planning to meet tomorrow, both in person and online.  I don't have a topic and I'm not sure if ColaLUG does either, so bring something to talk about.

See you tomorrow!

[Ben Francis]

I got no hits, so we'll just tell war stories and I'll relate how ColaLUG started 25 years ago this week!

Ben

On Mon, Aug 8, 2022 at 9:40 PM Jas Eckard <jas+...@eckard.com> wrote:

Hey everyone!  Still planning to meet tomorrow, both in person and online.  I don't have a topic and I'm not sure if ColaLUG does either, so bring something to talk about.

See you tomorrow!

--
You received this message because you are subscribed to the Google Groups "Upstate Carolina Linux Users Group" group.
To unsubscribe from this group and stop receiving emails from it, send an email to uclug+un...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/uclug/CAC%2BRRjs1Nf%2Bmx6mukRVgkgOEvsLLLhbVVc%3DSZi0aU6BLtfAhkQ%40mail.gmail.com.

[Ben Francis]

Actually, I do want to talk about the new Runtime Verification Interface, which was accepted into the kernel on July 30. 5 minutes maybe.

Ben

[Ben Francis]

Runtime Verification interface: kernel/git/torvalds/linux.git - Linux kernel source tree

RV works by analyzing the trace of the system's actual execution, comparing it against a formal specification of the system behavior. RV can give precise information on the runtime behavior of the monitored system while enabling the reaction for unexpected events, avoiding, for example, the propagation of a failure on safety-critical systems.

[Billy Blackburn]

what is the link and time to  join?  I will be available for once. 

On Mon, Aug 8, 2022 at 9:40 PM Jas Eckard <jas+...@eckard.com> wrote:

Hey everyone!  Still planning to meet tomorrow, both in person and online.  I don't have a topic and I'm not sure if ColaLUG does either, so bring something to talk about.

See you tomorrow!

--

[Ben Francis]

6:30pm https://meet.jit.si/sclugs

To view this discussion on the web visit https://groups.google.com/d/msgid/uclug/CAM8ERy_dRdejnr9D0sUuvNy6-Qo%2BAi9%2BZ%2BN%2BciAvDEkf8HmoKQ%40mail.gmail.com.

[Billy Blackburn]

ty verrmuch

To view this discussion on the web visit https://groups.google.com/d/msgid/uclug/CAKmOqmQ7ohDOAZXdSnSL4PfeiOhPWTNhOZTUZh4bL85RC6taQg%40mail.gmail.com.

[Jas Eckard]

Whoops! I did forget to send that, didn't I?

Also, meeting physically at:

201 Riverplace Suite 500
Greenville, South Carolina

18:30, https://meet.jit.si/sclugs

On Mon, Aug 8, 2022 at 10:55 PM Billy Blackburn

> To view this discussion on the web visit https://groups.google.com/d/msgid/uclug/CAM8ERy-ykPA3hwDWzwdoHV%2BcQ9%2Bv68RmB4xeAXQz71W6sp5qgA%40mail.gmail.com.

[Billy Blackburn]

Oh ok, I used to live in greenville but moved to Spartanburg.  I will try to join with the link in a few hours

To view this discussion on the web visit https://groups.google.com/d/msgid/uclug/CAC%2BRRjtRiDEh-PGQYF0DTvC8CSh27WBGeFMQ%2BAUesdRSuR1dnw%40mail.gmail.com.

[Bill Jacqmein]

Yeah the traffic getting into Greenville has been crazy with the
construction just after Pelham. The extra lane should help (crossing
fingers).

On Tue, Aug 9, 2022 at 4:27 PM Billy Blackburn

> To view this discussion on the web visit https://groups.google.com/d/msgid/uclug/CAM8ERy_M8V5OYvTydq_yboS5ar-ctSBm_z%3D14T8r50atawDgQg%40mail.gmail.com.

[Ben Francis]

Here the video and the links we talked about:

https://youtu.be/ApiNNhgeLz8

https://web.archive.org/web/19990429065746/http://www.colalug.org/ https://www.phoronix.com/news/Linux-6.0-Runtime-Verification https://bristot.me/files/presentations/RTLA_ELC_2022.pdf https://git.kernel.org/pub/scm/linux/kernel/git/rostedt/linux-trace.git/tree/Documentation/trace/rv/runtime-verification.rst?h=for-next&id=ff0aaf671230d409a68fd7400f41e9eb3ac61dd8

To view this discussion on the web visit https://groups.google.com/d/msgid/uclug/CAMQEVvEBck_oPyif1x8gSY_QHoEL9Z3UcZpkDQR%3DoY_awGTmWQ%40mail.gmail.com.

[Dan Calloway]

Ben,

Thank you for providing these. See you next month.

-- 

Dan Calloway

LCDR, SC, USNR (Ret.) / 20-year Veteran

Asheville, NC 28805

Title 38 of the Code of Federal Regulations defines a veteran as

“a person who served in the active military, naval, or air service and who 

was discharged or released under conditions other than dishonorable.”