Hacker News new | past | comments | ask | show | jobs | submit | kevhito's comments login

"This is completely wrong." Is it completely wrong? Or maybe "somewhat" wrong? Maybe just lacking nuance? I know nothing about the answer to this question, so this is an honest question.

Using just a plain old search engine, for things like "national drink of the netherlands" and simlar queries, I am directed to Wikipedia's Jenever page as the top hit, and Wikipedia's list of national drinks lists Jenever and Heineken as the entries for the Netherlands. Search engines also give page after page of travel guides and blog posts, most of which list Jenever at or near the top of of their listings. One travel guide calls it "the most famous Dutch spirit and most famous Amsterdam liquor, Jenever, also spelled Genever or simply Dutch gin."


Maybe also need to show that there are no other naturals between 1 and 7? And also that numbers greater than 7 can't be a divisor of 7?


The first one can be trivially proved with automatic decision procedures and the second one is also very easy to prove, I believe.


I have another fork that is still (mostly) maintained and used as well: https://github.com/kevinawalsh/logisim-evolution

The REDS-HEIG version you link to has more development activity, support for a wider variety of FPGAs, and a few other advanced features. My version has some neat features not found in REDS-HEIG fork, and usually aims to keep the interface more beginner-friendly and streamlined for use as student's first-contact with digital circuits.


What do you mean? All the inputs are continuous: light sensors, LIDAR, infra-red, inputs from mechanical sensors from the driver. Sure, the sensor package's hardware/firmware/software converts these to discrete inputs before it reaches the Driving AI, but all of the Buridan's Paradox results still apply to those sensor packages. They can't perform their tasks in a finite amount of time -- either they will sometimes fail to make a decision at all, or they will render an invalid output (e.g. rather than outputting voltage corresponding to logical 0 or 1, they will go into a meta-stable or astable output mode that is not a valid output voltage).


>rather than outputting voltage corresponding to logical 0 or 1, they will go into a meta-stable or astable output mode that is not a valid output voltage

It sounds like you could easily avoid this. You can use a microprocessor and lead in analog input on one pin and then set an output pin based off that. You will always output a valid voltage. Sensors have noise anyways so it's not a big deal if the output is slightly wrong.


The paper specifically details several situations in which humans are the ones making the decision, and the result is the same. There is no bounded-time decision procedure that can take continuous (i.e. physical) inputs and render a discrete decision.


The missing piece of "just choose to always go left" is that this is a degenerate and uninteresting case. No decision is being made.

The range must be discrete and at least 2 possible values.

There is nothing about optimality at all here. Even if both possible outputs are equally "optimal", there is no procedure to pick one in a finite amount of time.


I doubt the issue has anything to do with being interesting or not. Do you know this for a fact or can give me anything to follow up on what it means for a decision to be interesting? For example if a decision procedure required the choice of chocolate or vanilla depending on the current time of day (a continuous input resulting in a discrete output), and I present an algorithm that categorically chooses chocolate regardless of what time it is, I doubt you'd turn around and claim that my algorithm is not making a decision because it always chooses chocolate.

If an algorithm takes an input, continuous or discrete, discards that input and returns a constant value, that algorithm is just as "legitimate" as any other algorithm in so far as being an algorithm is concerned. It may not produce the optimal output for some given cost, but it is a formal and rigorous decision procedure that manages to output a discrete value given a continuous input in a bounded amount of time.

At any rate, reading the comments when this was last posted it looks like the issue has to do with producing the optimal output in a given time frame. If an optimal discrete decision must be made in the next T seconds on the basis of a continuous input X, then there always exists some value of X that requires more than T seconds to compute. This will be true for any value of T regardless of how large.


> Mandating vaccines (and now boosters) in young, healthy people who were already at small risk, including those who have already had the virus, is so absurd that I can't even characterize it as science. It is simply punitive behavior.

The idea that a vaccine is a punishment is disturbing. I'm glad to have been able to get it.


I said the mandate is punitive, not the vaccine.

If you feel more comfortable getting an unnecessary vaccination, nobody is stopping you. Other people should not be coerced into doing the same against their will.

College kids are currently being expelled for refusing boosters. Children are being refused classroom education. Prior infection is not taken into account, and risk/benefit is not a factor. There's no other way to frame this than as coercive behavior.


College kids were already required to get multiple vaccines to attend and I remember being lined up to take the swine flu nasal spray with no say in the matter if I was going to continue education.

