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!)

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.

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.

Tonight, we're gathering over sharing a collection of lightning talks show-casing new things we've learned or built...essentially, live demos of our #cool-til Slack channel 😄 ... including showing a system running EXWM (the Emacs X Window Manager) where Emacs runs regular applications inside an Emacs buffer. Why? Well having a full featured, but light-weight and essentially mouseless window manager would work well on older systems.

Feel free to attend or participate, and if you can't make it physically, please join us virtually: http://meet.jit.si/pdxemacs

After our show and tell session, we'll retire to a nearby restaurant for food and drinks. Hope to see you there.

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

Tonight, we're gathering over sharing a collection of lightning talks show-casing new things we've learned or built...essentially, live demos of our #cool-til Slack channel 😄

Feel free to attend or participate, and if you can't make it physically, please join us virtually: http://meet.jit.si/pdxemacs

After our show and tell session, we'll retire to a nearby restaurant for food and drinks. Hope to see you there.

Tonight, we're going to celebrate with a collection of lightning talks show-casing new things we've learned or built...essentially, live demos of our #cool-til Slack channel 😄 Watch the @howardabrams Twitter channel for a URL if you want to join remotely...we may be a local diocese, but we're open to visitors.

After our show and tell session, we'll retire to a nearby restaurant for food and drinks. Hope to see you there.

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.

Tonight, we're going to celebrate with a collection of lightning talks show-casing new things we've learned or built...essentially, live demos of our #cool-til Slack channel 😄

This includes a demo of Howard's new keyboard.io and his hacks to make it work well with Emacs.

After our show and tell session, we'll retire to a nearby restaurant for food and drinks. Hope to see you there.

As the Ultimate Nerd Battle for Editor Anecdotal Mindshare (UNBEAM) closes in on forty years, the VI forces has taken over the Emacs Cathedral in Portland threatening the diocese. But during an intense battle of differing perspectives, a metallic ship emerges from space. Aliens beamed a message to the surface of the planet:

Nerdy Earthlings, can we call you Nerdlings? You need not fight anymore! The best editor is neither Emacs nor Vim, it’s Emacs and Vim. Combine your ideologies and merge your effort, and please end this useless conflict.

This month’s Emacs Meetup has been pre-empted for a full discussion about combining Emacs and VI using the Spacemacs system (see www.spacemacs.org). We are planning on three separate presentations:

1. Introduction to Spacemacs, and how to use it as either an Emacs or VI user.
2. Customizing Spacemacs using their Layer approach.
3. Vi-like Spacemacs features that neither Emacs nor VI offer, .e.g. a Lisp “modal” State for manipulating s-expressions using Paredit, and how this can be applied to other programming languages.

Hope to see you all there!

Our last Emacs get-together of the year will be hosted at Workday’s new offices in Beaverton. We're going to celebrate with a collection of lightning talks and show-casing new things we've learned or built...essentially, live demos of our #cool-til Slack channel 😄

After our show and tell session, we'll retire to a nearby restaurant for food and drinks. Hope to see you there.

Tonight we'll be hacking on Emacs' own shell, eshell. We'll begin with a overview of its capabilities and how it compares to better known, but not-as-extendable, shells. We'll then see how this "REPL with File System Controls" can be easily hacked and crafted into a most-amazing tool of awesome.

This evening, Howard Abrams will kick off our new Emacs Hackery season by showing off some Emacs features for hacking Emacs Lisp…. that’s right, using Emacs to program Emacs Lisp (what a concept). This will be followed by some interesting ways to look up Emacs functions, which includes the illustrious suggest.el project.

With our environment initialized, we’ll start to hack on a new project (a game) that uses some of the new data structure libraries that have showed up in the Emacs ecosystem lately.

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.

This month, the Emacs Hackers assemble for lightning talks demonstrating the results of last month’s project. Followed by a session of Hacking on Org Mode Tasks.

Due to a posted tweet about automatic refiling of old tasks, we figured we could hack Emacs to analyze the timestamps associated with tasks and archive or delete tasks that are too old to be relevant.

Our hack nights are collaborative group programming and quite a bit of fun, especially if you know little about Emacs Lisp. We pick simple projects that can be started during our hack night, but that can be polished and personalized afterwards.

Hope to see you there!

For this month, our Hacker Meetup will be hacking a personalized breadcrumb tool. Many breadcrumb-like tools and functions already exist (using find-tag and pop-tag is one of these), but writing your own breadcrumb functions with marks from your own favorite commands, could be both fun and useful when jumping around a large code base or document. We’re planning on pair programming to come up with a couple of implementations and share our implementations and discoveries.

Time permitting, we will have lightning talks about anything interesting our local hackers have found or made. If you have something to share, by all means, come along.

This will be followed by Office Hours, where we can all get together and discuss, fix or hack on new or existing projects. 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!

Note: We've started a PDX-oriented Emacs Slack group, pdx-emacs.slack.com. Interested? Contact someone in the group to get an invitation.

Tonight, our Emacs Hangout will feature a series of lightning talks about anything interesting our local hackers have found or made. If you have something to share, by all means, come along.

This will be followed by Office Hours, where we can all get together and discuss, fix or hack on new or existing projects. 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!

Note: We've started a PDX-oriented Emacs Slack group, pdx-emacs. Interested? Contact someone in the group to get an invitation.

Tonight, our Emacs Hangout will feature a presentation by Howard Abrams on "Some" Emacs Lisp Best Practices ... Details of this:

While I'm not, by any means, an expert on what the community, after 30 some-odd years, agrees to regarding the best way to write Emacs Lisp, I will walk through some of what I've learned in creating a ELPA project. These tips should be applicable for any one writing Emacs Lisp whether or not they will be submitting that code to as a community package project.

The presentation will be followed by "Office Hours", where we can all get together and discuss, fix or hack on new or existing projects. 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!

Note: We've started a PDX-oriented Emacs Slack group, pdx-emacs. Interested? Contact someone in the group to get an invitation.

Tonight, our Emacs Hangout will feature a presentation on using Emacs to develop Haskell projects (Thank you Cyd).

A partially completed project, Emacs config, and instructions will be provided before the talk. A Docker image will be provided for those who do not want to install all of the required tools. Packages (briefly) demonstrated will be intero, haskell-mode, haskell-snippets, hlint-refactor, flycheck, company, and projectile.

Topics covered will be: automatic type and style checking, type signature insertion, inspecting type and info of thing at point, automatic refactoring using compiler and lint suggestions, yasnippet templates, jumping to definitions (including 3rd party definitions), loading the current buffer into the REPL, and running tests.

Hope to see you all there!

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.

Tonight, our Emacs Hangout will feature two lightning talks (one oriented to less experienced Emacsians):

• Introduction to customizing Emacs with Emacs Lisp, by Matthew Hoselton

• Show and tell for using Emacs to give Demonstrations, by Howard Abrams

These will be followed by a Hack Night, where we can all get together and hack on new or existing projects, or work on some of the ideas we learned about tonight. 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 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!

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.

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.

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.

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.

• 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.

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.