general meeting
September General Meeting
General discussion and social. Bring your laptop, gadgets, questions, etc. Look for the table with open laptops and a possible penguin. See you there.
Brian
Sacramento Linux User Group is a computer users serving Sacramento and surrounding areas including the Republic of Davis. We strive to promote Linux, Free Software, Open Source, open standards, and to generally have a good time by hosting social events that educate, allow members to share ideas and knowledge and to build friendships.
We hold regular meetings on the third Tuesday with usually a social gathering. Meetings and membership are free and open to the public. Please sign up for the Lug Nuts mailing list
general meeting
August General Meeting
General discussion and I will bring notes on updating Debian Exim mail server to use TLS certificates from Lets Encrypt. We generally meet on the second floor. Look for open laptops and the possible printout of a penguin on the table.
See you there.
Brian
general meeting
July General Meeting
Meet at Kupros for social. See you there.
general meeting
June General Meeting
We will meet at Kupros for this meeting!
Bring your gadgets, laptop, etc., and we will discuss, evangelize and strategize the upcoming meetings. We usually congregate on the second floor. Look for a penguin printout or hackers with their laptops open.
Brian
general meeting
May General Meeting
We will meet back at Kupros for this meeting!
Bring your gadgets, laptop, etc., and we will discuss, evangelize and strategize the upcoming meetings. We usually congregate on the second floor. Look for a penguin printout or hackers with their laptops open.
Brian
general meeting
April General Meeting
This will be a social meetup at the Raley’s on Freeport. See the locations page for more details. Bring your laptop, gadgets, questions, curiosity, etc. There are a series of big tables.
Raley's Store 415
4690 Freeport Blvd.
Sacramento CA,
95822
general meeting
March General Meeting
This will be a social meetup at the Raley’s on Freeport. See the locations page for more details. Bring your laptop, gadgets, questions, curiosity, etc.
Raley's Store 415
4690 Freeport Blvd.
Sacramento CA,
95822
general meeting
February General Meeting
This will be a social meetup at the Raley’s on Freeport. See the locations page for more details. Bring your laptop, gadgets, questions, curiosity, etc.
Raley's Store 415
4690 Freeport Blvd.
Sacramento CA,
95822
general meeting
January General Meeting
We will meet back at Kupros for this meeting! The last meeting we had, some noted that it was too loud. I had been thinking about a different location, but I didn’t investigate, so we will continue at Kupros for now.
Bring your gadgets, laptop, etc., and we will discuss, evangelize and strategize the upcoming meetings. We usually congregate on the second floor. Look for a penguin printout or hackers with their laptops open.
Brian
general meeting
December General Meeting
We will meet back at Kupros for this meeting!
Bring your gadgets, laptop, etc., and we will discuss, evangelize and strategize the upcoming meetings. We usually congregate on the second floor. Look for a penguin printout or hackers with their laptops open.
Brian
general meeting
Kevin demonstrates AI document repository
When: Mon November 17, 2025 06:00 PM to 08:00 PM
Speaker: Kevin Brisson
Location: Bel Air #502 S.E.G.R.
Kevin will present his Byte Vision local document analysis tool.
This talk will be at the Bel Aire Arden. Note that the meeting will be on Monday, rather than the usual Tuesday.
4320 Arden Way
Sacramento, CA 95864
general meeting
Formal Methods and Program Correctness
When: Tue October 21, 2025 06:00 PM to 08:00 PM
Speaker: Brian E. Lavender
Location: Bel Air #502 S.E.G.R.
We will talk about the use of SPARK/Ada to verify program correctness using automated tools.
Tools / notes from meeting
- Ada compiler in Fedora is GNAT
- JGrasp visualization tool . We used this tool to view the Ada 95 tutorial programs. JGrasp will not parse SPARK directives.
- Ada 95 tutorial.
- Alire is the virtual evironment development tool.
- Presentation resources: slides, examples, references, addtional notes.
Page 1 of 4 Less Recent →