skysight-inc/HackerNews huggingface dataset:
There’s a seam of individuals cutting across the political spectrum that is confused about their right to speak freely. They think it translates to a right to force everyone to listen to them. Then they become shirty when told to fuck off.

It’s naturally correlated to extremities of viewpoint, both due to the absence of critical thinking on the part of the complainant and the elevated likelihood their views fall outside a certain window of acceptability.
I agree and support this. People want to conflate the issues of not believing in vaccines (or whatever words they like to put in peoples mouths) and believing in having to provide proof of a personal health situation all over the place. It's convenient to pretend that anyone who is against government and corporate overreach is an "anti-vaxxer" instead of actually engage with the issue.
Experts have been skeptical for quite some time. You can see discussion on the exact point Scholze (PS) brings up in the following blog post (the post and many comments are by prominent number theorists)

https://www.galoisrepresentations.com/2017/12/17/the-abc-con...

One quote from the post I find worth repeating:

> This post is not about making epistemological claims about the truth or otherwise of Mochizuki’s arguments. To take an extreme example, if Mochizuki had carved his argument on slate in Linear A and then dropped it into the Mariana Trench, then there would be little doubt that asking about the veracity of the argument would be beside the point. The reality, however, is that this description is not so far from the truth.
I think your logic is wrong.
We can only behave according to what is acceptable in the present moment we happen to exist in, it would be unreasonable to ask people to attempt to predict future morality when making ethical choices. We can try to make a good guess about it and act accordingly but it'll never be perfect, nobody can make a ruler with units that don't exist yet let alone try to measure something with it. I think intent counts in these situations too, like you say Monty Python never set out to be unkind or bigoted to anyone.

Would it be an acceptable sketch today? Probably not, and that's not really a bad thing given that improvements to the rights and recognition of transgender people is one of the more positive things to come out of the last couple of decades in my opinion. Should Monty Python be cancelled over this sketch though? Not in a million years.
That article is awful. Three professors coming up with five-world clickbait memes, while evading real issues.

A real question is, in areas where network effects are very strong, how do we avoid monopolies forming?
> All we can do is open our borders for Hongkongers who want to leave.

Yes. And no longer trade with China.
Ah yes, the one form of coercion libertarians endorse - via the courts. I'm just not even going to address all the reasons that can't work and/or just changes the details of coercion. Others have done so, more or less eloquently, zillions of times. It always falls on intentionally deaf ears. Good day.
Wow, your library actually looks impressive! Yeah, I'm pretty much implementing all the same things.
Fuck liberal fucking pieces of shit.

You can't even call yourself a liberal.

You're just a fucking FASCIST FUCKING CULTIST that needs BULLETS IN YOUR FUCKING HEAD!
That's just randomly quoting sentences out of context. What you quoted is from the standpoint of a particular central bank, not from the standpoint of an arbitrary lending bank. Absolutely, many lending banks have reserve requirements imposed upon them, just not in the particular country of this paper!
Seems they filled the position as recently as 7 months ago.
Ukraine spies tried to ensnare alleged Russian war criminals with a fake website
"Cloud Security Technical Reference Architecture (TRA)" (2021) https://cisa.gov/publication/cloud-security-technical-refere...

> The Cloud Security TRA provides agencies with guidance on the shared risk model for cloud service adoption (authored by FedRAMP), how to build a cloud environment (authored by USDS), and how to monitor such an environment through robust cloud security posture management (authored by CISA).

> Public Comment Period - NOW OPEN!
CISA is releasing the Cloud Security TRA for public comment to collect critical feedback from agencies, industry, and academia to ensure the guidance fully addresses considerations for secure cloud migration. The public comment period begins Tuesday, September 7, 2021 and concludes on Friday, October 1, 2021. CISA is interested in gathering feedback focused on the following key questions: […]

"Zero Trust Maturity Model" (2021)
https://cisa.gov/publication/zero-trust-maturity-model

