skysight-inc/HackerNews huggingface dataset:
I've seen on TV an immigrant from Iran who's been jailed in the same hotel as Djokovic for several years. Letting him go is probably lenient for Australian standards.
I'm vaccinated myself, but why should past illness not be grounds for exception? Natural immunity works about as well as a vaccine, and fades much more slowly over time. Obviously it would be even better if he had both, but he poses no more risk than a vaccinated person.

(This of course avoids the question of whether he really had the illness, but for the sake of the argument let's assume he did.)
Do you know any examples? I've literally never had or even heard of a smartphone refuse to boot up for lacking a sim. I use several of my old phones around the house as security cameras and all of them work fine without sims.
I rewatch SG-1 in its entirety every few years. Season 1 is by far the weakest thing until the last episode when we're told the Earth has a couple of... shuttles to defend itself against the aliens. From there, it's just pure fun for another 9 seasons.

Is it "the best sci-fi" out there? I can't say because Battlestar Galactica had its moments, Voyager had seasons 4-7, and the current (but last) Expanse season is absolutely incredible in every respect.

But SG-1 will always be an immutable top 3 entry for me. It's so much even my wife watched a few seasons with me back in the day. I love to see her laugh
This comment deserves to be calligraphied in gold leaf and displayed in a museum as the ne plus ultra of sarcasm.
Also European, and would like to point out that the major difference is the investor cash available to startups comparing to places like Silicon Valley.
I find that very hard to believe, because the law doesn't allow it and the penalties for noncompliance with mandatory reporting are severe. In many states, failure to report is a crime. Mandatory reporting is intended to remove that kind of subjective evaluation from the picture.
DeepMind is organizationally distinct from Google AI.
Companies do this sort of thing all the time. Leave a bad review on the Google play store. It won't be edited immediately but it might become impossible to find or vanish quickly under lots of good ones.

Image management is a lot easier when you own the platform it needs to be managed on. Microsoft used to have a User Voice board. I wrote a complaint at length about Teams being a steaming hot pile of <Unicode poo emoji>. Lots of other people did too. They're retiring it now and have "ended their partnership" with user voice
The Rise of the Professional Security Hacker
Dude, is my code constant time? (2016)
It's the error of consequentialism that maps the moral order with causality 1:1 and doesn't account for contingency.
Windows 11 is so obviously a no go, games and office was Microsoft's last redoubt for relevance on personal hardware. Here's a prediction: in ten years this company will be smaller and called "Azure"...
Don't fungi "breath" out CO2 as well, I think I remember reading that somewhere. That might be an issue in space.
DoorDash driver declines low-paying order in viral TikTok, sparking debate
I didn't say it should or shouldn't be grounds for exception - that is the current stance of the govt which applies to all other travelers.
I think the media are entirely within their right to point out these issues. Djokovic showed up to an interview the day after getting a positive PCR test in December. He's taken part in at least one other spreader event previously.

As for "provided contradictory or false information", just go with "lied". Let's call a spade a spade.
My main problem with sci-hub right now is that it's stopped adding new content to the website since like 1 or 2 years. Which means if you want to have an up-to-date state of the art, you can't use sci-hub. I personally use the bookmarklet, i'm way more inclined towards this than some random browser extension.
Two things can be true at the same time:

1. There shouldn't be an exception to the rule for a high-profile person

2. The rules are draconian
The incompleteness proof comes to a russel paradox like contradiction, caused by a sentence of the form "I am not proovable." encoded via goedel numbering onto peano atrithmetic.

But proof by contradiction itself is problematic, because it relies on the law of the excluded middle, which only holds in classical two valued logic.

If you construct math from the top down rather than from the bottom up, then it is natural that it also has a multi valued logic.

In fact, it also would have infinitely valued logic. Infinite sentences, infinite theorems.

Such math is non expressible for us, because we rely on discrete descriptions.

But that doesn't preclude its existence.

Why should it though? What evidence do we have, if we can't express it or fit it into our existing mathematical framework.

To illustrate, think of Goedelsz approach and turn it backwards for a second.
Instead of taking predicate logic and assigning each sentence a natural number, imagine that predicate/classical logic is a different view on the natural numbers.
Now that means that there might also be logical interpretation of the reals, the hyperreals and so on. (We could do the same with Alephs, in fact they might be the more fundamental objects.)
One simply does simply not lie to Australian Immigration. If you have visited other countries inside the time period you simply check yes - and explain - lest you want to suffer the consequences.

The fact that he knowingly went out in the community the day after receiving his positive test result doing media events leading up to this is probably besides the point, however it did little to gather sympathy in the general Australian population.

For his ability to read the room, so as to speak, he scores a solid zero. Djokovic, the only ace player to be booted from a major tournament after missing only two shots. Good riddance.
Haha, there are dozens of us. Atlantis was good too, too bad for SGU ...
This post and the four (4) comments suggesting alternate methods to do this are a pretty good indicator that pirating papers is still by far the easier method than going through official channels.

I think it would be marginally quicker for me to access a paper legally if I was on my uni's campus. But I am WFH from the other side of the country and would need to log into the VPN. Sci-hub with one of these solutions would be much quicker!
Now that's a website. Love the modern styling.
Djokovic should have joined the end of the queue in waiting for his case to be heard.

How completely fucked up that mega millionaires get their court case heard immediately over the weekend.
How come they offer German translations (out of all languages)?
As someone who has experienced complete ego removal during psilocybin highs, as well as that Goldie Lock zone feeling that is had after 1-3 drinks in solitude I can reliably say that to me both experiences are important and impactful in different ways.

So neither supercedes the other.

Drinking too much and frequently will though have more health impacts for sure. Just don't do strong psychedelics all alone if you are unused ro them. That can end your life in one go (as it has for some).
Feedback Hub indeed seems to be useless - because it is designed to act as a sink hole.

Yet the topic the author of this article and apparently hundreds of others are describing as a show-stopping miss of Windows 11: The ability to see open documents ungrouped on the task bar. That's not a "bug" which needs to be addressed directly by developers.

And really? That alone is a reason to go through a harrowing downgrade process to an earlier OS version?

Not a regular Windows user, but I found that feature to be almost toxic UX - the open documents on the task bar all looked the same, and not different enough from the app icon, to make it a time / click-saving feature. I ended up clicking on each one until the correct window was in front.

It surely was worse UX than simply cycling through all open windows by the keyboard shortcut. Which isn't exactly power-user knowledge.
It doesn’t matter how it compares to others’ trauma if it is causing you pain.

Perhaps part of you views it as “idiotic” because it is reluctant to address it?
Great idea. I will try it
I've heard the tool's internal frontend (OCV) is equally frustrating to use by employees; and because of the huge amount of useless replies (that the author mentioned) in most teams it's only used for sentiment analysis on keywords ('people generally hate/love the new FooBar feature').

A friend working for MS in Office mentioned they're actually trying to gather customer feedback out of the random bottomless well there, but slim pickings.
I mean, I have been told by HN that some of my comments weren't appropriate and I needed to stop making them and I did. So empirically the answer here is "yes".
Perhaps an opportunity for the Stargate creative team to learn from the mistakes of recent reboots.

The recent-ish Travelers from Brad Wright had some good episodes.
>I'm getting the impression polished/user-friendly distros just don't like me.

Very relatable. I always seemed to get into worse messes with Debian, Ubuntu, Manjaro, whatever... than Arch, Void, or Guix System.

What do you do when GDM breaks? Uninstall it, in my experience. These distros that are very shiny and preconfigured can quickly make me feel lost and not-in-control compared to the classic minimal wm (or wayland compositor) + assorted separate programs I chose on purpose and enjoy using.

Downsides to this situation are that it's tough to recommend a distro to someone new. It'd either be one I don't actually like/trust or one that would give them a hard time as a beginner. Also that I may come off as overly negative in conversations with people using those more polished and popular distros.
Polish SG-1 fan forum was huge and it kickstarted my belief that meeting people online-first is possible. I traveled 90km to meet people I met on that board.
Location: Phoenix, Arizona

Remote: Yes

Willing to relocate: Yes

Technologies: PostgreSQL, Git, React, Spark, RESTful API's, .NET, Java, Python

LinkedIn: https://www.linkedin.com/in/assad-y-aa4608146/
Wow, great job! That's the real hacker spirit)

> I have found that with the calculations for energy expended from the Oxygen utilization algorithm is slightly higher than that calculated by the work/watt output of the Zwift App algorithm.

I beleive this is because Zwift doesn't count a basal metabolic rate. As far as I understand this is a default behavior for all calorie tables and trackers, one must calculate and add that constant manually. This device can actually measure that value!
Some people could consider drugs in the same way, just look how many celebrities do/did drugs. And many of them was famous to death thanks to drugs (as they died young, but this point like to be omitted)
>In other countries the educative system selects early on(ten years old) who is going to be engineer or doctor

In some other countries maybe, but definitely not all. I live in Scandinavia and decided to become an engineer when I was 22 years old. Had to take an extra high school level math course and physics (which was easily done by self studying and then writing an exam), then just applied to university.
Respect for achieving that in 21 weeks.
Ideas, usually have a strong correlation with failure. Irrespective of the execution.
Ideas are the base theory within which the execution revolves around. If the premise itself is wrong then no amount of execution would solve it. Think windows Phone OS, Google+ etc.
They were pretty incredibly executed products. But never took off because the base premise that another new OS with new APIs and new everything would get developer attention, killed WPos. There was no space for a facebook clone, irrespective of the integration capabilities and good image quality and that killed G+.

Crazy ideas are crazy because even great execution wouldn't be able to save it. ideas and execution need to be complimentary. Saying ideas don't matter is just as wrong as saying executions don't matter.
> In a statement, Hawke welcomed the unanimous decision, arguing that Australia’s “strong border protection policies” had both “kept us safe during the pandemic” and “are fundamental to safeguarding Australia’s social cohesion”.

This is the best part of the article, where they ignore that they got the worst of both world's through their radical incompetence, in not vacinating as many people as possible as soon as possible. They have China's level of respect for the principle of freedom of movement with a European ability to actually keep the virus under control. Absolute pissing away of a huge advantage.

Australia has to have one of the least competent public health apparatuses in the Western world, and that's really saying something.
On a semi related note, Ted Kaczynski is still alive and was responding to letters as of November. He got moved to a medical prison last month so I'm not sure how well he's doing, but it is utterly fascinating to be able to correspond with people who are both intelligent and insane.
The concept of regressive and progressive taxes are well defined and have nothing to do with the usage of “regressive” and “progressive” in a political context.
This is all true. What's also true is that she was a NIMBY and an inspiration for later NIMBYs.

She was right to oppose "urban renewal" projects that destroyed natural urban fabrics in the name of top-down planning visions. But as a NIMBY, she imposed another top-down vision with similarly negative effects.

What has changed since her lifetime is the relative harm caused by her vision versus that of her opponents. Back then housing was affordable while urban renewal projects destroyed whole swathes of cities. Nowadays the balance is reversed, large urban renewal projects are nearly impossible to accomplish while urban housing is unaffordable to much of the population.
Check out the underachievers manifesto. A short book that's right in line with what you're thinking in this post.
The article called someone a racist, days after they passed away, without presenting any evidence of that fact. (The original article does not cite or refer to any of Wilson's work.) When asked on Twitter to provide some evidence of Wilson's racist views, the author of the article declined to provide any. She said that readers should look it up themselves. That isn't sober critique, it's slander.
Marjorie Shaffer wrote a whole book on the topic: "Pepper: A History of the World's Most Influential Spice" [1]

If you are interested in learning more about the history of the spice trade, it's well worth a read.

[1] https://us.macmillan.com/books/9781250048660
They can be. But they're not.

There is nothing draconian about a rule requiring vaccination for a disease responsible for a global pandemic with the 5th highest death toll in human history. [0]

[0] https://en.wikipedia.org/wiki/List_of_epidemics#By_death_tol...
It's worth mentioning Reddit uses the Karma system as part of the rate limiting. If you have a lot of karma you'll virtually never get the dreaded "You're doing that too fast" error message, but if you have a low karma account you might only get to post/comment once every 30 minutes.
Fun fact, back in 2017 when I was a junior in highschool, I would meet this friend of mine often at her house. She lived pretty far into this gated community that was right on the edge of where Rancho Santa Fe ends. I really don’t remember how the topic came up, but she told me that the mansion where the Heavens gate cult had killed themselves was literally a 5 min walk. I knew about the cult, but I never knew it all took place in San Diego lol when I went home, I looked up the distance of her house to the address of the mansion (it took a little bit because I failed to notice they changed the address, which is 18241 Paseo Victoria) it was shocking to see that it really was like 5 min away.
Battery Breakthrough Quintuples Electric Vehicle Range
Practically nothing.

By virtue of all programming being resource-bounded computations can be interpreted in Linear logic [1].
Linear logic is paraconsistent [2] not consistent.

Untyped Lambda calculus is essentially an assembly language and Assembly languages treat their own code as data [3]. Contradictions arrise when a system can mutate its own state. That is the power and pitfall of reflection [4]

[1] https://en.wikipedia.org/wiki/Linear_logic

[2] http://nlab-pages.s3.us-east-2.amazonaws.com/nlab/show/parac...

[3] https://en.wikipedia.org/wiki/Metaprogramming

[4] https://en.wikipedia.org/wiki/Reflective_programming
Seeing is believing? Okay - did you know penguins can fly?

https://youtu.be/9dfWzp7rYR4

It's from a reputable source too, the BBC.
There are many human weaknesses, the desire for meaning in life leads some people to be susceptible to this kind of thing both causing it and falling victim to it.
Yup, not working for me.
Previous discussion: https://news.ycombinator.com/item?id=29940489
I’ll join the same cult and tell the others it doesn’t require that much effort. Just put it up on cloudflare free plan after renewing the domain for 30 years. Then hopefully I’ll dip out of the cult without anyone noticing.
>> Currently stuck on plumbing problems.

As is everything written in nix!
The realistic alternative to going to a bar alone (as somebody who has gone to bars alone) is drinking alone at home. That isn't really any better for you because at least there is a decent chance to have some social interaction at a bar (unless you specifically avoid it).

Thinking that somebody else at a bar calling him a loser is looking out for his best interest is a little ridiculous
I actually use 4 different todo apps, and a paper notebook. The medium is the message, and the tool is the workflow. Different tools enable different kinds of thinking. Also if you have an ever-growing mountain of tasks, you're doing it wrong.

1. For "technical" thinking, fleshing out precise ideas that aren't fully formed yet, I find hierarchical outliner tools like Roam, Workflowy, and OmniOutliner enable deeper, more precise thinking that just doesn't happen with plain text. Currently prefer Omni for its native macOS experience. Good tools generate thoughts I previously didn't have.

2. For "creative" random thinking and my diary, nothing beats pen and paper, or plain text journaling. The key here is to use a tool which is inherently tied to a calendar (such as NotePlan/Agenda on Mac or a dated notepad). Beats a simple plain piece of paper or generic tools like Apple Notes / Google Keep, by moving the thoughts out of the mind once the date has passed. These tools help to "let go" of thoughts, not keep them.

3. For "habits", i.e. daily/weekly recurring tasks, I use Todoist, for its fantastic handling of recurring/overdue status and easy postponing/rescheduling. No other todo app I've tried "gets" recurring/overdue tasks as well as Todoist does. With Todoist I don't have an ever-growing mountain of tasks, just my daily habits. Whenever I'm bored or feeling down, I've made a habit of checking Todoist, and doing small mundane tasks helps to get the brain back in gear again, by doing the dishes or laundry or bank transaction clearing.

4. For "collaborative" unstructured work and one-time reminders, nothing beats email. Inbox-zero philosophy treats your inbox like a queue. The addiction to checking your email inbox and keeping it a 0 can be harnessed for great good. Email can also be used like a CMS, to follow up on people, with the right tools.

The key is to build a habit with each of these tools, perhaps even an addiction. Once a habit is built, it's hard NOT to do it, and easy to come back to after a vacation or sickness.
I'm sorry, but this is just patently false. The FDA requires extensive V&V testing, especially for medical devices that have a significant chance to kill the people that it's used on. That, and you need to have a very sophisticated quality management system (QMS) in place that tracks all the changes you make during your design and test process, links up source requirements to passing test reports in an auditable way, tracks all of your manufacturing information (including which batches were tested using what procedures, and the results), all of which can be randomly audited at any time, no matter where the facility is located on the world.

You may be referring to the 510k (pre-existing predicate device) pathway, which has been abused by companies to leapfrog and skip _some_ of the more stringent test requirements, but they still need to prove similarities, and that requires real data. However, in the vast majority of cases, these devices are things like masks, IV tubing sets, etc, not complex life saving equipment, which gets an enormous amount of scrutiny. If anything, it's the medical device companies that are at fault for lobbying Congress to allow abuse of 510k pathways, and Congress for allowing these things to happen.
My rule is to never work as a QA for free.
Twisting the definition to a more practical idea is better for progress, and will attract more users because it will seem like a more tangible goal. And I don’t count WSL as Linux on the desktop because it was already possible to run a VM of Linux on Windows and vice versa before it existed.
not surprising as this is a tech/tool to enable non-fungibility and uniqueness rather than anything specific to art[1]. in the same way that applying pencil to paper, developing generative computer programs, signing a urinal, or writing a ERC721 smart contract can all be art, this alone shouldn’t define them.

I say this as an artist working with NFTs who would be happy to see them reach wider acceptance in art/creative world.

[1] - https://mirror.xyz/0x32262672C6D1B814019f4Ca4e2fc53285a91970...
Its the amount of money, willingness to invest at all and in what to invest.

Sometimes the investors want to be like Silicon Valley investors but yeah its like with the success stories they have read about it but not experienced it.
Speed of light measurement along History
I’m pretty sure it’s tabbing within the same application.

What would be interesting to see how useful it would be, is heterogeneous tab grouping (tabs from different apps)
Show HN: Meme Garage
Take a peek at sibling threads for some real-life examples.

Note that I was only reacting to the absolutes in the parent comment, not saying that I myself condemn people who go to the movies or do any "typical" group activity alone -- at the moment, I am also practicing the craft :)
Why all the best game developers play Tarot
Amazing work! I just watched the author's video about the UI features: https://www.youtube.com/watch?v=aGxt-tQ5BtM

The app in a tab approach seems really neat.

I guess if big tech decides to stop developing new useful features, we will have to start doing it on our own.
It’s been a while since I’ve read much about this but one explanation I’ve heard is that Vo2 was elevated to importance because it could be accurately measured and therefore studied.

Also unlike aerobic fitness, which can be improved with year after year of consistent training, an athletes peak Vo2 max (for their given fitness) can be maxed out over 4 - 6 weeks of specific training. Doing much more specific Vo2 training can result the athlete (at least in running) becoming ‘flat’.

That said Vo2 measurement can provide a great deal of useful information but for most recreational athletes getting the basics right is more important than having an exact Vo2 measurement.
Having recently completed a re-watch of SG1 and Atlantis, I found it has great re-watch value, once I got into the story it felt really fresh again. I continued onto SGU and only made it a few episodes in before abandoning it, it just didn’t flow as well and felt very depressing. Here’s hoping if Amazon/MGM do revive it they go for more of the original flavour, if not necessarily any of the original cast.
Success itself causes false beliefs about success.