From a long term NNTP user this is a fantastic product.

I did read Tanenbaum’s Computer Networks and highly recommend it for self-study.

I own a few of his books including Computer Networks and Operating Systems. In every case, his style is to be pretty thorough. His books are like reading a (guided) encyclopedia. It’s easy to read, but it’s too slow for me.

I’d prefer a slightly faster path to get to the most important information.

For this reason I don’t really recommend Computer Networks unless you want the comprehensive, but still easy to read version. For most developers today, starting with High Performance Browser Networks and then going to the TCP/IP layer is a good use of time. However I haven’t yet found a good book on TCP/IP (including TCP/IP Illustrated).

What’s wrong with twisted? It’s battle tested and works well.

Odds are, if it’s a networking or network-related problem, and someone else has encountered it in the past, Twisted will already have the solution either in Twisted itself or in its ecosystem.

That’s pretty hard to beat.

I should also practice more Danish

Are you living in Denmark? My wife is Danish and she always tell that you need to live in Denmark to learn Danish. I tried to learn Danish, but it’s quite hard, specially pronunciation. I experienced Mandarin easier to learn than Danish

• More about implementation of databases so that I can implement a proper categorical database system.

Can you tell me more about “categorical database system”? I stumbled upon http://math.mit.edu/~dspivak/informatics/talks/CTDBIntroductoryTalk it looks interesting. Thanks!

More about BATMAN and mesh networking, so that I can keep improving my home network.

Are you using mesh network at home? Which devices are you using for it? Is there a real advantage using a mesh network at home instead that using a traditional network?

More about Z3’s internals.

Z3?

3-SAT is, as far as I can tell, mostly a theoretical device. SAT solver implementations deal with arbitrary clauses (but have special optimizations for 2- and sometimes 3- clauses). I’d recommend looking at minisat/glucose/cadical rather than Z3 if you’re into pure SAT because Z3 is a SMT solver and is literally orders of magnitudes more complex than a SAT solver.

To keep Venus flytraps alive. Surprisingly picky plants, and I don’t have a green thumb.

I was endlessly fascinated by these as a young man and killed a great succession of them, probably due to over-feeding.

To get better at proposing simple natural arguments which infuriate bigots, so that I can more effectively create self-doubt and insecurity amongst fascists.

This is something I’ve been thinking about for a while as well. Do you think they are open to the voice of reason/argument?

if anyone is interested, i still have one or two chips somewhere and in the eu shipping them shouldn’t be too expensive.

Not sure if it quite meets the goals of “fully open”, but I recently learned about https://wiki.pine64.org/index.php/ROCK64 and it seems to be going in the right direction. They use closed-source CPU’s and such, natch, but they seem to put work into making open-source drivers for them and publish all of the specs and designs.

I actually got my hands on 4 of the suckers and two pocketchips! It’s a shame that my kernel hacker alpha board is stuck in a bootloop. I have an arduino coming home for Christmas, so hopefully I can debug it back to life over serial.

I still use one of the chip boards for testing WebAssembly stuff. Go’s cross-compilation powers are great.

My Docker Swarm home cluster run over a bunch of CHIPs

a (discontinued) Chip board

I have a cluster of 7 (+3 on the way) CHIP running Docker Swarm. I hosted my DNS infrastrcuture (DoH proxy + unbound + ELK + custom scripts that I am going to migrate to DoH proxy + know resolver + Prometheus + custom scripts), motion to control webcams, Home Assistant, an Instagram bot, a Wiki and a Mercurial repository for my scripts. Next step is adding public blogging, ELKflow and an RSS reader (problably Miniflux).

Do they have a trusted CA to use for a MITM? I don’t think they do.

Regardless, assuming they did that’d be a completely different level of attack that would be noticed and discussed on MDSP and would almost definitely lead to their CA being distrusted by browsers.

MITMing HTTP sucks. MITMing HTTPS from a privileged position (outside of a client trusting your intermediates) is untenable.

HTTP only. Comcast has been doing this for a couple years at least so I’m not exactly sure how this is news.

I am no fan of Comcast in the slightest but I don’t consider this an attack as much as a poorly conceived notification system.

Is it possible to make SSL injection without installing a certificate on the client?

I have been worked with bandwidth optimization appliances (Sandvine) for an ISP some years ago and they are able to inject JS in HTTP traffic, not in HTTPS

I thought we worked for the same company until I saw that you said he was the founder of the company. In the early 2000’s we had a similar experience, but it was the head of IT at the time. He didn’t understand dynamic routing so he refused to use it. This was at ~50 locations, all statically routed on your otherwise pretty standard hub/spoke MPLS network. One night one of the admins just replaced it all with BGP and didn’t say a word. IT Director didn’t find out for months.