> CISA’s Zero Trust Maturity Model is one of many roadmaps for agencies to reference as they transition towards a zero trust architecture. The goal of the maturity model is to assist agencies in the development of their zero trust strategies and implementation plans and present ways in which various CISA services can support zero trust solutions across agencies.

> The maturity model, which include five pillars and three cross-cutting capabilities, is based on the foundations of zero trust. Within each pillar, the maturity model provides agencies with specific examples of a traditional, advanced, and optimal zero trust architecture.

> Public Comment Period – NOW OPEN!
CISA drafted the Zero Trust Maturity Model in June to assist agencies in complying with the Executive Order. While the distribution was originally limited to agencies, CISA is excited to release the maturity model for public comment.

> CISA is releasing the Zero Trust Maturity Model for public comment beginning Tuesday, September 7, 2021 and concludes on Friday, October 1, 2021. CISA is interested in gathering feedback focused on the following key questions: […]
Sparta can also refer to the entire state. I think you're making a fuss out of nothing.

Also, Sparta wasn't just Spartiates and helots, you're forgetting about mothakes and perioikoi.
DEATH TO MASKERS!

DEATH TO MASKERS!

DEATH TO MASKERS!

DEATH TO MASKERS!

DEATH TO MASKERS!

DEATH TO MASKERS!

DEATH TO MASKERS!

DEATH TO MASKERS!

DEATH TO MASKERS!

DEATH TO MASKERS!

DEATH TO MASKERS!

DEATH TO MASKERS!

DEATH TO MASKERS!

DEATH TO MASKERS!

DEATH TO MASKERS!

DEATH TO MASKERS!

DEATH TO MASKERS!

DEATH TO MASKERS!

DEATH TO MASKERS!

DEATH TO MASKERS!

DEATH TO MASKERS!
The right of free speech protects against government retribution. It does not protect private individual / corporation retaliation. This is why you have secret ballot - so no one can retaliate against you for someone you’ve voted for.
Why is a uniform regulatory application across industries required? That seems to have an aesthetic principle but I can’t imagine why it matters. We already regulate every industry separately since the problems posed within each industry is unique. Tech has a disconnect of scale between size of the company and reach that we haven’t seen. Oil has pollution that tech mostly doesn’t. Nuclear power plants have to deal with nuclear waste. There’s certain overlaps but I think saying “all the regulations that apply to big company X in industry Y have to apply to big company A in industry B” is a weird and arbitrary line to draw.

Same goes for your comment about inefficiencies. That seems to presuppose a particular truth without actually presenting any evidence. Sure there can be inefficiencies from having multiple companies involved. Conversely you also can have better innovation as ideas are allowed to be tested without having to get buy in within one large massive corporation. Think for example about Xerox where their Parc laboratory was regularly churning out ground breaking research that was dying on the vine within Xerox. For what it’s worth that’s potentially the case within big tech (eg Vine getting killed within Twitter and then TikTok showing success).
go fuck yourself buddy
oh wow this is pretty cool that they can monitor COVID 19 stuff via waste water
https://www.npr.org/sections/goatsandsoda/2021/08/20/1029628...

> Israel was the first country on Earth to fully vaccinate a majority of its citizens against COVID-19. Now it has one of the world's highest daily infection rates — an average of nearly 7,500 confirmed cases a day, double what it was two weeks ago. Nearly one in every 150 people in Israel today has the virus.

Not a great advertisement for non-sterilizing vaccines.
> Personally, I think they'd go for it.

If there were sizable numbers of US troops on Taiwan, I don't think they'd attack. They don't want a major confrontation, at least not yet.
same with 9 years ago and 9 seconds ago lol
That's fine, you can sit high and mighty on your chair. I'm sure as in most things life, it will reward you with a fresh batch of what you call suckers (aka people who have no other choice) to exploit. Generally speaking though, I don't think over large swaths of time your point of view has proven to be sustainable. It did and will crumble eventually, being a sucker (see definition above) has an expiration on it.
> Is there a reason to not immediately "defend yourself" against any person who is looking at you with a pair of these?

Yes. You would be guilty of assault and potentially end up in prison. You would not be in the "right" in this scenario.
People have been clamoring for mobile friendly blockquote for a while.
Data Science with JavaScript: What we've learned so far?
This is precisely why SPJ leaving at this time is all the more surprising.
Pretty rich when Jeff Bezos is attacking SpaceX on the grounds that Musk doesn't respect the law. Like, he's not wrong, but that's solid "takes one to know one" territory right there.
It seems that a primary supporter of the White Feather movement was a key member of the _anti_suffrage movement: https://en.m.wikipedia.org/wiki/Mary_Augusta_Ward

So, I am interested what sort of overlap with the Suffrage movement the parent commenter was talking about.
My question was specifically referring to these huge 500 proofs that only a handful of people have even attempted to understand. What is the upper limit of what our current state-of-the-art proof assistants can handle?
Same. My vaccination status is my own damn business. I am prepared to be fired over this, if needed.
The work is funded by a Clojure community group (and a Clojure-using company), and Tonsky has written a bunch of awesome other Clojure (see DataScript[1]).

So it seems as though the decision to use Clojure was not made for technical reasons, but it's not exactly arbitrary.

[1] https://github.com/tonsky/datascript
Other countries exist?!
A lot - that’s why I strongly oppose government vaccine mandates except in contexts where the magnitude of that pro-social good is far above the baseline - e.g., for healthcare workers.

Thankfully, the “or test” part distinguishes this from a vaccine mandate. We should have been testing most of the population since last March, and if anything we should have stronger testing requirements than this guidance dictates.
> how does the wrapper handle different UI/UX guidelines?

Most of it is automatically handled by the native interface of the OS when it renders the UI. Some cases have to be dealt by the wrapper library developer, and some of it has to be done by the developer creating the app using the wrapper library.

For example, a Window usually has the default UI elements of a Title Bar, the title text, Max-minimize buttons, window resize handlers etc. In Windows, this is rendered with the max-minimise buttons on the top-right corner, and the title left aligned in the title bar (if I remember right). On macOS, the same Window will be rendered with the max-minimise button on the top-left corner and the title centered in the title bar.

When you create a window on MS Windows OS using the Win32 API for it - http://www.winprog.org/tutorial/simple_window.html - the rendered window will be, by default, according to Microsoft UI / UX guidelines. Similarly, when you create a window using the cocoa framework on macOS, the window will be rendered, by default, according to the UI / UX guidelines of Apple - https://github.com/lukakerr/NSWindowStyles .

This highlights how some UI / UX guidelines are baked into the native frameworks.

But if the wrapper library developer wants to offer some multi-platform custom UI component not available natively, they will have to ensure that the component is compliant with UI / UX guidelines of the OS they are rendered in.

(If you want to see this in action with an actual wrapper library, check out Lazarus IDE - https://www.lazarus-ide.org/index.php ... create a window on it on MS Windows, Linux or macOS with its GUI designer and compile the code to the see the native window it generates, on each OS.)

Most of the other things described in the article are also already available in the native GUI frameworks. It would make more sense to extend and enhance what is lacking, rather than re-inventing the whole thing again (which, as you noticed, can be a pain if you have to conform to different OS guidelines).
Reading this, I find it funny how way back in the heyday of Usenet it dawned on me "people really believe this stuff!", for a wide array of stuff.

Yes, many people do construct a mental strawman and take great pleasure in assigning & attacking it. It's also interesting how many actually do believe such strawman-like absurdities in earnest. Yes, there are people who construct an image of "but real communism has never been tried!" types and impute the term so they can attack; there are also people who truly believe "but real communism has never been tried!".
Yes.

There are a number of "Level 1" blockchains[1] that are proof-of-stake.

Ethereum is moving to PoS. Algorand was just announced as the level 1 chain for the El Salvador[2], while Cardano and Solana are both pretty big chains. Other contenders include NEAR.

[1] https://medium.com/the-capital/layer-1-vs-layer-2-what-you-n...

[2] https://finance.yahoo.com/news/el-salvador-develop-blockchai...
Indeed, there is no other tool out there automatically linking documents for you, as far as we know.

The idea is that Saga helps you resurface connections and ideas without having to do the manual work yourself.

This allows for a more serendipitous discovery of knowledge while you're crafting content or researching a topic.

Areas where we see great promise are:
- analyzing interviews and notes for product and user research
- automatically generate company or support wikis from docs
- discover insights while writing meeting/team notes and documentation

Currently beta testing realtime collaborative editing and we'll start pushing towards integrating with other tools after that.
Completely agree with everything you've said.

I think I've divorced housing prices from the concept of inflation because I spend so much time thinking about the underlying causes (zoning, NIMBY's, environmental reviews, etc). But the crazy price increases are enabled by the financial sector and all the money lying around.

It seems the more financialized the sector (housing, higher Ed) the worse the inflation is.

I don't know that my thinking on the boundary between finance-driven inflation and fundamentals-driven inflation is as clear as it should be.
If anything, it can be viewed as evidence that this fifth force does not exist - as we can rule out more possibilities.
Show HN: Build and sell truly interactive in-browser coding courses
Hey HN, I'm Mehul, founder of codedamn. I'm glad to release codedamn creator (https://creator.codedamn.com/) in public beta today - the first (and only?) interactive course creating platform available to create truly interactive programming courses.

Unlike existing solutions of embedding iframes from different code execution services, we have built the whole system from the ground up - allowing the course students to work inside a powerful in-browser editor solving code challenges.

This will enable you to create highly interactive courses on virtually any topic.

Want to teach people solidity by running a local blockchain inside the browser? Possible. Want to teach React.js and evaluate if they passed specific tests written in the react-testing-library? You got it. Want to build a Python course with numpy and other data science concepts having in-browser practice? You got it. Need support for Rust or Golang for an excellent course you have in mind? You got it.

I've been learning as a programmer since I was 13, and the interactive elements I saw on sites like codecademy and freeCodeCamp inspired me to develop a platform to create and sell my interactive courses. So I did that on codedamn.com.

After building and selling tens of interactive courses via codedamn (we do close to $3000 MRR on our in-house courses), we're now opening this platform for other developers to come, build, and sell their interactive courses without worrying about underlying practice infrastructure.

You can add videos, labs, quizzes, and markdown enabled articles as individual course items at the moment. Some important information:

- You get the ability to host your courses on your custom domain under your branding.
- We do not make any revenue from your sales right now. Yes, our fees is 0%. (except for fees charged by Stripe)
- You get a free *.codedamn.dev subdomain for hosting your courses (claim at the time of registration)
- All sales happen via Stripe.
- All creator payouts will happen via Stripe too.

Interactive learning is the future. I'm looking forward to all those developers out there share their knowledge with others and make money building one of the best courses online. Happy to hear any feedback you have!
Yet the TV industry is still far from done with shady advertising. Very Related: YouTubers have to declare ads. Why doesn't anyone else? [0]

On another note, that is like the shortest news article ever! It's literally just 102 words!

[0] https://youtu.be/L-x8DYTOv7w
At the risk of going off-topic, I would remark that prestige is kind of meaningless and doesn't even fetch $1.99/lb on ebay. If you are asking this question because you are looking for a job, I would recommend following the gradient of your bank account and ignoring prestige. If the gradient of your bank account points to Google, good for you.
See https://news.ycombinator.com/item?id=28475405.
"Zero trust security model":
https://en.wikipedia.org/wiki/Zero_trust_security_model
It isn't exactly easy to leave your country, family, friends, and entire life behind. The UK did make it easier for HKers to get visas and relocation, but I think efforts like this only go so far in practice. Not enough people want to leave until it is too late. Because, and it is hard to blame them, they hope that their home will end up being saved by the many people fighting to preserve it. Leaving, in a way, is giving up.

We should also note that with the growth of Shenzhen and other mega cities, HK isn't that important to China anymore. That's part of why they've become more aggressive in the situation.
I don't think you understand the point of the constraints ZFS has put in place here. They're not there for transactional isolation per se. They're there because these ZFS maintenance operations run as synchronous system calls that take per-filesystem global mutex locks. Blocking within one, with those locks acquired, and thunking back down to userspace, would mean that 1. a CPU core, and 2. the filesystem itself, would both be tied up indefinitely until that callback thunk returns. If it ever does!

Picture a database server where once you begin a transaction, the whole DB server goes single-threaded and doesn't serve any other clients until the TX completes. Fundamentally, at least for its more arcane global operations, that's exactly what a filesystem is. Usually this doesn't matter, because even these arcane filesystem operations take on the order of microseconds to complete (just with lots of non-locked pre/post execution overhead that inflates the total syscall time.) But a userspace program can do arbitrary-much stuff in a callback. It can even just get into an infinite loop, and never get back to the kernel. This is why there isn't such a thing as a system call with userspace callbacks! (Or any API equivalent to one—e.g. one with tx_begin + tx_commit calls, where tx_begin acquires a global kernel lock before returning to userspace, under the expectation that userspace call tx_commit to release the kernel lock.)

On the other hand, submitting a "callback program" as a whole to the kernel, allows the kernel to statically analyze the behavior of the "callback program" in advance; and only if it is determined to be "simple" (e.g. if it predictably halts after a short time as a static property), will the kernel issue the program a capability for actually running that "callback program."

This is how compute shaders work. This is how eBPF works. And this is (apparently) how this ZFS Lua thing works. They all do it for similar reasons: to ensure that the program is a complete, soft-realtime practical unit of work to be executing in some bounded-time context.

You do get atomicity from this, but it's not MVCC atomicity. It's more like Redis's atomicity: during the execution of a ZFS Lua program, all other clients making system calls against the filesystem will wait on acquiring the filesystem mutex, and so will block until the program completes. There's never a case where other activity might "interleave" with the Lua program's execution, and cause it to retry. There is no other activity. The only case in which the Lua program can actually fail (and so get rolled back), is if it dies/is killed in the middle of execution, due to e.g. a hardware power cut. That's the kind of atomicity that ZFS is concerned about—guaranteeing that changes that make it into the filesystem journal, are complete valid change units. In this case, one Lua program is one change unit in the journal.
It doesn't force anyone to agree with any changes.

It says "the recipient can use this under GPL v2 or any later version as published by the FSF", which means if they recipient is happy with the rights they got under GPL v2 they can keep using it under that version for as long as they like.

The only person agreeing to future license changes is the publisher of the code, and they're the ones that chose to publish it under "GPLv2+" or whatever.
The tagline "objective, nonpartisan and insightful" on 'World Affairs' really brings it home.

The Chinese government obviously has its own propaganda, but being anti-China is objective and nonpartisan in the US. It's not taking sides, it's just the natural state of affairs, the entire media thinks so, both kinds of it.
Mozilla wants the W3C to reject any proposals that rely on Bitcoin because of the energy use: https://lists.w3.org/Archives/Public/public-new-work/2021Sep...
I bet loads of people said the same thing when Britain and France gave the Sudetenland to Germany. That didn't work out very well for them, and it was only because Germany and Russia fell out and fought each other that Britain won that war; if not for that it's entirely possible that democracy would not have survived at the world would be a very different place today.
Interesting that both Periscope and Meerkat eventually got bought out and shut down. It seems like live content may not be as sought after, but I would say we're seeing a 2.0 attempt of both apps with Clubhouse.
Western countries probably wouldn't land any ground forces but instead form a naval blockade all along the china sea and use their air superiority to deindustrialize the country.
A lot of content contains or is funded by a product placement but is otherwise not advertising.

For example, a guy is teaching me to fix a generic, unbranded toilet issue but stops to mention a particular widget or toolbelt he is being paid to use.

Next video he is teaching me to fix a sump pump and there again he mentions his sponsored plumbing gear.

This is fine by me. I learn how to fix things and some plumbing widget company pays the bill.