> There's no other way to frame this than as coercive behavior

We coerce people constantly when they have bad behavior that affects society and others. I don’t know why people keep trotting out mandates as having aspects of coercion/authoritarianism is a mic drop moment explaining why they are bad. How is this worse than all the other health based coercion we’ve had?


I think their point is that the data shows that previous infection provides good protection. If the goal is protection, then this should count for something, and should be factored in to the risk-benefit ratio. The risk-benefit ratio is not negligible for young, which is why the vaccine still hasn't been approved for the very young (and there's certainly not a step function in the risk-benefit ratio, by age). But, the risk-benefit ratio calculations being used don't seem to be including previous infection. This is not necessarily scientific.

For the other-than-COVID vaccines that are required for enrollment, there isn't existing protection in the majority of the population. Nobody has natural, effective, protection against measles.

I think the practical problem/reason is that there's infrastructure set up to track and share vaccination/booster status. There's no infrastructure set up to track, or even test, immunity status, which is the real metric of risk. So, for practical reasons, proof of vaccination status will always be favored and, almost certainly, held above the true, yet difficult to measure, immunity status, to drive policies. This is an easy out, that might cause harm, relative to an "ideal" policies that were based on immunity.


> College kids were already required to get multiple vaccines to attend and I remember being lined up to take the swine flu nasal spray with no say in the matter if I was going to continue education.

Saying it's happened in the past isn't an argument that it should continue in the future. I doubt your swine flu nasal spray had as intense of negative side effects as the COVID second shot and booster tend to in the young and healthy. Now that we're in booster territory and Delta is being phased out the shots are almost certainly more painful than the disease for some portion of the population.

> How is this worse than all the other health based coercion we’ve had?

I can't recall any other health based requirement for attending an event or restaurant. I also don't understand why people continue to harp on how a personal COVID vaccination decision "affects society and others" at this point. The vaccine only marginally prevents infection at this stage, and the primary benefit of reduced severity should stop everyone who's vaccinated from worrying about what others around them may be doing. I get the flu shot so I don't get the flu, and I'm not sitting around telling others who haven't that they're putting me in danger.


When I worked in DoD intel in the past, I had to travel to multiple nations with extremely high rates of dangerous tropical disease. I took multiple vaccines for this purpose. At no point do I ever recall worrying about whether the local populations I was dealing with were vaccinated at all. Because that's how vaccines work. They make it so you don't have to worry about others not being vaccinated or giving you the disease. With diseases that are highly dangerous to children, this is a different case, because you can't vaccinate children when they're extremely young and therefore a person not being vaccinated can transmit the virus to them. With COVID it is the absolute opposite. Small children are at minuscule risk and are actually far more at risk from influenza due to the dynamics of the virus. This risk age gradient is actually unprecedented and a unique feature of COVID.

What's really happening here is people who have considered themselves progressive and tolerant their entire lives have decided that they want to impose policies that are tyrannical, but they have to desperately backfill this logic to make it feel okay. They aren't willing to let any form of data disrupt this because if they did, they would have to admit to themselves that they had a tyrannical impulse in the first place.

Notice how when he got the swine flu nasal spray he wasn't demanding that everyone else in every public place he went to also get it. Nothing about this makes sense unless you view it as people trying to psychologically justify tyrannical impulses.


> When I worked in DoD intel in the past, I had to travel to multiple nations with extremely high rates of dangerous tropical disease. I took multiple vaccines for this purpose. At no point do I ever recall worrying about whether the local populations I was dealing with were vaccinated at all.

Yeah the tropical diseases are an interesting parallel for me too. In a place where malaria or dengue are prevalent I don’t blame others for being vectors of the disease, I assess my own risk and behave accordingly. And the mere fact that they’re spread via mosquitoes instead of air/surfaces doesn’t change the necessity of congregating people to spread. But these diseases are not universally dangerous, so people should not be universally pressured to take any measure to avoid them.

I’m not sure I fully agree with the tyrannical impulse premise, but I’d subscribe more readily to a tribal “badge of honor” premise, which in this (and indeed most cases) happens to be tyrannical. I think generally the masses don’t intend tyranny, rather they virtue signal to coerce and thus become tyrannical as a result.


Marginal reduction in transmission can mean the difference in ending a pandemic or dragging it out for another year or two. There is a big difference in an R value of R1 and R0.9

