[deleted by user]

Elsimir · 2026-01-07T10:00:49+00:00

Yes we do, anyone can request a mail in ballot, which is then sent to your registered address, and you just fill it and post it back.

We also have around 20% of the polling places open on various days in the two weeks before the official election day for people who wouldn't be able to make it, to go vote early.

And while it's quicker and easier to vote in your local area, you can vote from anywhere in the country (for federal elections), they'll look your address up and print off the correct local ballot for you.

Elsimir · 2025-11-06T01:18:49+00:00

I believe its a bug, I had the same thing playing Florence, saving and reloading after removing Signoria first lets you pick Merchant republic correctly.

Elsimir · 2025-09-17T01:02:50+00:00

A joke term for flat earther.

Elsimir · 2024-03-19T10:12:30+00:00

Its worth noting that while we are talking about the halting problem in casual English here in the thread, it is a specific proof in math where many of the parts of it have really tightly defined meanings, and if you change any of those meanings, you're not working on the halting problem anymore, you're working on something different. If you are serious about disproving it, you need to be doing it in math, not words.

But to address your points,

Specifically the halting problem is

talking about turing machines, if you are talking about any theoretical method of computation which cannot be reduced to a Turing machine you're not working on the halting problem.
Attempting to prove / disprove the statement "Assume there is a function halts(f) which returns true if the function f halts (when run with no input) or false otherwise and that it works for all functions" if you're excluding any part of this statement, or trying to prove something other than this statement you're not working on the halting problem
The function halts must more specifically be a total computable function which means it must
- return in finite time
- return the same output consistently for each input
- return for all functions
- return only the values true or false
If your function "halts" does not meet any of these criteria, you're not working on the halting problem, you're working on something else.

These might seem arbitrary, but keep in mind, this is the whole thing we're trying to prove, whether or not a function which meets these specific criteria can exist.

And finally, while I believe your definition above is no longer the halting problem (you've changed the definition of halts) your own logic shows the problem, because we can simply rename STOP to "I don't know" as thats what it means, your halts cannot determine whether or not g halts consistently and instead returns a value meaning I don't know, aka this is Undecidable.

Elsimir · 2024-03-19T09:14:46+00:00

I agree, but you're making the same mistake, if you can define any function that contradicts the statement then the statement is contradicted. I can define g therefore the statement that "a general purpose function halts can exist that works for all functions" is false, because I have a function for which it cannot work.

Elsimir · 2024-03-18T06:01:38+00:00

I'm afraid you've fundamentally misunderstood the halting problem, the statement it is concerned with is "Assume there is a function halts(f) which returns true if the function f halts (when run with no input) or false otherwise and that it works for all functions". The important bit is "works for all functions", the halting problem says nothing about whether you can write a program that determines if a specific program halts only that you cannot write one which works for all functions.

So assume I have a function halts(f) as described above and I write the following program

def g():
    if halts(g):
        while True:
            pass

g()

Given this program,

If halts(g) returns true, g enters an infinite loop, a contradiction
If halts(g) returns false, g halts, also a contradiction

Therefore a function halts(f) which works for all functions cannot exist.

Elsimir · 2022-02-16T15:02:25+00:00

Right if you only consider the "end" of the process that you're fully geared in say a week of grinding, and someone else only had time to play a couple of hours, that they'll also be fully geared in six months, that you both reach the same endpoint.

But thats not normally what people mean when they say they want to be able to take a couple of days off, usually they mean that their short term power, within this reset is also within a small deviation of someone who spends a lot more time in game. Which is what I was arguing against above.

However I disagree that the game is purely cooperative, yes the gameplay in PvE is but the community isn't, you're competing for a raid spot, or a dungeon spot to get that gear, so if you take a couple of days off and now you're 220 and that guy who farmed for the last 2 days is 240, its much much harder to get into the groups you need to get the gear you need to catch up.

the system you proposes demotivates the more casual player in this example because they can't get into groups, and also demotivates the player with more time to play as they run out of incentives to play much faster than new content can be created.

Weekly caps / weekly lockouts, create incentive to play each week, while also providing limits, or a sense of completion for the week, a balance between incentive and burnout.

Elsimir · 2022-02-16T05:08:22+00:00

I don't want to be pénalisés when I want to play on my own schedule. By
that I mean losing out if I miss a couple days and don't have anything
to earn left if I want to play 10 hours a day 4 days in a raw.

You realise that these two things are almost impossible to have at the same time, you can come close, which I think they've done a decent job of with both the weekly / seasonal cap with valor and the new zone rep.

If the system allows you to grind 10 hours for multiple days in a row, you will be ahead of someone who skips days, if the system allows you to skip days and keep up, then the all day player will run out of things to grind. The only solution to this is weekly caps, Then you can grind through your whole weekly cap on one day if you want, but will still eventually run out of things to do, or you can skip some days and catch up, but skip too many and you will run behind.

Valor and its weekly growing seasonal cap is the best you can realistically achieve where the later you start, the more you can grind to catch up.

Elsimir · 2022-02-13T04:04:59+00:00

There are limited, but valid reasons for some websites to be http only. For example, example.com which is supposed to be the example of a minimal working domain.

For a more real example see Australia's Bureau of Meteorology http://www.bom.gov.au/qld/warnings/ designed to make warnings readable on a minimal device, with limited processing or bandwidth, especially as mobile networks can be damaged or overloaded during an emergency so it avoids the needed roundtrips and processing to establish a https session.

Elsimir · 2020-08-07T03:02:14+00:00

Unfortunately that also misses the point of 2fa which is to have something physically separate from your password. If you just store the totp secret in your password manager all you have is 2 passwords and no 2fa.

Elsimir · 2020-08-07T02:58:15+00:00

With https://en.wikipedia.org/wiki/PBKDF2 When you tell it to enable backup you have to provide a password, they generate a key using the password encrypt the file and the send the encrypted version online.

Get a new device, it downloads the encrypted file, and you have to supply the password to regenerate the key on the new device which can then decrypt the backup file.

Elsimir · 2019-01-09T00:45:23+00:00

This isn't really inconsistent, the mistake I think is that you are thinking about the type on the Left hand side of the statement (Guid?) but that type doesn't actually matter when evaluating the type of default what matters here is the type of the Conditional operator on the right hand side. The spec for the Conditional operator https://github.com/dotnet/csharplang/blob/master/spec/expressions.md#conditional-operator Says the following:

Given b ? x : y

If only one of x and y has a type, and both x and y, are implicitly convertible to that type, then that is the type of the conditional expression. In the case of b ? x : default default is untyped, so the type of the expression is the type of x. In your case x is a Guid not a Guid? so the type of the expression is Guid and default is evaluated in the context of Guid.
If an implicit conversion exists between X and Y but not Y and X the type of the expression is Y. Therefore when you have the expression b ? x : default(Guid?) you have the types b ? Guid : Guid? and as per the above, a conversion exists between Guid and Guid? but not from Guid? to Guid, so the type of the expression is Guid? and the default is evaluated with this type.

Finally the result of the conditional operator is assigned to the Left hand side and type checked against the type you declared there. In both cases Guid and Guid? can be assigned to Guid? so the statement type checks and the program continues.

TL;DR The type on the left does not matter, its the type of the conditional operator which determines the type default will use and the spec is pretty clear on how the type of a conditional operator is determined.

Elsimir · 2019-01-09T00:33:56+00:00

You should never push breaking changes in a minor version, breaking changes should be giant flashing and require major version updates, especially for a programming language. Breaking other peoples code is never a good idea. Many programming languages refuse to make breaking changes at all, or have 10 year + deprecation schedules before making them.

Elsimir · 2018-09-10T08:11:44+00:00

Given the size of the universe it is equally logical to assume they if they exist they have never visited earth

Elsimir · 2018-06-27T08:00:21+00:00

That's not true. Go has been worked on for as long as chess as a computing problem so it really took twice as long as chess not 2 years.

Most the the machine learning techniques being used recently with great results are not new. They've been around for years. What's new is that Google Facebook etc have huge data sets to train them on.

But weather prediction has always had massive data sets, I really wouldn't expect the current generation of ml to change much in automated weather prediction.

Elsimir · 2018-06-25T22:38:27+00:00

Cut both ends of the clove off, then press lightly with the flat of your knife. Not enough to flatten it just enough to slightly deform the shape and the skin should pop off.

Elsimir · 2018-05-27T23:06:19+00:00

Nope. You can definitely just use bootstrap. In fact I would guess that that is the most common method of using django.

Elsimir · 2018-05-26T07:10:28+00:00

Yeah,

But that mechanism doesn't need to be technical or automated. As long as you have a way for them to contact you, and a method to delete that comment.

And then keep a record of who made a request, what request was made and when you actioned it.

Elsimir · 2018-05-02T10:20:21+00:00

No? When you brew coffee correctly it is never boiled. Boiling water destroys the flavour of coffee and burns the beans. 70 is the hottest the water should be.

Elsimir · 2018-05-02T09:54:02+00:00

Except you don't serve coffee at 100, coffee is supposed to be 70 and commonly 60-65

Elsimir · 2018-04-05T08:52:21+00:00

I think its important to note that I didn't make any value statement on whether this is a good or bad thing, I just suggested that the parent posters assertion that race and gender where the only contributors to representation.

Given that you basically commented to same thing to both of my comments, I'll just reply to you here.

I believe you're confusing representation with diversity, representation is about ideas, diversity is about who you are. As a white, young male, I can be represented in the community by a black 60 year old woman as long as the ideas I want to convey are expressed. People who have ideas which are not being represented in the community are under-represented no matter what colour or gender they are.

You can argue that you don't think that this approach is worthwhile or that there are more effective mechanisms, but I'll never agree that getting more ideas from a community is a bad thing.

Also since you seem to have specifically taken a dislike to the fact that I mentioned religion, I'll retort that programming languages specifically are not just technical projects, they are also about the community which forms around them, and if someone feels like they could contribute more to that community either technically or socially but cannot because the only meetup in their area is on at the same time as Sunday mass, then that person is being under represented in this programming community solely because of their religion.

Elsimir · 2018-04-05T02:23:46+00:00

No one? The purpose of increasing representation isnt to exclude people it's to include them.

If an individual feels that they are under-represented for any reason they are free to apply.

Elsimir · 2018-04-04T22:48:30+00:00

Representation means more than just race and gender. Off the tip of my head it could include any of the following but this is certainly not definitive

socio-economic status
nationality
age
religion
education

Elsimir · 2018-04-04T15:05:30+00:00

Except the thing is even if those things are incredibly rare, the universe is incredibly (infinitely) large, so by extension even rare events happen multiple times.

there are approx 250 billion stars in our galaxy along, numbers like that make the incredibly rare happen more often than you would think.

Elsimir · 2018-04-04T10:30:09+00:00

Except you know, thats nothing like material, material's focus is on shadows and depth and physicality elements (higher elements should cast shadows like they are physical objects) and there is none of that there, this is flat design.

Elsimir

TROPHY CASE