tetha

71 ms·

811.
by tetha 5y ago
Wouldn't this be a breakthrough for the any% glitched category? You could just load + inject a class that makes you win instantly with only one chat message! <T C-V enter> speedstrat ftw. :)
812.
by tetha 5y ago
This why it is utmost critical to deploy the mitigating fixes to the core log aggregations first. Elasticsearch, Logstash, Graylog probably too. The vector here is even more annoying, you can think of something like: Unrelated app writes st
813.
by tetha 5y ago
Imo, the main point of a system like log4j or slf4j if the ability to have logging in your service up to the point of it being a massive performance impact - and keep it disabled. For example, Hibernate has full query logging built in, but
814.
by tetha 5y ago
Multiply that by 5 and you have our dirt cheap, extremely reliable elasticsearch cluster.
815.
by tetha 5y ago
I cannot share that experience with the hetzner support. We currently do have some weird problems with an hcloud-dedicated joined vlan and the network topology and support is a bit weird there. I'm hoping that'll improve, because
816.
by tetha 5y ago
Not a licensing lawyer. But with a system like MySQL, which is installed as a service (opposed to a library you link with, like the MySQL Connector for java), most of the GPL triggers if you distribute a modified version to a third party. K
817.
by tetha 5y ago
Maven Central is somewhat resilient against this. In the java world, an artifact is identified by a group-id, an artifact-id and a version, and some technical stuff. The group id is a reversed domain, like org.springframework. If you want t
818.
by tetha 5y ago
It does contain that definition, but non-halting is valid. The simplest definition has a set of states S, and a subset of states F called the final states. Given an input I, if the turing machine started on I, enters a state F eventually, t
819.
by tetha 5y ago
Hm. I'm not sure if you're asking what you want to ask. The definition of a turing machine is not based on the halting property at all. A turing machine is defined as a 5 tuple (if I recall right) with some structure to the tuple
820.
by tetha 5y ago
Those were my concerns as well. Your config file can stay simple, sure. But I'm pretty sure it won't. And from some years of experience with configuration management systems, configuration creation can accrue a surprising amount o
821.
by tetha 5y ago
> When did you decide that it's time to get it done? There is a time management component to this. If you're still in a deal without a 27001 certification, the security questions don't go away. Instead, you get sent a secu
822.
by tetha 5y ago
Well we're small, but our development is currently starting to build new products and new extensions to their products. I'm pretty happy that everyone is pretty much onboard with our situation #1. There are a few hard requirements
823.
by tetha 5y ago
I've been bitten by things like this from an entirely unexpected angle - messengers like teams and skype sometimes <helpfully> replace characters like "-" and " " with all manner of more readable unicode chara
824.
by tetha 5y ago
Hm. I think your best bet is to make it easy for archive.org to archive. archive.org will work on making your legacy technology work, as they are doing for flash, for example. Or they will find projects to make that work. That has a higher
825.
by tetha 5y ago
Yes, but it is not required that a type system has a singular top type. It is entirely valid for a type system to have any number of types which are not in any sub- or supertype relationship. And once there are two types T1 and T2 which are
826.
by tetha 5y ago
Character encoding is in a special class of problems. Like time handling. If you pick up a halfway non-ancient framework in a somewhat common language with a somewhat non-terrible persistence like postgres, you just don't have problems
827.
by tetha 5y ago
As I said, there are infinite possible programs that cannot be type checked statically. This is derived from the halting theorem trivially - lambda(p) = if p.halts() then A() else B(). However, the intersection of programs I encounter in pr
828.
by tetha 5y ago
Type systems simply have matured a lot. It's not too long ago that you either had very clumsy type systems - C, Java. These type systems were more of a chore than anything else. Especially the generic transition in java was just tediou
829.
by tetha 5y ago
Hm, growing somewhat experienced, I find myself adapating an old quote more and more: Sufficiently advanced static typing is indistinguishable from dynamic typing. Now, I know, it's not true. It's entirely possible to build weird
830.
by tetha 5y ago
Personal anecdote, sure, but: YES. Back when I was supposed to connect our office to the new parent companies network via IPSec, I spent actual, full days on the phone with both the parent companies IT and our firewall vendor, until eventua
831.
by tetha 5y ago
I don't see where you see multiple nodes. I'd read the parent post as: There are 5 identically sized, beefy VMs. Each of these 5 beefy VMs run 1 instance of the nomad server. And then, there is 13k other VMs or physical systems, w
832.
by tetha 5y ago
Yes, I did not even consider that angle. And yes, nomad recommends 3 - 9 nodes in prod, maybe 11 or 13. The 3 are necessary to be able to tolerate one broken/maintained node and maintain the ability to schedule workloads. You can incre
833.
by tetha 5y ago
There has been a great announcement today with the beta of nomad 1.2 - nomad-pack: https://github.com/hashicorp/nomad-pack . Which, in my opinion, is aiming to be helm for nomad. Which is really great, because we'
834.
by tetha 5y ago
This very much depends on your workload, number of jobs and complexity of scheduling. Our Nomad servers have 4GB of memory in the VM and are using about 0.5 - 1G at a low three-digit number of jobs. Hashicorp is doing a smart but normal thi
835.
by tetha 5y ago
The original post also reminded me very much of QBasic. A major charm was how easy it was to just get some graphics on the screen. Some tiny resolutions, functions for a circle, a pixel, a line and a rectangle and you can do stuff from ther
836.
by tetha 5y ago
All doors are glass with the right combination of a halligan bar, an axe and a gasoline powered saw. And I guess beyond that point, walls are glass. Or you need explosives.
837.
by tetha 5y ago
I feel like this is also where dogfooding - or drinking your own champagne - comes in, if possible. We can use our software internally and sure, there are hardware costs and manpower overheads to run an additional instance of our software,
838.
by tetha 5y ago
Even though it takes some ops-skill to setup, this > They charge you a ludicrous $2,380 per terabyte of ingested data. This is 20x the cost of the underlying storage, even if it's Premium SSD! For comparison, AWS charges just $500,
839.
by tetha 5y ago
There is a new kinesis freestyle gaming, with LEDs (meh), but also mechanical switches (cherry). I'm very happy with mine.
840.
by tetha 5y ago
Hm. I'd suggest a second advantage of the "ball with fuse" or "stick with fuse" - and from there, the "C4 with unrealistic timer LED" makes a lot of sense: The fuse can act as an agent of suspense, just as

More ›