At the moment, this Emacs Hangout will have the following agenda:

• Getting Things Done with Org Mode. This is a workshop designed to show many of the features of org-mode that will really help you get and stay organized. Corny as it sounds, but when people talk about org-mode changing how you run your life, this is it. Please have a running Emacs on a laptop in order to fully participate. If you need help getting started, please let us on the channel know and we'll be happy to do a screen sharing session with you.

• Lightning Talks. Have something to share? Great! Each lightning talk with be around 5 minutes to show off something cool your learned, so come prepared! We don't know how many of these we'll have, but we're flexible.

• Office Hours. At 8:00, we will retire to Kell's for libations and nerd the place up by pulling out laptops to help resolve issues or discuss projects you are working on.

We'll publish notes about this meeting at our Github repository (https://github.com/howardabrams/pdx-emacs-hackers)

Note: Our monthly hangouts will be the third Wednesday of each month.

Are you Linus Torvalds? If so, let's hang out and discuss git or Linux or your micro emacs configuration.

Tonight, our Emacs Hangout will feature a Hack Night, where we can all get together and hack on new or existing projects that members bring. Not sure what this may entail? Check out these initial thoughts on the subject. Not sure what to hack? We'll begin our evening of hackery with a brief 5-minute trick: This week will demo the organization capabilities of use-package.

If you have a little or big project or problem you'd like to solve, bring it, and pair up with someone who may have some experience in that area.

Hope to see you all there!

Tonight, our Emacs Hangout will feature a Hack Night, where we can all get together and hack on new or existing projects that members bring. Not sure what this may entail? Check out these initial thoughts on the subject. Not sure what to hack? We'll begin our evening of hackery with a brief 5-minute trick: This week will demo how to get started with your own personalized mode-line.

If you have a little or big project or problem you'd like to solve, bring it, and pair up with someone who may have some experience in that area.

Hope to see you all there!

Our Emacs Hangout will feature a Hack Night, where we can all get together and hack on new or existing projects that members bring. Not sure what this may entail? Check out these initial thoughts on the subject.

If you have a little or big project or problem you'd like to solve, stop by for a bit of hackery and fun.

Hope to see you all there!

This week's agenda:

• Using Clojure. A presentation/demonstration on how to get Emacs to work with Clojure, Cider and the Clojure refactoring tools.
• Lightning Talks. Have something to share? Great! Each lightning talk with be around 5 minutes to show off something cool your learned, so come prepared!
• Office Hours. At 8:00, we will retire to The Lotus for libations and to nerd the place up with Emacs Office Hours. Bring your latest project or issues, and get someone to help out.

First Time Users: If you are new to Emacs, let us know, and we'll be happy to help get you set up and answer your questions.

Note: Our monthly hangouts will be the third Wednesday of each month.

• Our main talk will be an Introductory Tutorial and Workshop on org-mode ... If you have ever wanted to learn how Emacs changes lives, this is the workshop to attend.

• Lightning Talks. Have something to share? Great! Each lightning talk with be around 5 minutes to show off something cool your learned, so come prepared! We don't know how many of these we'll have, but we're flexible.

• Office Hours. We'll retire to Kell's at 8:00 to continue the conversation, and start helping each other out with Emacs issues or features.

Our first Emacs Hangout will have the following agenda:

• Main Talk. Overview of Magit, a Git Porcelain for Emacs presented by Will Clifford and Howard Abrams. This will be around 15 minutes, so it won't answer all your questions, but should get you started.

• Lightning Talks. Have something to share? Great! Each lightning talk with be around 5 minutes to show off something cool your learned, so come prepared! We don't know how many of these we'll have, but we're flexible.

• Office Hours. We'll have a white board where you can write down issues you want to resolve or projects you are working on, and others will come and work with you to solve them.

We may tweak this format in the future, but this is our plan. We'll publish notes about this meeting at our Github repository.

Couple of notes about this meeting:

1. Enter on SW 2nd.  Arrive by Max? Walk around the building.

2. Doors lock at 7, so people arriving after 7 will need to call the note on the door to let them in.
3. We will finish office hours at 8, and then continue at a local pub.

Note: Our monthly hangouts will be the third Wednesday of each month...however, we may alter this pattern for November and December.

This Emacs Hangout will have the following agenda:

• Workshop for Literate Programming. Whether you hack in Clojure or JavaScript or something in between, we will demonstrate how to use the code blocks in org-mode to program the tough stuff using an updated variation on Donald Knuth's Literate Programming concept. We'll also cover some "Literate DevOps" (as shown in this demonstration ... or read up about it here). Note: This is a workshop, so to fully participate, please bring a laptop running your favorite editor Emacs.

• Lightning Talks. Have something to share? Great! Each lightning talk with be around 5 minutes to show off something cool your learned, so come prepared! We don't know how many of these we'll have, but we're flexible.

• Office Hours. At 8:00, we will retire to Kell's for libations and to nerd the place up with Emacs Office Hours. Bring your latest project or issues, and get someone to help out.

We'll publish notes about this meeting at our Github repository.

Note: Our monthly hangouts will be the third Wednesday of each month...however, we may alter this pattern for November and December.

This evening, we will be demonstrating setting up Emacs for Ruby by Will Clifford and Setting up Emacs for Python Development presented by Chris Freeman. We will also have Lightning Talks demonstrating cool tips and tricks. If time permits, we may also get a short Macro workshop.

After the meeting, we will be retiring to a local pub for drinks and "Office Hours" so bring your issues and someone should be able to help you out.

A study/user group exploring the world of functional programming based in Portland, Oregon. The group welcomes programmers interested in all functional languages, including Haskell, Erlang, OCaml, Scala, and others. The group meets regularly and provides presentations, demos and discussions applicable to all skill levels, from newbies and experts. The meetings are usually on the second Monday of the month.

Jim Blandy will present trace-based just-in-time compilation techniques, how they're being used in his work at Mozilla with the SpiderMonkey JavaScript implementation, and how these can be applied to functional programming languages. Jim is a contributor to GNU Emacs, Guile, GDB, EGLIBC, Mozilla SpiderMonkey, Subversion, and others.

Abstract: Lean is an interactive theorem prover and functional programming language. Lean implements a version of the Calculus of Inductive Constructions. Its elaborator and unification algorithms are designed around the use of type classes, which support algebraic reasoning, programming abstractions, and other generally useful means of expression. Lean has parallel compilation and checking of proofs, and provides a server mode that supports a continuous compilation and rich user interaction in editing environments such as Visual Studio Code, Monaco, Emacs, and Vim. In the first part of this talk, we provide a short introduction to Lean, its applications, and its metaprogramming framework. We also describe how this framework extends Lean’s object language with an API to many of Lean’s internal structures and procedures, and provides ways of reflecting object-level expressions into the metalanguage. We provide evidence to show that our implementation is efficient, and that it provides a convenient and flexible way of writing not only metaprograms and small-scale interactive tactics, but also more substantial kinds of automation. In the second part, we describe our plans for the system, and what we are currently working on.

More information about Lean can be found at http://leanprover.github.io. The interactive book “Theorem Proving in Lean” is the standard reference for Lean. The book is available in PDF and HTML formats. In the HTML version, all examples and exercises can be executed in the reader’s web browser.

Bio: I’m a Principal Researcher in the RiSE group at Microsoft Research. I joined Microsoft in 2006, before that I was a Computer Scientist at SRI International. I obtained my PhD at PUC-Rio in 2000. My research areas are automated reasoning, theorem proving, decision procedures, SAT and SMT. I’m the main architect of Lean, Z3, Yices 1.0 and SAL. Lean is an open source theorem prover and programming language. Sebastian Ullrich and I are currently developing the next version (Lean 4). Z3 and Yices are SMT solvers, and SAL (the Symbolic Analysis Laboratory) is an open source tool suite that includes symbolic and bounded model checkers, and automatic test generators. Z3 has been open sourced (under the MIT license) in the beginning of 2015. I received the Haifa Verification Conference Award in 2010. In 2014, the TACAS conference (Tools and Algorithms for the Construction and Analysis of Systems) has given an award for “The most influential tool paper in the first 20 years of TACAS” to the Z3 paper: Z3: An Efficient SMT Solver. 14th International Conference, TACAS 2008, vol. 4963 of Lecture Notes in Computer Science. In 2015, Z3 received the Programming Languages Software Award from ACM SIGPLAN. In 2017, the International Conference on Automated Deduction (CADE) presented the Skolem Award for my paper “Efficient E-Matching for SMT Solvers” that has passed the test of time, by being a most influential paper in the field. In 2018, the ETAPS conference has given the test of time award to the Z3 paper: Z3: An Efficient SMT Solver. You can see more about me at https://leodemoura.github.io/about.html