And you probably don't remember ever being required to show vaccination status to get into a stadium or restaurant in your lifetime because you hadn't previously lived through a pandemic.


> Marginal reduction in transmission can mean the difference in ending a pandemic or dragging it out for another year or two.

Sure, it’s great that we have the vaccines to do so. We should be focusing on making them available to everyone on earth rather than forcing them down the throats of those who don’t want them to get to the fastest “end.”

> And you probably don't remember ever being required to show vaccination status to get into a stadium or restaurant in your lifetime because you hadn't previously lived through a pandemic.

Fair enough. My reply was in response to a status quo argument, but indeed this pandemic hasn’t been just that. In which case I think you have to assess the dangers to those who have been vaccinated, which is not much. Indeed with omicron the risk isn’t very high for a large portion of the population vaccinated or not. And the vaccines are available to anyone who wants to reduce their risk, thus the mandates make little sense.


There is a pre—existing vaccination mandate for enrollment at colleges in the US.


All the vaccines mandated by colleges have been around for decades. It’s not “just another vaccine” to add to the list; there is a difference.


Which brings it all back to a lack of trust in the vaccine/science. The current science is that the vaccines are safe and provide a greater degree of protection than prior infection alone. Outside of some very rare conditions that would make someone unfit for a vaccine, there's no reason not to get vaccinated. Refusing to get one only increases your chances of ending up in a hospital and for what? There's no advantage to giving yourself a disadvantage no matter how small you think the benefit a free vaccine would give you over the protection a natural infection has already given you.


Did you get the pattern wrong? From the screenshot, it really looks like the pattern is: close "x", then title, then icon, then a gap before the next tab.

At least, that's what I thought it was, and now I'm not sure. Without a border, there is no way to tell which "x" goes with which tab. Without a visual grouping using some kind of border or shading, wouldn't the "x" make more sense located next to the icon and title?


They were right about the pattern. You were right about how it looks.


> you can publish macOS software without paying $99 year.

Can you point to straightforward apple instructions for doing so?

I publish an open source project used in classrooms, mostly used by my own students but also others. Despite strong and principled objections, which I hung on to for years, I have simply given up and now pay the fee. I'd love to not have apple be the gatekeeper. But they are. Every release, every update, every summer when I go to fix a few bugs, the restrictions get tighter and tighter, and old workarounds stop working.

I work entirely on Linux and Win10, but I maintain a mac laptop and pay the $99/yr out of pocket just to keep this project alive. I've spent tens of days trying to find a way around either of these requirements, but it's just too difficult (for me, or for my students, or for others wanting to try my software).


> Can you point to straightforward apple instructions for doing so?

Take a look at how other apps do it, such as:

• MacDown https://macdown.uranusjr.com (also on GitHub)

Download → Right/Control-click → Open → Confirm

There are several such apps and open-source tools that are not notarized, some quite popular. Some of them provide those instructions next to their download links.


See the below discussion on why this is not a realistic or user-friendly option.

https://news.ycombinator.com/item?id=24217116


Exactly which part of “Download → Right-click → Open → Confirm” is user-unfriendly?

Those steps are literally all it takes. It’s barely 40 keystrokes to list them.

As a user and the resident tech support for people young and old, I am glad that there’s such a barrier against the execution of arbitrary software and it’s easily skippable if one so explicitly chooses.

In any case, how is it any worse than the Windows nag prompts that people accepted more than a decade ago?


The linked article clearly demonstrates that running apps without notarization on macOS is much more complicated than you describe it to be, to the point of it feeling insurmountable for less technical users.

Perhaps you've configured your device in a way that gives you an easier execution path, or the app is employing a workaround to bypass Gatekeeper.

It seems MacDown uses such a temporary workaround to make the process less painful for macOS users: https://github.com/MacDownApp/macdown/issues/1106#issuecomme...


> what gets me every time is that the "right-click" trick only works the second time you try to launch the app. The first time, right-click or not, MacOS won't let you launch the app.

https://news.ycombinator.com/item?id=24219099


And for those of us who do not trust these private, for-profit (and imo corrupt and predatory) companies with our financial data? What then? There is a reason Intuit does not want me to be able to give my tax forms directly to the government. I refuse, even though it is ostensibly "free" (hint: it isn't really "free" at all, and we all know that, because Intuit wouldn't be fighting so hard if it were).


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: