From nompelis at nobelware.com Mon Jul 1 15:02:11 2019 From: nompelis at nobelware.com (Ioannis Nompelis) Date: Mon, 1 Jul 2019 15:02:11 +0000 Subject: our UUCP node Message-ID: <20190701150211.GA2086@nobelware.com> I was talking to Louis yesterday. We think it makes sense to move the UUCP node to a machine on the ACM's arsenal. They have hardware that is sitting there using electricity. I do not think it would be in violation of any of their policies to run there. We keep the OpenBSD as is, which is our main VPS. In that discussion, I suggested that we make it an exercise to port the VPS system image to a bare metal system, and see how that works out. A second idea is to port that image as a VPS on a bare-metal host -- that way we get to work with a hypervisor and get some experience. What do you say? From dave.bucklin at gmail.com Mon Jul 1 22:55:02 2019 From: dave.bucklin at gmail.com (Dave Bucklin) Date: Mon, 1 Jul 2019 17:55:02 -0500 Subject: our UUCP node In-Reply-To: <20190701150211.GA2086@nobelware.com> References: <20190701150211.GA2086@nobelware.com> Message-ID: <20190701225502.7gybbawae4etxfq4@19a6.tech> On Mon, Jul 01, 2019 at 03:02:11PM +0000, Ioannis Nompelis wrote: > I was talking to Louis yesterday. We think it makes sense to move the UUCP > node to a machine on the ACM's arsenal. They have hardware that is sitting > there using electricity. I do not think it would be in violation of any of > their policies to run there. That sounds awesome. The Debian VM costs us about $10/mo so, from a financial perspective, it's a good move. Will HCHN folks be able to access that machine? > We keep the OpenBSD as is, which is our main VPS. For sure. > In that discussion, I suggested that we make it an exercise to port the > VPS system image to a bare metal system, and see how that works out. A second > idea is to port that image as a VPS on a bare-metal host -- that way we get > to work with a hypervisor and get some experience. > > What do you say? >From a purely practical perspective, so little has been done to that VM that you could use find to locate all the changes, zip them up, and move them to this new machine with a fresh install of whatever flavor of Linux you like. That said, finding a way to migrate a VM to native sounds like an interesting exercise. From nompelis at nobelware.com Tue Jul 2 03:48:25 2019 From: nompelis at nobelware.com (Ioannis Nompelis) Date: Tue, 2 Jul 2019 03:48:25 +0000 Subject: our UUCP node In-Reply-To: <20190701225502.7gybbawae4etxfq4@19a6.tech> References: <20190701150211.GA2086@nobelware.com> <20190701225502.7gybbawae4etxfq4@19a6.tech> Message-ID: <20190702034825.GA2060@nobelware.com> > > That sounds awesome. The Debian VM costs us about $10/mo so, from a > financial perspective, it's a good move. Will HCHN folks be able to > access that machine? > We will arrange. I think Joe and I have superpowah on that VPS. > > >From a purely practical perspective, so little has been done to that > VM that you could use find to locate all the changes, zip them up, and > move them to this new machine with a fresh install of whatever flavor > of Linux you like. That said, finding a way to migrate a VM to native > sounds like an interesting exercise. Exactly that last part; it is about the hacking more than anything else! I would be down for doing it at the hackfactory. Louis, can you get a bare-metal box ready in the ACM? From joe at begriffs.com Tue Jul 2 04:29:57 2019 From: joe at begriffs.com (Joe Nelson) Date: Mon, 1 Jul 2019 23:29:57 -0500 Subject: Frama-C In-Reply-To: References: <20190630032827.GA92812@begriffs.com> <20190630150712.GA8656@nobelware.com> <20190630183025.GA99040@begriffs.com> Message-ID: <20190702042957.GA36661@begriffs.com> > >It looks like it includes "frama-c-gui," an interactive way to build > >proofs. Anyone know how to run a graphical program on the frostbyte > >server and connect to it remotely with X11? > The GUI is apparently quite handy, and X11 forwarding is a thing, but > I have always personally used just the CLI. Oh if you know the CLI then let's just use that. Want to work on frama with me at the Hack Factory this Wednesday? From nompelis at nobelware.com Tue Jul 2 15:14:07 2019 From: nompelis at nobelware.com (Ioannis Nompelis) Date: Tue, 2 Jul 2019 15:14:07 +0000 Subject: Frama-C In-Reply-To: <20190702042957.GA36661@begriffs.com> References: <20190630032827.GA92812@begriffs.com> <20190630150712.GA8656@nobelware.com> <20190630183025.GA99040@begriffs.com> <20190702042957.GA36661@begriffs.com> Message-ID: <20190702151407.GA29104@nobelware.com> I will not be there this Wednesday. From dave.bucklin at gmail.com Tue Jul 2 16:09:03 2019 From: dave.bucklin at gmail.com (Dave Bucklin) Date: Tue, 2 Jul 2019 11:09:03 -0500 Subject: Frama-C In-Reply-To: <20190702151407.GA29104@nobelware.com> References: <20190630032827.GA92812@begriffs.com> <20190630150712.GA8656@nobelware.com> <20190630183025.GA99040@begriffs.com> <20190702042957.GA36661@begriffs.com> <20190702151407.GA29104@nobelware.com> Message-ID: <20190702160903.3ue2t2ynjhxqt6sm@19a6.tech> On Tue, Jul 02, 2019 at 03:14:07PM +0000, Ioannis Nompelis wrote: > I will not be there this Wednesday. I plan to attend. From samuel.stuewe at gmail.com Tue Jul 2 16:20:07 2019 From: samuel.stuewe at gmail.com (Sam Stuewe) Date: Tue, 02 Jul 2019 11:20:07 -0500 Subject: Frama-C In-Reply-To: <20190702160903.3ue2t2ynjhxqt6sm@19a6.tech> References: <20190630032827.GA92812@begriffs.com> <20190630150712.GA8656@nobelware.com> <20190630183025.GA99040@begriffs.com> <20190702042957.GA36661@begriffs.com> <20190702151407.GA29104@nobelware.com> <20190702160903.3ue2t2ynjhxqt6sm@19a6.tech> Message-ID: <532E83FF-95CA-4FAE-B3B7-D0305C1ABFC6@gmail.com> Sorry everyone, We are driving down to KS for the 4th and we leave Wednesday. However, Here is what I use for frama-c typically: ``` $ frama-c -wp -then -wp -wp-rte src/*.c ``` Additionally, here is a link to a great intro tutorial for frama-c that I have gotten most of the way through and continue to reference: https://allan-blanchard.fr/publis/frama-c-wp-tutorial-en.pdf Also worth noting that the official documentation is quite pleasant: https://frama-c.com/wp.html Finally, if you are feeling quite intense, the documentation (and specification) of ACSL itself (the spec language that you will actually write when using frama-c) is freely available on frama-c's website: https://frama-c.com/acsl.html The latest version of ACSL is 1.14, but you may want to pick whichever document version is associated with the version of frama-c you have installed (the versions of ACSL list their associated frama-c release on that page). Hopefully that gives y'all a good starting point! I will be available by email if you have any questions! All the best, -Sam From chuck at cpjj.net Tue Jul 2 17:36:24 2019 From: chuck at cpjj.net (Chuck Jungmann) Date: Tue, 2 Jul 2019 12:36:24 -0500 Subject: Frama-C In-Reply-To: <20190702160903.3ue2t2ynjhxqt6sm@19a6.tech> References: <20190630032827.GA92812@begriffs.com> <20190630150712.GA8656@nobelware.com> <20190630183025.GA99040@begriffs.com> <20190702042957.GA36661@begriffs.com> <20190702151407.GA29104@nobelware.com> <20190702160903.3ue2t2ynjhxqt6sm@19a6.tech> Message-ID: <2c9ffe4e-bd48-7958-e1d7-84bac916ca2b@cpjj.net> I plan to attend, though as a first-timer accepting the invitation extended at the C meetup, I would like confirmation about the time and location.? There is no meeting information on either the handout or the frostbyte.cc website. On http://tech.mn, there is a TC Hack event scheduled at 6:00PM at the "Smart Factory" near Lake St and Harriet Ave.? Please let me know if the meeting is elsewhere or elsewhen. Thanks, Chuck On 7/2/19 11:09 AM, Dave Bucklin wrote: > On Tue, Jul 02, 2019 at 03:14:07PM +0000, Ioannis Nompelis wrote: >> I will not be there this Wednesday. > I plan to attend. > From louis at goessling.com Tue Jul 2 18:21:00 2019 From: louis at goessling.com (Louis) Date: Tue, 2 Jul 2019 13:21:00 -0500 Subject: Frama-C In-Reply-To: <2c9ffe4e-bd48-7958-e1d7-84bac916ca2b@cpjj.net> References: <20190630032827.GA92812@begriffs.com> <20190630150712.GA8656@nobelware.com> <20190630183025.GA99040@begriffs.com> <20190702042957.GA36661@begriffs.com> <20190702151407.GA29104@nobelware.com> <20190702160903.3ue2t2ynjhxqt6sm@19a6.tech> <2c9ffe4e-bd48-7958-e1d7-84bac916ca2b@cpjj.net> Message-ID: Hi Chuck, We usually meet by commandeering the Twin Cities Maker/Hack Factory open house. The Hack Factory is at `3119 E 26th St, Minneapolis`, and the open house officially starts at 1900 on Wednesdays. The open house is a low key event. I'm not sure to what-if-any extent we or they actually publicize this, but that's the story :P. We really ought to put this on our website or something. It's up in the air on any given week who will be there. Usually some people indicate on the mailing list or on IRC (#tcmaker on freenode) if they will be there. We sometimes get Chinese from a place by the Hack Factory beforehand, or bring it and eat there. Welcome! Louis Goessling On Tue, Jul 2, 2019 at 12:52 PM Chuck Jungmann wrote: > > I plan to attend, though as a first-timer accepting the invitation > extended at the C meetup, I would like confirmation about the time and > location. There is no meeting information on either the handout or the > frostbyte.cc website. > > On http://tech.mn, there is a TC Hack event scheduled at 6:00PM at the > "Smart Factory" near Lake St and Harriet Ave. Please let me know if the > meeting is elsewhere or elsewhen. > > Thanks, > Chuck > > On 7/2/19 11:09 AM, Dave Bucklin wrote: > > On Tue, Jul 02, 2019 at 03:14:07PM +0000, Ioannis Nompelis wrote: > >> I will not be there this Wednesday. > > I plan to attend. > > From nompelis at nobelware.com Tue Jul 2 18:21:47 2019 From: nompelis at nobelware.com (Ioannis Nompelis) Date: Tue, 2 Jul 2019 18:21:47 +0000 Subject: Frama-C In-Reply-To: <2c9ffe4e-bd48-7958-e1d7-84bac916ca2b@cpjj.net> References: <20190630032827.GA92812@begriffs.com> <20190630150712.GA8656@nobelware.com> <20190630183025.GA99040@begriffs.com> <20190702042957.GA36661@begriffs.com> <20190702151407.GA29104@nobelware.com> <20190702160903.3ue2t2ynjhxqt6sm@19a6.tech> <2c9ffe4e-bd48-7958-e1d7-84bac916ca2b@cpjj.net> Message-ID: <20190702182147.GA4226@nobelware.com> We have been to the Smart factory in the past, for a change-of-venue meetup to get to know more people. That is NOT where they crew is planning to meet tomorrow. Tomorrow they will be at the HackFactory's open house Wendesdays, which is on 26th St, East of Hiawatha Ave, in Minneapolis (address escapes me). These meetings are mostly coordinated through this email list. The venue is courtesy of Joe, who is a member of the hackFactory. (They do seem to enjoy our presence there.) And, welcome Chuck. From louis at goessling.com Tue Jul 2 18:37:47 2019 From: louis at goessling.com (Louis) Date: Tue, 2 Jul 2019 13:37:47 -0500 Subject: our UUCP node In-Reply-To: <20190702034825.GA2060@nobelware.com> References: <20190701150211.GA2086@nobelware.com> <20190701225502.7gybbawae4etxfq4@19a6.tech> <20190702034825.GA2060@nobelware.com> Message-ID: Hi all, I think the easiest way to go about would be for me to [ab]use my position and spin up a box specifically for the UUCP node/for frostbyte people to use. We have a couple older boxes sitting around doing nothing. They are mostly 4c/4t Xeons with 4-8GB of RAM - not particularly powerful, but dedicated and on symmetric gigabit. I have some 500G disks I can donate to put in RAID 1. Will our UUCP node exceed 500G? We can cross that bridge when we come to it. We have a couple other machines that have "official" tasks that one is supposed to shell out $5 a semester to become an ACM member for an account on that (which nonstudents are allowed to do as well - there's more info on the ACM website (https://acm.umn.edu) if anyone's interested). I think we will have "quorum" at the Hack Factory this Wednesday, so we can talk about it more in person then. I will find and set up a box up with a Debian install for Weds, but if we decide we would rather play with a hypervisor that is an option too (which I know nothing about :) !) Louis Goessling On Mon, Jul 1, 2019 at 10:48 PM Ioannis Nompelis wrote: > > > > > That sounds awesome. The Debian VM costs us about $10/mo so, from a > > financial perspective, it's a good move. Will HCHN folks be able to > > access that machine? > > > > We will arrange. I think Joe and I have superpowah on that VPS. > > > > > >From a purely practical perspective, so little has been done to that > > VM that you could use find to locate all the changes, zip them up, and > > move them to this new machine with a fresh install of whatever flavor > > of Linux you like. That said, finding a way to migrate a VM to native > > sounds like an interesting exercise. > > Exactly that last part; it is about the hacking more than anything else! > I would be down for doing it at the hackfactory. Louis, can you get a > bare-metal box ready in the ACM? > From joe at begriffs.com Tue Jul 2 19:30:09 2019 From: joe at begriffs.com (Joe Nelson) Date: Tue, 2 Jul 2019 14:30:09 -0500 Subject: Frama-C In-Reply-To: <2c9ffe4e-bd48-7958-e1d7-84bac916ca2b@cpjj.net> References: <20190630032827.GA92812@begriffs.com> <20190630150712.GA8656@nobelware.com> <20190630183025.GA99040@begriffs.com> <20190702042957.GA36661@begriffs.com> <20190702151407.GA29104@nobelware.com> <20190702160903.3ue2t2ynjhxqt6sm@19a6.tech> <2c9ffe4e-bd48-7958-e1d7-84bac916ca2b@cpjj.net> Message-ID: <20190702193009.GB43172@begriffs.com> Chuck Jungmann wrote: > I plan to attend, though as a first-timer accepting the invitation extended > at the C meetup, I would like confirmation about the time and location.? > There is no meeting information on either the handout or the frostbyte.cc > website. Most weeks, including this one, we meet in the classroom at TC Maker for their open house, Wednesdays at 7: https://tcmaker.org/old-pages/hack-factory/ Any particular projects you're considering working on, or things you want to learn about? > On http://tech.mn, there is a TC Hack event scheduled at 6:00PM at the > "Smart Factory" near Lake St and Harriet Ave.? Please let me know if the > meeting is elsewhere or elsewhen. We did meet at the Smart Factory once, but haven't made it a regular thing. This Weds I don't think it's even open due to proximity to the 4th. From nompelis at nobelware.com Tue Jul 2 23:05:52 2019 From: nompelis at nobelware.com (Ioannis Nompelis) Date: Tue, 2 Jul 2019 23:05:52 +0000 Subject: our UUCP node In-Reply-To: References: <20190701150211.GA2086@nobelware.com> <20190701225502.7gybbawae4etxfq4@19a6.tech> <20190702034825.GA2060@nobelware.com> Message-ID: <20190702230552.GA16004@nobelware.com> I will not be at the HF, but I say "type to learn" and thrown a hypervisor with a Xen-ified kernel. It is work, but you get to learn beyond the UUCP. From dave.bucklin at gmail.com Tue Jul 9 19:36:13 2019 From: dave.bucklin at gmail.com (Dave Bucklin) Date: Tue, 09 Jul 2019 14:36:13 -0500 Subject: Meetup tomorrow? Message-ID: <9778F9FD-CE1E-45D7-9C8A-4161575DC1FA@gmail.com> Is anyone planning to go to Hack Factory tomorrow, or are we all enjoying the sun? Also, I'll be talking about my data logger terminal project at the Digital Makers meetup at Bionic Giant this Thursday at 7. From nompelis at nobelware.com Tue Jul 9 21:40:00 2019 From: nompelis at nobelware.com (Ioannis Nompelis) Date: Tue, 9 Jul 2019 21:40:00 +0000 Subject: Meetup tomorrow? In-Reply-To: <9778F9FD-CE1E-45D7-9C8A-4161575DC1FA@gmail.com> References: <9778F9FD-CE1E-45D7-9C8A-4161575DC1FA@gmail.com> Message-ID: <20190709214000.GA28177@nobelware.com> I will mis both. If you can get us some slides from your project on Frostbyte, that would be great. I would like to see the UUCP node moved to the ACM system, if you guys need a project for tomorrow. From louis at goessling.com Tue Jul 9 21:47:24 2019 From: louis at goessling.com (Louis) Date: Tue, 9 Jul 2019 16:47:24 -0500 Subject: Meetup tomorrow? In-Reply-To: <20190709214000.GA28177@nobelware.com> References: <9778F9FD-CE1E-45D7-9C8A-4161575DC1FA@gmail.com> <20190709214000.GA28177@nobelware.com> Message-ID: I will not be there tomorrow. Dave has an account on the ACM system, which currently lacks a DNS record anywhere but is at 160.94.179.181. Others, let me know if you would like one, and what pubkey to use for you. We were talking briefly about networking last week. A fun project for a future meeting might be for me to bring in an old ethernet hub (not switch) that I have and experiment with snooping using it. What do people's schedules look like for next week and the week after? We may want to start planning these meetings a few weeks in advance so that we have "critical mass" when we do have them. Louis Goessling On Tue, Jul 9, 2019 at 4:40 PM Ioannis Nompelis wrote: > > I will mis both. If you can get us some slides from your project on Frostbyte, > that would be great. > > I would like to see the UUCP node moved to the ACM system, if you guys need a > project for tomorrow. > From nompelis at nobelware.com Tue Jul 9 22:38:07 2019 From: nompelis at nobelware.com (Ioannis Nompelis) Date: Tue, 9 Jul 2019 22:38:07 +0000 Subject: Meetup tomorrow? In-Reply-To: References: <9778F9FD-CE1E-45D7-9C8A-4161575DC1FA@gmail.com> <20190709214000.GA28177@nobelware.com> Message-ID: <20190709223807.GA30175@nobelware.com> I would put that IP in the /etc/hosts of frostbyte.cc as: acn 160.94.179.181 I will send you a personal email with my "~/.ssh/authorized_keys" from frostbyte to give me access. Next week I will be in Oakland, at a GPU Hackathon with a team out of the Univ. of Hawaii. I will tell you about my experience after I am back. From dave.bucklin at gmail.com Tue Jul 9 23:07:24 2019 From: dave.bucklin at gmail.com (Dave Bucklin) Date: Tue, 9 Jul 2019 18:07:24 -0500 Subject: Meetup tomorrow? In-Reply-To: <20190709223807.GA30175@nobelware.com> References: <9778F9FD-CE1E-45D7-9C8A-4161575DC1FA@gmail.com> <20190709214000.GA28177@nobelware.com> <20190709223807.GA30175@nobelware.com> Message-ID: <20190709230724.2le476jsi5jifjg6@19a6.tech> > [...] Oakland [...] Hackathon [...] Hawaii That's hot. From dave.bucklin at gmail.com Tue Jul 9 23:18:25 2019 From: dave.bucklin at gmail.com (Dave Bucklin) Date: Tue, 9 Jul 2019 18:18:25 -0500 Subject: Meetup tomorrow? In-Reply-To: <20190709214000.GA28177@nobelware.com> References: <9778F9FD-CE1E-45D7-9C8A-4161575DC1FA@gmail.com> <20190709214000.GA28177@nobelware.com> Message-ID: <20190709231825.hum6rihdfkyq4zqu@19a6.tech> On Tue, Jul 09, 2019 at 09:40:00PM +0000, Ioannis Nompelis wrote: > I will mis both. If you can get us some slides from your project on Frostbyte, > that would be great. If I get it into a repo, I'll share it here. For the curious, my other projects are at Gitlab [0]. > I would like to see the UUCP node moved to the ACM system, if you guys need a > project for tomorrow. I'm happy to help. If I do it myself, I'll still be the only person who knows anything about it. If any of you want to learn to configure UUCP, let me know. Or just cowboy it -- get an account on the ACM box, install Taylor UUCP, and configure according to the wiki at Dataforge [1]. You can also refer to the configuration on uucp.frostbyte.cc. [0]: https://gitlab.com/davebucklin [1]: https://uucp.dataforge.tk/~uucp/wiki/index.php?n=Main.Tier1 From joe at begriffs.com Wed Jul 10 22:54:52 2019 From: joe at begriffs.com (Joe Nelson) Date: Wed, 10 Jul 2019 17:54:52 -0500 Subject: Meetup tomorrow? In-Reply-To: <9778F9FD-CE1E-45D7-9C8A-4161575DC1FA@gmail.com> References: <9778F9FD-CE1E-45D7-9C8A-4161575DC1FA@gmail.com> Message-ID: <20190710225452.GA3224@begriffs.com> > Is anyone planning to go to Hack Factory tomorrow, or are we all > enjoying the sun? Sure, I can go tonight. Want to do Birchwood Cafe (3311 East 25th St) instead, for a little more natural light? As for hacking, I'll be continuing to write my Vim article. From joe at begriffs.com Wed Jul 10 23:57:55 2019 From: joe at begriffs.com (Joe Nelson) Date: Wed, 10 Jul 2019 18:57:55 -0500 Subject: Meetup tomorrow? In-Reply-To: <20190710225452.GA3224@begriffs.com> References: <9778F9FD-CE1E-45D7-9C8A-4161575DC1FA@gmail.com> <20190710225452.GA3224@begriffs.com> Message-ID: <20190710235755.GB3224@begriffs.com> > Want to do Birchwood Cafe (3311 East 25th St) instead, for a little more > natural light? Actually, never mind about Birchwood. It was too loud and restauranty. I'm back in the comforting darkness of the hack factory. From chris at sencjw.com Thu Jul 11 00:10:39 2019 From: chris at sencjw.com (Chris Wilson) Date: Wed, 10 Jul 2019 19:10:39 -0500 Subject: Meetup tomorrow? In-Reply-To: <20190710235755.GB3224@begriffs.com> References: <9778F9FD-CE1E-45D7-9C8A-4161575DC1FA@gmail.com> <20190710225452.GA3224@begriffs.com> <20190710235755.GB3224@begriffs.com> Message-ID: <75FA5FD0-771C-49B9-B9CC-E7B0A5137DEC@sencjw.com> > On Jul 10, 2019, at 6:57 PM, Joe Nelson wrote: > >> Want to do Birchwood Cafe (3311 East 25th St) instead, for a little more >> natural light? > > Actually, never mind about Birchwood. It was too loud and restauranty. > I'm back in the comforting darkness of the hack factory. Oh hey if any of you hams are in the Hack Factory, want to do a quick scheduled call on 20m? I was having pretty good luck last night and I want to see if the conditions are good. Say like 14.305MHz? ? Chris KD9KJV From chris at sencjw.com Thu Jul 11 00:39:27 2019 From: chris at sencjw.com (Chris Wilson) Date: Wed, 10 Jul 2019 19:39:27 -0500 Subject: Meetup tomorrow? In-Reply-To: <75FA5FD0-771C-49B9-B9CC-E7B0A5137DEC@sencjw.com> References: <9778F9FD-CE1E-45D7-9C8A-4161575DC1FA@gmail.com> <20190710225452.GA3224@begriffs.com> <20190710235755.GB3224@begriffs.com> <75FA5FD0-771C-49B9-B9CC-E7B0A5137DEC@sencjw.com> Message-ID: <20190711003927.GA23536@sencjw.com> On Wed, Jul 10, 2019 at 07:10:39PM -0500, Chris Wilson wrote: > [...] scheduled call on 20m? I was having pretty good luck last night > and I want to see if the conditions are good. Say like 14.305MHz? [Narrator voice] The conditions were *not* good. Scratch that. -- Chris From dave.bucklin at gmail.com Sat Jul 20 02:28:16 2019 From: dave.bucklin at gmail.com (Dave Bucklin) Date: Fri, 19 Jul 2019 21:28:16 -0500 Subject: Begriffs: History and effective use of Vim Message-ID: <487C5911-8B2A-49DF-8774-6A562248555D@gmail.com> Joe dropped a doozy of an article on Vim today. You can read it here: https://begriffs.com/posts/2019-07-19-history-use-vim.html It's notable that u/romainl, Vim maven and, in my opinion, first-class asshole, described Joe's article as "quality content". That's like getting a nod from Gordon Ramsey for your home-made croissants; unexpected in the least. Well done, Joe. From joe at begriffs.com Mon Jul 22 22:03:55 2019 From: joe at begriffs.com (Joe Nelson) Date: Mon, 22 Jul 2019 17:03:55 -0500 Subject: Begriffs: History and effective use of Vim In-Reply-To: <487C5911-8B2A-49DF-8774-6A562248555D@gmail.com> References: <487C5911-8B2A-49DF-8774-6A562248555D@gmail.com> Message-ID: <20190722220355.GE95973@begriffs.com> > Well done, Joe. Thank you! I learned a lot by researching the article. Appreciate talking over some of the stuff with you too, like your idea of thinking of "diction" as a linter for natural language. > It's notable that u/romainl, Vim maven and, in my opinion, first-class > asshole, described Joe's article as "quality content". That's like > getting a nod from Gordon Ramsey for your home-made croissants; > unexpected in the least. Hah, yeah. I appreciate how much time he takes on IRC answering questions, but he does have an?opinionated?style. :) From joe at begriffs.com Tue Jul 23 01:55:48 2019 From: joe at begriffs.com (Joe Nelson) Date: Mon, 22 Jul 2019 20:55:48 -0500 Subject: Begriffs: History and effective use of Vim In-Reply-To: <487C5911-8B2A-49DF-8774-6A562248555D@gmail.com> References: <487C5911-8B2A-49DF-8774-6A562248555D@gmail.com> Message-ID: <20190723015548.GA64205@begriffs.com> Oh also got an n-gate review: "An Internet likes a computer program, and writes a comprehensive biography of it. Hackernews argues over whose config files are better. One person makes a new account to pretend anyone still uses emacs. Nobody notices." Lol. Yours truly, An Internet From nompelis at nobelware.com Tue Jul 23 03:56:46 2019 From: nompelis at nobelware.com (Ioannis Nompelis) Date: Tue, 23 Jul 2019 03:56:46 +0000 Subject: Begriffs: History and effective use of Vim In-Reply-To: <487C5911-8B2A-49DF-8774-6A562248555D@gmail.com> References: <487C5911-8B2A-49DF-8774-6A562248555D@gmail.com> Message-ID: <20190723035646.GA17195@nobelware.com> Damn! I am an Amiga fanatic and I did not know that "vim" was originally made for the Amiga! Wow! I started using vi in the elvis days. I had found a "vi reference" text document on USENET to learn to use vi as elvis. I did have vi on the Amiga, but I do not know how I got it. I did use "ex" on it. This is a great article. I care. Thanks for writing it! From nompelis at nobelware.com Tue Jul 23 04:07:09 2019 From: nompelis at nobelware.com (Ioannis Nompelis) Date: Tue, 23 Jul 2019 04:07:09 +0000 Subject: Back from a "GPU hackathon" Message-ID: <20190723040709.GB17195@nobelware.com> I am back from a couple of weeks of work trips. This past week I was in CA. I spent time between Oakland and San Francisco, where I attended a "hackathon" arrange by national labs under the DoE, and it was about accelerating codes using the "GPU accelerators" that are now very common in supercomputing. It was great. This is what it looked like: https://twitter.com/nompelis/status/1151904667850330112 Programming with GPU accelerators and doing distributed parallel computing with them is extremely challenging, and potentially very rewarding. I may have to do a short presentation on that, complimenting my earlier one at the meetup group. PS> The streets of SF never smelled so bad, in all the years I have been walking them. PS2> If you have never seen a "redwood" tree, which stands 379 feet tall and has been around for 2,000 years, a quick trip north of SF is a must. From nompelis at nobelware.com Sun Jul 28 22:38:35 2019 From: nompelis at nobelware.com (Ioannis Nompelis) Date: Sun, 28 Jul 2019 22:38:35 +0000 Subject: UNIX System V source coude Message-ID: <20190728223835.GC30836@nobelware.com> Somehow, this happened: https://twitter.com/nompelis/status/1155603222054264832 I will be giving them away to our admins to keep with the other pieces of history, but I first would like to -- at least -- show you the manuals in person. Wednesday? From joe at begriffs.com Mon Jul 29 20:30:39 2019 From: joe at begriffs.com (Joe Nelson) Date: Mon, 29 Jul 2019 15:30:39 -0500 Subject: UNIX System V source coude In-Reply-To: <20190728223835.GC30836@nobelware.com> References: <20190728223835.GC30836@nobelware.com> Message-ID: <20190729203039.GB17129@begriffs.com> > Somehow, this happened: > > https://twitter.com/nompelis/status/1155603222054264832 Wow, that's cool. Do you have a tape drive that can read those tapes? > I will be giving them away to our admins to keep with the other pieces of > history, but I first would like to -- at least -- show you the manuals in > person. Wednesday? I'll be away Wednesday, but might possibly be back by 7:00, I'll have to see. From joe at begriffs.com Mon Jul 29 20:36:23 2019 From: joe at begriffs.com (Joe Nelson) Date: Mon, 29 Jul 2019 15:36:23 -0500 Subject: Want to work on a project? Message-ID: <20190729203623.GC17129@begriffs.com> I'd like to get back into writing some actual code after spending time writing those various articles. Anyone want to work with me to program an IRC bouncer using https://github.com/fstd/libsrsirc ? I know plenty of bouncers already exist but I think it would be a good fairly simple way to learn more network programming. I'm curious to open up Wireshark and watch the raw traffic between my IRC client and Freenode / OLNet / OFTC / EFNet. Learn what the bouncer has to capture and replay exactly. Not sure I'll be around this Weds, we'll have to see. But wondering if anyone else wants to work on this with me, either in person or remotely on frostbyte. From joe at begriffs.com Mon Jul 29 20:41:40 2019 From: joe at begriffs.com (Joe Nelson) Date: Mon, 29 Jul 2019 15:41:40 -0500 Subject: Want to work on a project? In-Reply-To: <20190729203623.GC17129@begriffs.com> References: <20190729203623.GC17129@begriffs.com> Message-ID: <20190729204140.GD17129@begriffs.com> > either in person or remotely on frostbyte Just thought of this after I sent that message, but we could experiment with developing the project asynchronously, sending patches over a mailing list as well. That's how the linux kernel, postgres, openbsd etc do their development. From samuel.stuewe at gmail.com Mon Jul 29 20:52:37 2019 From: samuel.stuewe at gmail.com (Sam Stuewe) Date: Mon, 29 Jul 2019 15:52:37 -0500 Subject: Want to work on a project? In-Reply-To: <20190729203623.GC17129@begriffs.com> References: <20190729203623.GC17129@begriffs.com> Message-ID: Joe! I am finally free to show up this Wednesday! I am likely to get into my own headspace for projects (most likely finishing the transcription of my UB talk to post online), but I would happily be present to answer questions or be a sounding board! All the best, -Sam From nompelis at nobelware.com Mon Jul 29 21:49:21 2019 From: nompelis at nobelware.com (Ioannis Nompelis) Date: Mon, 29 Jul 2019 21:49:21 +0000 Subject: UNIX System V source coude In-Reply-To: <20190729203039.GB17129@begriffs.com> References: <20190728223835.GC30836@nobelware.com> <20190729203039.GB17129@begriffs.com> Message-ID: <20190729214921.GA21449@nobelware.com> I do not have a tape-reader, and right now neither do the admins. I will try to find one form the person from whom I got the material. From nompelis at nobelware.com Wed Jul 31 14:31:08 2019 From: nompelis at nobelware.com (Ioannis Nompelis) Date: Wed, 31 Jul 2019 14:31:08 +0000 Subject: Want to work on a project? In-Reply-To: References: <20190729203623.GC17129@begriffs.com> Message-ID: <20190731143108.GA23170@nobelware.com> Who is coming to the Hack Factory tonight? And what time? I will be bringing the UNIX source code tapes and READMEs to show. From samuel.stuewe at gmail.com Wed Jul 31 15:01:54 2019 From: samuel.stuewe at gmail.com (Sam Stuewe) Date: Wed, 31 Jul 2019 10:01:54 -0500 Subject: Want to work on a project? In-Reply-To: <20190731143108.GA23170@nobelware.com> References: <20190729203623.GC17129@begriffs.com> <20190731143108.GA23170@nobelware.com> Message-ID: On July 31, 2019 9:31:08 AM CDT, Ioannis Nompelis wrote: >Who is coming to the Hack Factory tonight? And what time? I am finally free to come and can make any time after 6 work. Just let me know. :) >I will be bringing the UNIX source code tapes and READMEs to show. Sounds like a party! All the best, -Sam From dave.bucklin at gmail.com Wed Jul 31 15:22:31 2019 From: dave.bucklin at gmail.com (Dave Bucklin) Date: Wed, 31 Jul 2019 10:22:31 -0500 Subject: Want to work on a project? In-Reply-To: References: <20190729203623.GC17129@begriffs.com> <20190731143108.GA23170@nobelware.com> Message-ID: <20190731152231.dzrykcl55aocsvck@19a6.tech> On Wed, Jul 31, 2019 at 10:01:54AM -0500, Sam Stuewe wrote: > On July 31, 2019 9:31:08 AM CDT, Ioannis Nompelis wrote: > >Who is coming to the Hack Factory tonight? And what time? > I am finally free to come and can make any time after 6 work. Just let me know. :) It kills me to say this, but I have an early flight tomorrow and can't make it tonight. From louis at goessling.com Wed Jul 31 21:20:48 2019 From: louis at goessling.com (Louis) Date: Wed, 31 Jul 2019 16:20:48 -0500 Subject: Want to work on a project? In-Reply-To: <20190731152231.dzrykcl55aocsvck@19a6.tech> References: <20190729203623.GC17129@begriffs.com> <20190731143108.GA23170@nobelware.com> <20190731152231.dzrykcl55aocsvck@19a6.tech> Message-ID: Nathan, possibly Ian, and I are planning on heading to the Hack Factory around 19 Louis Goessling On Wed, Jul 31, 2019 at 10:22 AM Dave Bucklin wrote: > > On Wed, Jul 31, 2019 at 10:01:54AM -0500, Sam Stuewe wrote: > > On July 31, 2019 9:31:08 AM CDT, Ioannis Nompelis wrote: > > >Who is coming to the Hack Factory tonight? And what time? > > I am finally free to come and can make any time after 6 work. Just let me know. :) > > It kills me to say this, but I have an early flight tomorrow and can't > make it tonight. > From nompelis at nobelware.com Wed Jul 31 22:03:36 2019 From: nompelis at nobelware.com (Ioannis Nompelis) Date: Wed, 31 Jul 2019 22:03:36 +0000 Subject: Want to work on a project? In-Reply-To: References: <20190729203623.GC17129@begriffs.com> <20190731143108.GA23170@nobelware.com> <20190731152231.dzrykcl55aocsvck@19a6.tech> Message-ID: <20190731220336.GA8542@nobelware.com> I will see you guys there after 6pm tonight. From joe at begriffs.com Wed Jul 31 23:30:13 2019 From: joe at begriffs.com (Joe Nelson) Date: Wed, 31 Jul 2019 18:30:13 -0500 Subject: Want to work on a project? In-Reply-To: <20190729203623.GC17129@begriffs.com> References: <20190729203623.GC17129@begriffs.com> Message-ID: <20190731233013.GA24778@begriffs.com> > Not sure I'll be around this Weds, we'll have to see. Just got back into town, and I'll see everyone there tonight. Might be like half an hour late because I have to unpack. From samuel.stuewe at gmail.com Wed Jul 31 23:55:12 2019 From: samuel.stuewe at gmail.com (Sam Stuewe) Date: Wed, 31 Jul 2019 18:55:12 -0500 Subject: Want to work on a project? In-Reply-To: <20190731233013.GA24778@begriffs.com> References: <20190729203623.GC17129@begriffs.com> <20190731233013.GA24778@begriffs.com> Message-ID: <5895024A-7C04-4934-9FE9-678080F9886C@gmail.com> I am here when everyone else is. :) All the best, -Sam