abstract: Idris is a pure functional language with full dependent types. In this series of tech talks, Idris contributor David Christiansen will provide an introduction to programming in Idris as well as using its development tools. Topics to be covered include the basics of dependent types, embedding DSLs in Idris, Idris’s notion of type providers, a general outline of the implementation strategy, the C FFI, and the effects library. Each talk has an associated set of exercises as well as suggested projects for further learning. Participants are expected to be familiar with functional programming in either Haskell or an ML.

bio: David Raymond Christiansen is a Ph.D. student at the IT University of Copenhagen. For the last few months, he has been an intern at Galois, working on verifiable elections and better user interfaces for DSLs. His interests include functional programming languages, domain-specific languages, and environments that make them useful. David has contributed features such as type providers and error reflection to the Idris language as well as significant parts of the Emacs-based IDE. Additionally, he is a co-host of The Type Theory Podcast.

abstract: Idris is a pure functional language with full dependent types. In this series of tech talks, Idris contributor David Christiansen will provide an introduction to programming in Idris as well as using its development tools. Topics to be covered include the basics of dependent types, embedding DSLs in Idris, Idris’s notion of type providers, a general outline of the implementation strategy, the C FFI, and the effects library. Each talk has an associated set of exercises as well as suggested projects for further learning. Participants are expected to be familiar with functional programming in either Haskell or an ML.

bio: David Raymond Christiansen is a Ph.D. student at the IT University of Copenhagen. For the last few months, he has been an intern at Galois, working on verifiable elections and better user interfaces for DSLs. His interests include functional programming languages, domain-specific languages, and environments that make them useful. David has contributed features such as type providers and error reflection to the Idris language as well as significant parts of the Emacs-based IDE. Additionally, he is a co-host of The Type Theory Podcast.

abstract: Idris is a pure functional language with full dependent types. In this series of tech talks, Idris contributor David Christiansen will provide an introduction to programming in Idris as well as using its development tools. Topics to be covered include the basics of dependent types, embedding DSLs in Idris, Idris’s notion of type providers, a general outline of the implementation strategy, the C FFI, and the effects library. Each talk has an associated set of exercises as well as suggested projects for further learning. Participants are expected to be familiar with functional programming in either Haskell or an ML.

bio: David Raymond Christiansen is a Ph.D. student at the IT University of Copenhagen. For the last few months, he has been an intern at Galois, working on verifiable elections and better user interfaces for DSLs. His interests include functional programming languages, domain-specific languages, and environments that make them useful. David has contributed features such as type providers and error reflection to the Idris language as well as significant parts of the Emacs-based IDE. Additionally, he is a co-host of The Type Theory Podcast.

Our scheduled Hack Night has been cancelled due to lack of a place, so this evening, we are just meeting for drinks at the Lotus, and talk about a Hack Night for next month.

The virtual conference, EmacsConf 2019 is coming soon, and Howard Abrams will be presenting a talk about completely replacing a Terminal Shell with Emacs. This evening, he'll be doing a dry-run with us, and trying to convince us that the Shell is a relic of the past and should go away, along with all those Termcap entries. We'll also be having office hours and our regular round-table of lightning talks, so come and join us at our new meeting location.

(Thanks www.nwea.org for hosting us!)

This Chef Introductory Workshop is a hands on training class for getting familiar with Chef for performing common automation tasks. In this workshop, we will cover:

Set up a local workstation with Chef and connect to a Chef Server. Use Chef to automate installation of a Nagios server as a real world example. Automate other common system tasks with Chef:

Each exercise will be instructor-led, and introduce new Chef concepts along the way. We'll cover the Anatomy of a Chef Run, Chef's Authentication Cycle, how to build roles, manipulate configuration through data in attributes, use Chef's search API for dynamic configuration, and more. WORKSTATION REQUIREMENTS Attendees should bring a wifi-enabled laptop to the workshop. The following operating systems have been tested as workstation systems with the hands on exercises:

Ubuntu 10.04, 12.04 Mac OS X 10.7.3 Windows 7

Other platforms and platform versions may work without modification. Due to time constraints we will not be able to troubleshoot issues with unlisted platforms. Attendees should install non-Chef required software before the workshop starts.

SSH/SCP (OpenSSH, puTTY/WinSCP or equivalent) Programer's text editor (Vi/Vim, Emacs, Sublime Text 2 or equivalent)

On Unix/Linux/OS X systems:

C/C++ compiler, build environment (build-essential, Xcode, or platform equivalent).

If Chef is not already installed, use Opscode's Full Stack Chef installer

One of the core goals of PASCAL is to provide educational opportunities to people in the information security and technical communities of Portland, and with AlgoBytes we get to do exactly that!

AlgoBytes is an informal workshop series to learn a bit more about the formal foundations of the field of computer science and about core data structures/algorithms frequently used for interviews, whether you've never explored them before or need a refresher.

This session we have a very talented guest speaker.

Talk Abstract:

Rust is a new systems programming language, designed to compete with C and C++. Rust ensures memory and thread safety, with minimal (often zero) overhead. Rust brings many modern comforts to systems programming, like dependency management and an extensive public package registry. Mozilla is rewriting portions of its Firefox web browser in Rust to improve its performance and security.

In this talk, I'll explain the key design decisions that make Rust interesting, and do some live coding to give a sense of what the language is like to work with.

Speaker Bio:

Jim Blandy has been a professional programmer for 28 years, working for the Free Software Foundation, Red Hat, and Mozilla. He has been a maintainer of GNU Emacs, GNU Guile, and the GNU Debugger (GDB), and is one of the original designers of the Subversion version control system. He is a co-author of the book Programming Rust from O'Reilly. He is a member of the Developer Tools team at Mozilla.

Abstract: The Free Software Movement campaigns for computer users' freedom to cooperate and control their own computing. The Free Software Movement developed the GNU operating system, typically used with the Linux kernel, specifically to make these freedoms possible.

The Portland State University Chapter of the Association for Computing Machinery and the Computer Science Department are proud to welcome Richard Stallman to PSU for this general-interest talk. Mr. Stallman is the father of the free software movement and the concept of 'copyleft', the original author of GNU Emacs, the GNU Compiler Collection, and many of the utilities used in the GNU/Linux operating system.

This event is free and open to the general public. Mr. Stallman will be available for a brief Q&A session following the talk.

Doors open at 7pm, the talk begins at 7:30pm.

                         MEETING ANNOUNCEMENT

          PLUG Meeting will be different than normal

                       Richard Stallman
                        is speaking at
                  Portland State University
              during PLUG's normal meeting time.

     So, instead of having a PLUG meeting we will attend
            Richard Stallman's talk at 7:00 PM at

     The PSU Native American Student and Community Center
                      710 SW Jackson St
                    Portland Oregon 97201

 And if Stallman's talk gets out early enough we will 
 go over to The Lucky Lab Northwest Beerhall at 1945 NW Quimby
 Portland, Oregon afterwards.

 *******************************************************************

                           Abstract
                             for
                    Richard Stallman Talk

                         Presented by
                  Portland State University
                          Chapter of
              Association of Computing Machinery

 The Free Software Movement campaigns for computer users' freedom 
 to cooperate and control their own computing. The Free Software 
 Movement developed the GNU operating system, typically used with 
 the Linux kernel, specifically to make these freedoms possible.

 The Portland State University Chapter of the Association for 
 Computing Machinery and the Computer Science Department are proud 
 to welcome Richard Stallman to PSU for this general-interest talk. 
 Mr. Stallman is the father of the free software movement and the 
 concept of 'copyleft', the original author of GNU Emacs, the GNU 
 Compiler Collection, and many of the utilities used in the GNU/Linux 
 operating system.

 This event is free and open to the general public. Mr. Stallman will 
 be available for a brief Q&A session following the talk.

 *******************************************************************

