skysight-inc/HackerNews huggingface dataset:
For those - like me - who don't know what ACL2 is:

https://en.wikipedia.org/wiki/ACL2

It is a environment for formal logic and theorem proving.
Restaurants and bars are open because people really want them to be, not because the CDC recommends it. The CDC offers some suggestions on how to manage the risks of opening restaurants, but there's nothing to change there because they've never revoked their early 2020 guidance that it's a big risk.
OT: What does io_uring stand for? I get the io part, but what is uring? Is that an abbreviation for something?
Saving and Losing an Empire
> The same bad takes keep happening every time an Anglosphere journalist sees the Gendarmerie on a French street.

I'm not familiar with the "bad takes" happening in the Anglosphere, but it should be noted that the French Gendarmerie is not exactly the same thing as "the military".

Until recently they were, technically, military, as in they were attached to the Defense Ministry. This has changed a few years ago, and are now attached to the Interior (Home) Ministry, like the "regular" Police. But this isn't what I'm arguing.

Even before the change, the Gendarmerie was intended to police the citizens, even though they would sometime take part in external operations. They are basically "the police outside of cities". This is in contrast to the "regular military" whose goal is to operate outside of France.

What is unusual is the "Operation Sentinelle", where actual soldiers are patrolling the streets of French cities in an effort to fight terrorism.

But note that pretty much every action by the actual military inside of France is seen as exceptional, and there really aren't that many.

For example, during the height of the Covid crisis last year, when hospitals were overflowing with the sick, the military transported some people from one hospital to another. This was considered fairly out of the ordinary, much more so than the national rail company preparing special TGVs (high-speed trains) for the same.
They're being used to supplement the police force during a state of emergency. It's absolutely an appropriate use of the ADF.
Reddit says to only downvote if a comment does not contribute to the discussion, not if you disagree.

So downvoting is an implicit choice of only "good" reasons.

Putting a drop-down list with "good" reasons is as good as displaying a pop-up: "Are you sure you are downvoting for <good reasons>?" - which will be promptly ignored.

Users will just be frustrated for a bit until they train themselves to pick the category that maximizes the effect of their downvote.

The only thing you can do with categories is display the distribution / most prevailing category alongside the score (like Slashdot has been doing for decades).

In all of this, you seem to want to control why people downvote.

Instead, examine why people downvote. Because categories won't change that.

It would be like the emoji committee not including an emoji for penis. That worked well, didn't it?

Unless you add categories like "I think the author of this comment is a moron and I hate them", people will shoehorn your categories for this use case.

And if you do that, I'm not convinced the result will be necessarily positive.
There’s a fair bit of context absent from this article. The military aren’t being deployed to enforce a lockdown so much as they’re providing some extra manpower to augment the local police force. NSW Police have part of their workforce isolating due to exposure to infected people, coupled with extra patrol requirements, and they need some more bodies.

The military personnel will be unarmed and will be accompanied by police. The army doesn’t actually have any powers in this scenario, so it’s up to the police to actually issue fines, make arrests, move people on, etc.
In Germany we have car owner clubs which provide all these services and more. I am a member of ADAC for example. It's cheap and the service level is amazing. Have you considered this model?
I'm not sure why you would want them to map 1-1? Might as well just write inline styles surely?

For autocomplete, have you seen https://tailwindcss.com/docs/editor-support ?

I use it in PHPStorm and VSCode and I get class name autocompletion just fine.
Wow. Why not?!?!

...Hmm, probably undocumented API stuff :/
Clean room reimplementation is a way to prevent court cases, it's not a legal requirement.

If a company copies a competitors product then the chance of getting sued is very high. If they can show that, in fact, there was zero copying at all, then they can get the case dismissed and save great legal expense.
I also used those things! I used Anki and Quizlet (which isn't open source but you can import your own word lists so it doesn't feel too "sticky"). Duolingo was still key, though - it felt less like work, because it was nicely gamified. (I give all this praise with a twinge of dread now, because I'm sure that with the IPO, Duolingo will be twisted in the way that all publicly-traded companies are).
Many of my friends and I are in our 30s and got the AZ. Might have to doctor shop a bit, some still seem to be operating on older recommendations.

Also, I went to move my second dose to 4 weeks as recommended by the ATAGI(Australian Technical Advisory Group on Immunisation), but the doctors said the recommendation they got was 6 weeks minimum.
> Strong arming people into being vaccinated is the stick with which to try to limit these reservoirs.

I suppose then that after every single person in more developed countries is vaccinated, we should start readying the troops for invasion into the less developed countries that, inevitably, will not be fully vaccinated? Otherwise, pockets > variants > travel > reinfection.

Or is too inhumane to invade a country to force them to vaccinate fully? Maybe we should just isolate them economically and close borders with them until they do it themselves.

How far should we go?

I understood your personal thresholds, and thank you for sharing. For me only the government should make and enforce a decision on public health at scale, not any employer, that's my threshold.

I have seen other thresholds being crossed in the last 2 years, but now mine has been crossed, and I don't see this slowing down. What's the next threshold to be crossed?
You must indeed be getting very old. The purpose of the library is not to implement its own landing page.
I love email, ya it takes some control and if your organization is out of control it can suck. But I love the entire concept.

I can email anyone in the world, that is mind blowing. I've gotten amazing responses from authors whose books I love, people I admire, old friends I lost contact with and found, etc...
> "This feature would take 1 day if we had database layer, but because of technical debt we own, it will take 4 days instead". In this case "3 days" is the "interest payment"

Nit: Not the entire 3 days is interest in this analogy because you are also paying down principal.

For example: "Implementing the database layer properly would have taken 5 days; because we took shortcuts (for business reasons) it only took us 3 days. Now we have to implement feature X, and because of our previous shortcut feature X will take 4 days, so 3 + 4 days in total. But if we had implemented the database layer properly in the first place the new feature would have only taken 1 day, so 5 + 1 days in total."

Then in the three-day payment, two are towards principal (that's how much you "borrowed" previously), and one is towards interest.
Beta Testers
Hi all,
We are launching the beta version of a robotics community website on 1st August 2021. If you feel you can help us with your feedback & suggestions, we would love to hear from you through this form. We will stay in touch for further detail. Form: https://bit.ly/betatrt
Thanks.
I recently used Tailwind UI to build https://zcashblockexplorer.com

Tailwind UI is great! ( please note that I a primarily a backend dev with limited knowledge of CSS )

Looking forward to explore DaisyUI soon !
NSW basically did a fake lockdown and took their sweet time in even getting to that point. Other states like Victoria and South Australia have locked down quick, hard, and within two weeks effectively eliminated community transmission.
>>... play banjo or accordion

Being able to noodle on a guitar while stepping away from a problem is a super power for me. If you work from home, get an instrument you can distract yourself with. The music or drills can break you out of ruts, and if you do it half seriously, you can develop real skill.

The oh so serious kabuki show we all play out in offices, especially open plans, wastes a lot of mental energy on "professionalism" and decor. People get away with being good at that type of theater, instead of being competent problem solvers, or try to turn those things into leverage for internal politics and career maneuvering.

If people are doing knowledge work, then the privacy of their home gets rid of all the unnecessary play acting. Maybe the pandemic will demonstrate once and for all that an employee with a good work ethic can be lots more effective from home than at the office. And if we encourage music and creativity and development of other relaxation and focusing skills in service of optimizing mental acuity, that leads to a better world.
Tax tax tax. Everyone should be able to buy a property but its not fair if you sell for a profit and pay no Canadian tax as non-residents do.

Property taxes should also be extra high for non-residents.
I'm confused, so you admitted that a wasp enters but there's still no biomass? Does the wasp just go out again?
TBF it depends on the workload and architecture (likewise, say, Go v JVM GC).

If you can split your workload in tons of actors the beam GC works great. If you need very large synchronous actors (even just a few) then it’s excruciating, so is splitting a simple single-threaded sequential workload into a concurrent mess just so the GC does not eat itself.

Of course you probably should not be using erlang/elixir then. But let’s not pretend the beam gc doesn’t have issues and pitfalls.
I also had a to pick a rich text editor to build a "better Confluence" [1]. Initially started with Quill, but Quill is really limited and for example can't support rich text inside tables, only simple text.

So after some research I picked prosemirror which is used by Confluence but prosemirror is the harder to learn and the most flexible, there was also Slate which is used by Slite but it was not as flexible as prosemirror and less robust . Notion and Google docs are using their own custom editor BTW.

If you are looking for a rich text editor, there are surprisingly a lot of ressources. Either search for "rich text editor", "slate vs prosemirror" in Google, or my preferred way to get quality information. Search "prosemirror" in the HN search and read the threads [2]

The big complain I have with prosemirror is the fact that there is no official repository of Plug-ins instead everyone is rebuilding everything

[1] https://dokkument.com/

[2] https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...
NZ has no capital gains tax, low property taxes and negligible stock market. Its a great way to make money and really the only way to make money.
This paper, from the article's citations is quite nice:

https://sci-hub.se/https://doi.org/10.1007/s00283-015-9572-7
As a Melbourne resident I really want a citation for this. Maybe the whole thing has been a nightmare and I will wake up shortly, who knows?
The bug was the volume ingested when the cat cleaned it's self, was incorrectly calculated to be a whole standard drink.
Mitchell and Webb on working from home (2min sketch) https://www.youtube.com/watch?v=IW3lhfVpLL4
> I've just gotten really fast at swapping windows on my 15" laptop;

How's your spine? my neck can't handle laptops any more.
Australian Ransomware Bill proposes mandatory reporting for ransomware payments
>You'd be the employee we're trying to get rid of. If you're lying about participation in things, saying you attended meetings when you didn't, I'd fire you.

You have it backwards. If this was happening in my team I would look at why there is a misalignment between company expectations and employee behaviour. If an employee needs to create a script to pretend to do something then there is most likely a deep cultural issue coming top down from management. It highlights an opportunity to refine and improve work practices and culture. The fact that an employee would lie is already a huge red flag that there is something wrong with the culture. Sure 5% of the time the employee is actually not fulfilling their duties but you will know this without the call logs because you would miss them on the call.
I say this to make a point, not to be rude: I am bored by your enumeration of ways to play games that offer "better value" than the Playdate. You are describing platforms that are already open to me, and games that I have already played.

If the Playdate can deliver to me something novel and genuinely fun and engaging, that's the value. Will it? That remains to be seen, but it's what Panic is selling.
Not all aspects of the work we do has to be in front of a computer screen. Sometimes when I need to think really hard about a problem, I lay down, close my eyes and visualise. It doesn't even have to be on the bed, sometimes I'll lay on the floor in the middle of the living room. Can't do that in the office.
It sounds right if you open it in google translate: https://translate.google.com/?sl=en&tl=es&text=rooster&op=tr...

(The original link ends up trying to translate the actual English word "rooster" from Spanish to Danish when I open it. Thanks Google.)
Mathematica's rearrangement is really the same thing (except that usually you don't see the intermediate steps or what inference rules justify them). I think the particular example you mention isn't far away from being available through whatever natural language thing they have. There are lots of existing theorems about e.g. increasing sequences that rely on showing a particular quantity is positive. You can pretty much do that right now, by say, using the ratio test, or some other De Morgan-type test, and then asking your CAS to express it as as a perfect square, or symbolically find its global minimum and asymptotes. Right now I think your best bet is still to employ a student intern though.
Fun fact, Intel did this exact thing once before, in 1981, with the iAPX 432: https://en.wikipedia.org/wiki/Intel_iAPX_432

They had made the 8008 and 8080, but those were awkward and ungainly chips meant to power calculators, of all things. iAPX 432 was a clean sheet 32 bit design designed for high level languages and real computers, kind of like mini Lisp machines, complete with native machine support for garbage collection. But it was taking a while to get out the door, and performance wasn't so great, so they hacked together a quick upgrade to the 8080... the 8088, which was used in the original IBM PC.

History takes over from there.
It is not about Elixir
Ask HN: Why is YouTube adding “&pp=sAQA” to video URLs?
YouTube started adding a new parameter "pp=sAQA" to video URLs on most index style pages (e.g. /feed/subscriptions, search results, the /videos page on any channel). The actual video pages (/watch) strip the pp= parameter, and it doesn't appear to be added to the URLs for the "recommended" videos.

Does anybody know what this parameter does and/or why it was added? It's really annoying; using YouTube URLs in the shell now requires quoting due to the "&".
What does the word "emergent" mean in this context, e.g. "one emergent Samoan fig literally saved the trees"?
I use Brave (chromium with ad blockers) and DuckDuckGo/Brave Search. Rarely use google for searching any more. Rarely see ads anymore.
"please note that the population in Sydney is tiny"

The population of Sydney is 5367206 according to the Australian Bureau of Statistics.

Smaller than most major cities, but not all that tiny....
https://dekomilch.de/burodesign-2/bester-monitorstaender-hoe...
They did all sorts of other work too. For one example, their futex() equivalent was a program called a wake predicate that could read from that process's address space to decide if that thread should transition back to runnable.

And deciding who owns a network packet is literally how "extended Berkley Packet Filter" go it's start as well.
So I don't understand. People are complaining about bootstrap for defaults. Then daisyui has great defaults, and the same class names. I see no reason to customize daisy.
I feel SSO should also be table stakes. Why even bother implementing your own account management if you can just use Keycloak or something even simpler to do it for you. This way your users can easily connect your app to whatever identity provider they are using.
Indeed, saying cloth or even surgical masks are effective is like using a wired fence to keep rodents out of your backyard.
Follow-up: FWIW, now that I've seen a few of his videos, he doesn't seem all that mean to me. Could be that I watched the "wrong" ones: I saw two or three of the "Why do people laugh at creationists" series, but they were very old, some 12-13 years IIRC. Maybe he's gotten meaner since? But then I also watched a couple other ones -- also not totally new, but some two, three years old I think -- and they weren't particularly "toxic" in tone either, IMO.

Either I just happened to randomly miss his most typical toxic videos, or I have a very different -- higher -- threshold for what I consider toxic than you do.
> Who's going to write the fine-detail code if they whole day is a meeting?

Reminds me of the time I worked at an early stage startup. I used to take official vacation time, and disappear from company collaboration tools to get real work done.
I always assumed it's the verb uring[1], but that might well be wrong.

[1]: https://en.wiktionary.org/wiki/uring
I get the feeling this has been incorrectly marketed, purposefully or not.
At least for me, this feels like the natural evolution of Pico8 and other fantasy consoles. For that reason, the retroid isn't really comparable, and for that reason the price is worth it to me, even if it is very pricey.
Why do we ever need to do write tests if the code works?

Why do we create encapsulated build setups if everyone from the team knows how it install it on their machines anyway?

Why do we waste time on writing documentation?

And above all: if during a three-day hackathon we can create a game, why does it take months or years to create a publishable one?
People let their (understandable) hatred of Intel-the-company colour their technical judgement. Itanium was one of the more interesting architectures of its time, it fairly flew on expert-tuned assembly; I still believe we'll see a return to its ideas once the computing world finally moves on from C.

(Netburst is also unfairly maligned if you ask me; contrary to the article, enthusiasts have clocked those P4s up to 12GHz. As far as I know they're still, over a decade later, the fastest CPU for single-threaded sequential integer workloads that has ever been made; certainly the fastest x86-compatible processor for such. They're kind of the equal and opposite failure to the Itanium, ironically enough)
Few data mesh proponents ”force” a particular storage medium - and the concept is largely agnostic regarding to this. But lots of early implementations in the wild have decided to standardize on it - either on some cloud object storage or, indeed, a cloud DW.

One cannot argue how much it simplifies things in terms of manageability, access, cataloguing, performance… in an already complex architecture. Especially since no reference implementations exist.

I understand that if your persistence layer is heterogeneous from the get go, layering on top of it might be a solution. But it is also an additional layer that needs to be managed.

Conversely, in your opinion, what would be the shortcomings on centralizing on a modern, cloud-native data warehouse (tech, not the practice)? I see this being articulated less often.
It’s a ring buffer. Not sure what the u is. Micro?
What features of Slate put it closest to Notion's editor compared to other frameworks besides the obvious one that Slate's view layer is built on top of React?

Is it somehow that Slate is more suitable handling asynchronous data (e.g. server generated uuids for each block, recursively fetching content for each block and its children)?
As the morloc developer, I can tell you OOP support is in the pipeline (and there is some support now).

A proper reply to this comment would fill a very long blog post, and I'm currently on vacation, so I'll have to get back to you later.
India`s Biggest Hi Tech Organic Dairy Farm in BK Gujarat https://www.mukhidairyfarm.com
You are correct the parent is not referring to deflation - just slowing inflation. However Bitcoin is strongly strongly deflationary because any random walk down the timeline leads to 100% of coins lost. Due to human error, act of God and chance. In its first 12 years, give or take 20% of all Bitcoins were lost in spite of, what, 80% of all coins being generated. Thats an annualized deflation rate of 2%.
As a believer in tech debt the centrepiece of my disagreements with non believers does go to the nature of debt and interest: they don't believe you accrue any extra burden delaying work to the end. I do: the accumulation of technical delay, imposes additional costs which would not have existed had you amortised the update across time. Complexity, tooling, shifts in underlying dependencies all become worse the more generations against "current" you have to transit.

It rarely costs less to delay tech work. It often costs more. The "moral force" of the debt analogy is strong.
Medical hotels? They’re prisons, not hotels. Truly sick people go to hospitals, for treatment. Out of choice. If they need more hospitals then build them. Raid wealth of the the mining lords.

I cannot stomach the acceptance of hauling allegedly infectious people away to imprison them (and subject healthy people to the virus). It’s sickening to read.
Not even sad. What I am sad about is that it took Alpha and PA-RISC with it.
>As far as I can tell there is no reasonable justification for an individual not to get vaccinated

How about, I don't trust the vaccine research?

You can expect rational people to trust science (which is essentially trusting nature to behave in a regular manner), but you cannot expect people to trust "scientists" just on the basis of rationality, simply because they are human, and is coerciable as the next guy..
Question. I'm building a .NET CMS, and want "on page editing". This entails having a string property mapping to, lets say, a headline.

So while editing on page, I want to click the rendered heading and be able to select text and start editing it - without necessarily being able to influence the HTML in any way. Just the text, no styling.

tldr of above: dont allow ctrl+b or pasting of styled content (and probably prohibit enter presses or pasting newlines), only plain text.

Also, if the heading is an inline element inside the h1 element, and its bunking together with other stuff (icons or whatnot), editing of the headline span only should still work.

tldr - edit an elements text inline, in fact the element may be display:inline itself

I had immense difficulty getting this to work with Quill - it wasn't customizable enough. Would Slate work?
I was just wondering. It's hard to understand markets, IMHO, and I have no feeling how a potential balance between cost of money, supply and demand should look like in a sector like housing. Do you have any references or literature that would give me a better understanding?

Originally, I also thought that proper restriction of foreign investment might be a good solution. I agree with you that it must be domestic actors that are to drive prices upwards.

On a social level, this is going to generate a lot of problems, as it locks out people w/o access to credit to take part in the market. It is crazy what happens in cities like Berlin in regard to gentrification. But even other cities that do not have a hype status are affected by this.