moredhel's recent activity
-
Comment on Reddit Playlists - Reddit Playlists - Create Playlists from a subreddit in ~music
-
Reddit Playlists - Reddit Playlists - Create Playlists from a subreddit
8 votes -
Comment on What are you looking forward to right now? in ~talk
moredhel Awesome! I have so much respect for people who write. What are you writing about?Awesome! I have so much respect for people who write. What are you writing about?
-
Comment on Full blown SSH servers within Docker containers? in ~comp
moredhel Thanks for the clarification, your discussion helps :). based on this, it should definitely be possible using a reverse-proxy. I had a quick google, and it seems that nginx now supports...Thanks for the clarification, your discussion helps :).
based on this, it should definitely be possible using a reverse-proxy. I had a quick google, and it seems that nginx now supports reverse-proxying TCP streams[1]. Great news, now you can do subdomain based matching to route different users to different containers.
ie. user1.example.com -> container1
In terms of configuring nginx to dynamically update routes as you register new users, I would recommend the jwilder repo as a starting point[2].
I think the linked resources should provide a starting point for you to play with. It does require that you have some way to set DNS records (you can use your hosts file for testing). I would be very interested in seeing if you get this working, and what you think of it.
ps. Regarding resource restrictions, docker has builtin tools for that.
Good luck!
[1] https://unix.stackexchange.com/questions/290223/how-to-configure-nginx-as-a-reverse-proxy-for-different-port-numbers
[2] https://github.com/jwilder/nginx-proxy -
Comment on The Ante programming language in ~comp
moredhel Thanks for the info, I hadn't heard of the tup system before. Yeah, it would be difficult to write code that can be formally verified if one can hook into the compiler. Regarding dependency...Thanks for the info, I hadn't heard of the tup system before.
Yeah, it would be difficult to write code that can be formally verified if one can hook into the compiler.
Regarding dependency management, I was thinking more along the lines of 3rd-party libraries (similar to pip/npm). Do you have an idea about this, or are you not at that stage yet?
-
Comment on The Ante programming language in ~comp
moredhel Hi, this is a really interesting language, I really like it. The source code seems pretty minimal too which makes it much more manageable. Are you interested in doing any sort of formal...Hi, this is a really interesting language, I really like it. The source code seems pretty minimal too which makes it much more manageable.
Are you interested in doing any sort of formal verification on the semantics of your language? I haven't looked into how powerful the compiler API is, so it may not allow for this.
Secondly, have you had a think about dependency management? Have you thought about writing your own tool, or are you going to piggyback on something else?
Thanks for sharing!
-
Comment on ~Random acts of Steam Sale in ~games
moredhel Can you pm me your steam acc? mine is the same as my ~ acc.Can you pm me your steam acc? mine is the same as my ~ acc.
-
Comment on ~Random acts of Steam Sale in ~games
moredhel Can you pm me your steam acc? mine is the same as my ~ acc.Can you pm me your steam acc? mine is the same as my ~ acc.
-
Comment on ~Random acts of Steam Sale in ~games
moredhel Can you pm me your steam acc? mine is the same as my ~ acc.Can you pm me your steam acc? mine is the same as my ~ acc.
-
Comment on What do you Tilderinos think about chillhop and other down-tempo genres? in ~music
moredhel Exactly. I actually built a tool to help me discover more. I'll probably post it here when I've tested it a little and am more comfortable with it. Currently it's one massive hack. But you are...Exactly. I actually built a tool to help me discover more. I'll probably post it here when I've tested it a little and am more comfortable with it. Currently it's one massive hack.
But you are right! I especially love the imagery too ;)
-
Comment on Budgeting app in ~finance
moredhel Has anyone tried hledger? I'm looking at it as a potential.Has anyone tried hledger? I'm looking at it as a potential.
-
Comment on What do you Tilderinos think about chillhop and other down-tempo genres? in ~music
moredhel Yep, I listen to it pretty regularly. It's my default listening. I have a soft spot for cosmic downtempo/psychill/psybreaks/psybient, but I find it tough to find.Yep, I listen to it pretty regularly. It's my default listening.
I have a soft spot for cosmic downtempo/psychill/psybreaks/psybient, but I find it tough to find.
-
Comment on ~Random acts of Steam Sale in ~games
moredhel (edited )LinkI have a few things, not really looking for anything at the moment: 1 Ace of Spades: Battle Builder 3 1 Borderlands 2 1 Castle Crashers 1 Dead Space 1 Divinity: Original Sin (Can only be redeemed...I have a few things, not really looking for anything at the moment:
- 1 Ace of Spades: Battle Builder
31 Borderlands 21 Castle Crashers- 1 Dead Space
- 1 Divinity: Original Sin (Can only be redeemed in South Africa)
1 Portal 2
Edit: Turns out I have no idea how to actually gift steam games. is email the best way?
-
Comment on Happy Friday! What's everyone doing this weekend? in ~talk
moredhel Just get stuck in! if you have a little spare cash it would be worth it to hop onto a course, this gives you the chance to meet a few people who are also getting into the sport. Don't buy gear...Just get stuck in! if you have a little spare cash it would be worth it to hop onto a course, this gives you the chance to meet a few people who are also getting into the sport.
Don't buy gear straight away, and talk to your local gym about deals they may have. The gyms around me have a 'if you do the training course with us, we'll give you a discount on gear' thing going on.
-
Comment on What's in a git repo? in ~comp
moredhel I'll be honest, I only read the original whitepaper and some accompanying implementations of blockchain in its infancy. And from what I understood of the concept I saw it as a linked-list....I'll be honest, I only read the original whitepaper and some accompanying implementations of blockchain in its infancy. And from what I understood of the concept I saw it as a linked-list. granted, this is technically a DAG, but it has the limitation that each node may have a max of two edges.
I have heard through the grapevine that Blockchain is changing its technological underpinnings to something more sustainable and scalable (and hopefully more energy-efficient) but I find it hard to read anything on the topic. Mostly because as soon as I start looking for blockchain related discussions or content it very quickly turns into a flamewar of speculation and namecalling.
Despite this, I am actually interested in the technology and if you have any good (tech-focused) resources on the new developments in blockchain technologies.
Disclaimer: I don't really follow this field, and when I refer to blockchain, I should really clarify it to mean Bitcoin v1.0
-
Comment on What's in a git repo? in ~comp
moredhel In its most its most simple form, git has a similar structure to the blockchain, but rather than being a linked-list, it is a DAG. This is a pretty short and 1000 mile overview of the system, but...In its most its most simple form, git has a similar structure to the blockchain, but rather than being a linked-list, it is a DAG.
This is a pretty short and 1000 mile overview of the system, but I find it helps in visualising how everything fits together.
Edit: I see that others have posted pretty decent resources on it. I'll leave my comment anyway
-
Comment on Happy Friday! What's everyone doing this weekend? in ~talk
moredhel I went climbing last night, and am taking someone new on Monday night. Hopefully they'll become a convert!I went climbing last night, and am taking someone new on Monday night. Hopefully they'll become a convert!
-
Comment on Full blown SSH servers within Docker containers? in ~comp
moredhel I think this is good advice in general (as well as the sibling thread), but as OP seems to be new to the container ecosystem, it may be confusing to recommend what are essentially 'bleeding-edge'...I think this is good advice in general (as well as the sibling thread), but as OP seems to be new to the container ecosystem, it may be confusing to recommend what are essentially 'bleeding-edge' techniques for managing containers.
Disclaimer: bleeding-edge does not mean unstable. Just that the mindset is changing in industry towards immutable/managed-infra, and not everyone is there yet (but soon hopefully!)
-
Comment on Full blown SSH servers within Docker containers? in ~comp
moredhel This is a question that is attempting to be answered by the likes of Kubernetes/orchestrators. There are definitely ways to get routing to work correctly as all containers are essentially NAT'd...This is a question that is attempting to be answered by the likes of Kubernetes/orchestrators. There are definitely ways to get routing to work correctly as all containers are essentially NAT'd and then that network is bridged via your host to the outside world.
I assume you want to be able to SSH into your docker containers so that you can manage them, this isn't really how they are designed to run, as any changes you may make when they are running will be lost if they are restarted. It's better to think of them as immutable virtualmachines. And if you do want to hop into a container while it's running, then there is always the possibility of using ssh to get to the host machine, then
docker exec -it <docker-container-name> /bin/bash
.When it comes to inbound traffic, there are a few options... I mentioned them in my top-level comment, but I think it may be worth illustrating what I do on my own server.
My setup is a single server running an nginx instance (one ip address), which I have pointed all of my domains at (foo.com, bar.com, baz.com). Then I have configured nginx to forward any traffic destined for foo.com to go to the container I have specified as the handler for foo.com. This can all be done using the jwilder/nginx-proxy container that I linked to in my other comment. I should add a disclaimer that in this setup, you will not be able to arbitrarily expose many ports, or directly ssh into any container.
I think we would benefit from understanding what it is you are trying to do with your docker containers. This would help us to give you more specific advice on how to configure your server/network
-
Comment on Why Skylake CPUs are sometimes 50% slower – How Intel has broken existing code in ~tech
moredhel Thanks for the interesting post! I love these deep-dives into hardware affecting our assumptions.Thanks for the interesting post! I love these deep-dives into hardware affecting our assumptions.
Hi all, I threw this together over the last two weekends as an alternative to falling into the Spotify rut that I had found myself in. It's pretty simple, and I am hosting as little of it as possible (hence the static website).
I am not doing any tracking or analytics, but I have linked to a form where you can fill out some info about your thoughts on it. Please do so as I would like to make it easier to use.
Happy Listening!
Edit: apparently I don't know how to format titles for urls...