What are you doing this weekend? Feel free to share!
Keep in mind it’s OK to do nothing at all, too.
Working on Patchfox which is a Secure Scuttlebutt client made as an add-on for Firefox. I’ve made a recent little post about it on this blog post about Firefox and P2P.
That’s exciting! One of the things that’s kept me from looking into Scuttlebutt more seriously is that it seems to require fairly open and unrestricted access to a bunch of ports. Not likely in a corporate environment.
Well, scuttlebutt is offline first, it uses those ports just for gossiping. If you gossip while outside the corporate environment, you’ll have all the content available for you when you’re into that kind of space. You can browse, interact, view all the content that is stored local. Scuttlebutt clicked for me once I was traveling from Brazil to Portugal and I could see and interact with all posts from the network while I was flying over the Atlantic because they were all stored on my machine already. So, if you close those ports on your machine while in that corporate space, it will be OK, your client will feel lonely without the ability to gossip but all the previous synchronized content will be available and after your interactions, you can sync later.
Finally, nothing :)
I might think about how to promote myself, where, and if I should even bother about it. In rest, really nothing.
Spending it walking around Tokyo, and avoiding Akihabara after getting stuck for 7 hours wondering around all the stores :)
Akihabara is a place high-up on my bucket list of travel destinations. I hardly play video games anymore but it sounded like such a magical place reading about it as a kid in the midwest. I hope to see it one day, just to take it in.
It is not quite as techie as it used to be (the maid cafe business is just too profitable), but it is a great experience and still has a lot of that magic thanks to hardcore shops like kadenken.
I’m just now reading about maid cafes and, yeah, that does sound really creepy (and sadly profitable). I’m glad to hear there are still tech / gaming shops there, though.
I hope you get to see it in the near future, it is incredible and hard to escape once you enter.
Ah that venerable old hardware! I gave up and got rid of mine last year, but I loved that thing until it died :)
Preparing for OSCP with HackTheBox.
Heading down to the coast to visit my family.
I think I’ll be starting my buckle-down grind on dashwood, which will be a HTTP API written in Go; the goal is to compile geographic locations of public cameras in Washington DC. Once I have a solid amount of data, I’ll release it all for free.
Recovering from a bit of work induced burn out. Today has been a super struggle, very glad I have a week’s vacation starting tomorrow :)
So, i realize this was a small thread in an ephemeral post, but I’ve gotta say - My wife and I had the entire week between Xmas and new years off and I barely went near a computer, aside from playing games a couple of times :)
And it did me a world of good. It’s like a brain suffering from burn out is a RAID array running at severely reduced capacity. I mean, it works, and you can still get data in and out, but it’s a sad facsimile of its usual self.
(Apropos of nothing I played “Pony Island” which has some fun ‘hacking’ themes. In typical partially blind guy fashion I got to a certain point where the twitch factor became too great and I had to give up, but it’s a great game and I’m pleased to have been able to dip a toe in at least :)
Mostly taking it easy and recovering after an intense couple of weeks of near-end-of-semester grad school fun.
Also hoping to do some Haskell hacking and getting back into Lean.
I finally have some time off, although I have a lot of social obligations as well.
I have been working on a list of small, practical programming exercises to practice a bunch of languages (it can be found on github.com/benoncoffee/exercises). I am still revising the list, but also started working through them in Haskell (github.com/benoncoffee/haskell-exercises). I still have to decide if I want to do Go, Python, or F# next.
For the rest, I want to read some chapters from computer science from the bottom up (https://www.bottomupcs.com), and read a bunch of articles (I recently re-discovered Eli Bendersky’s blog at eli.thegreenspace.net and it is pretty awesome: well-written blog posts about interesting topics at exactly the right technical level).
Updating comments doesn’t work in qutebrowser and min for me, for some reason…
Same as last week, working through “Software Foundations: Vol. 1”.
Software Foundations: Vol. 1
Software Foundations: Vol. 1
I never heard about this book, thanks for mentioning it!
No worries. It’s my third go at it. I think I’m gonna finish it this time. I also recommend “Type Theory and Formal Proof” as a companion. It was instrumental in helping me put the pieces of the type theory puzzle together. Coq tactics and propositions-as-types makes a lot more sense now thanks to that book.
I mentioned it with some others here in a post warning people how heavy the stuff can be.
I cant recall your familiarity with proof. If high, it’s a good book. If new to it, I recommended playing with a lighter merhod like TLA+ to see if it’s your thing at all. With hwayne’s book of course! ;)
FWIW Coq is taught in every CS university course in France, along with OCaml. I went to engineering school so I didn’t do any, but I definitely wish I had!
I started reading Software Foundations, but didn’t really like Coq. I found it a bit awkward to use tactics. I liked Idris a lot better, where proving feels more like a feature already ‘hidden’ in the language (in contrast to Coq, where it feels like you program in one language and prove stuff in another). Further, Idris is a lot like Haskell, which may make it easier to pick up, and ‘Type-driven development with Idris’ is a very good book, which nicely illustrates how to use dependent types to prove stuff (although this is not the main subject of the book).
That probably explains why I see so much of it. A good chunk anyway.
Pair-programming more Advent of Code puzzles with my girlfriend!
Working through Practical TLA+ of @hwayne. I’ve been working in a multithreaded Rust application for work and I would like to gain confidence in the model.
Going around to various local Christmas markets, drinking mulled wine, petting cats, watching films (maybe Roma tonight), preparing stuff to bring to the Christmas table, pondering the future while having a bath, visiting friends, …
Recovering from the holiday craziness; working out; getting ready for our trip to Hawai’i in a couple three weeks. Taking two toddlers on two 6+ hour flights each direction is going to be an adventure. The older will be fine, but the baby is exactly at the squirmy and cannot be kept busy for longer than 10 minutes stage so.
I am going to try and spend some time poking around with org-mode and god-mode in Emacs; retraining my fingers to no longer head to esc all the time is going to be a challenge, but I like what of god-mode I’ve played with so far.
Playing with Alex and happy after getting tired of going through hoops with parsec
I am scoping a research asset management platform. My research lab is in need of a better way to manage our research assets but we were not able to find a product that would fit our needs. So, I signed up to scope a simple LAMP app to manage the research assets.
Project-wise, I’d like to try to design a drivetrain for this silly robotic bar cart idea I’ve cooked up, and maybe play around some more with deepspeech. Chore-wise, I need to put away and prep the motorcycle for winter, and get ready for some upcoming travel next week.
I’m considering writing a bunch of essays & scheduling for them to all pop up on new year’s day. If I go through with that, I’ll probably write them this weekend. Otherwise, I’ll be in bed reading.
Reading “Adopting Elixir”. I’m a team of one at this point, but there seems to be a lot of good beat practices in this book.
Refactoring a Java library written by a former employee, and realizing just how badly I failed to teach best practices.
I consider many best practices subjective. In the project I work on, most coworkers consider comments a code smell (although they just recently learned the term ‘code smell’).
Until a few years ago, I would have agreed with that sentiment. However, after integrating Checkstyle, FindBugs and Cobertura into our continuous integration system, we have automated reports that point out violations of best practices during each integration build. It provides reasoning and references behind each recommendation, and it made me a better Java developer overnight by eliminating a lot bad habits from years of basically winging it. Unfortunately, it is one of those “can lead a horse to water but can’t make him drink” topics. In retrospect, I should have made it company policy to eliminate Checkstyle and FindBugs issues.
I’m curious: What are the biggest ‘lessons learned’ from using Checkstyle and FindBugs?
I remember the very first one that enlightened me was that there is only one correct way to create singleton classes in Java, and over a dozen wrong ways. See Double-Checked Locking is Broken.
Here are some of the “severe” warnings still being issued in the library I’m currently cleaning up:
As well as a lot of warnings about public variables, utility classes that have public constructors, unused imports, redundant null checks, ignored return values, classes, methods and parameters that should be final, etc. The list goes on, but the complete list of checks can be found here.
Cleaning up the issues found by FindBugs and Checkstyle tends to reduce the number of branch points in code, making it easier (possible) to get complete branch coverage with unit tests. These days, I use final for everything I can, which makes debugging far easier.
At a former job, my team used to identify many of these problems with code walk-throughs, which took a lot of time and would miss many of the subtler issues.