Ever wondered about how to use that cryptic software called emacs? Have you wanted to know if emacs really is Lisp in disguise? Would you like to wow all your classmates when you know how to use the cool software? Come to the talk and let Rob teach you how emacs works in an interactive workshop format. Bring a laptop, as you will want it.

Rob Werfelman is is a student of Computer Science at Portland State University, an active member of the PSU chapter of the ACM, and a CS tutor. Hosted in the ACM room inside the CS tutoring lounge.

Office hours are a great place to chat with other developers and help or get help with any questions that come up.

Everyone is always welcomed regardless of skill or experience. If you are curious come on out.

Curious about Clojure? Have questions about Emacs or Cursive or Vim or Spacemacs or anything else? Come on out and we'll help.

Curious about Clojure? Have questions about Emacs or Cursive or Vim or Spacemacs or anything else? Come on out and we'll help.

Office hours are a great place to chat with other developers and help or get help with any questions that come up.

Everyone is always welcomed regardless of skill or experience. If you are curious come on out.

Office hours are a great place to chat with other developers and help or get help with any questions that come up.

Everyone is always welcomed regardless of skill or experience. If you curious come on out.

This month we'll have a special newcomers focus where we'll start with introductions, have lighting talks, discuss somethings we like about clojure and some things we find confusing and help each other install a dev environment.

Curious about Clojure? Have questions about Emacs or Cursive or Vim or Spacemacs or anything else? Come on out and we'll help.

Zach Tellman wrote an interesting piece on successful strategies for the self-organizing Clojure meetup:

http://blog.factual.com/clojure-office-hours Let's try this model! There will be a whiteboard, Puppet will graciously host and those who want to learn can come to learn, those who want to hack can come and hack, and those who are willing to share their wisdom are welcome to do so.

See you at Puppet!

per #clojure-pdx on irc.freenode.net on 5/12:

waynr: howdy folks

waynr: i might try to make the clojerks meetup on thursday

benkay: sweet!

benkay: i don't know what we're doing yet

benkay: do you want to talk about a thing waynr ?

waynr: maybe, i think i am going to try to help get lein-release into leiningen this week in the afterwork hours, not sure if there is much to say about that

waynr: maybe the thing at this meetup could be collaborating on getting lein-release into leiningen...technomancy mentioned in #clojure that this is a pretty big blocker for 2.4.0

waynr: i haven't delved too deeply into it but it seems like the existing plugin really does most of what technomancy mentions here:http://librelist.com/browser//leiningen/2014/5/1\release-task/

benkay: sounds great, waynr

benkay: would this be an active hacking session or...

waynr: yeah that sounds like a good use of the time

Leiningen is a very important component of the Clojurian toolchain, responsible for compilation, en-jar-ificaation, REPLs, running applications in production, many other things, and soon package release automation as well!

Please join us to hack on Leiningen this Thursday at Puppet Labs. Please also join us if you're dabbling in Clojure, want to engage in hifalutin' discourse about editors, or just want to hang out with other lispy programmery folk.

We also tend to go for food/drinks afterwards, where conversation ranges more broadly into war stories, philosophy and idle industry trend speculation.

Clojure hack night at Puppet!

Show up at 5.30 if you want to form a team for a focused Dojo session, or later if you want to hack on your .emacs.

Closed: Puppet is reportedly closing at 3pm today due to snow.

Chris Pitzer has claimed November's Michel's Monthly Module (most likely: subprocess), Brett Carter is putting together a presentation all about Mercurial Queues, then Jason Kirtland will highlight a few of the differences between MQ and Mercurial Patch Branches. Jason also plans to share a quick bonus lightning talk about Emacs, PyFlakes and PEP 8.

This month's Emacs Hack and Meet Night is more special, as we will be joining the San Francisco Bay Area Emacs group via the miracle of modern telecommuting technology. We'll be alternating between members from both communities in a series of lightning talks. Come and learn something new. Got something to share? You are especially invited to come and join in the fun.

By the way, if you like VI's editing interface, we especially encourage you to come, as Logan Barnett will be demonstrating how to get started with Evil and leader keys (even if you don't want to start out with something like Spacemacs).

Afterwards, we'll be retiring to our favorite nearby Thai haunt for food and drinks.