skysight-inc/HackerNews huggingface dataset:
There are foundational problems that can be studied via category theory, such as the view-update problem [1]. So, if you want to design a database you are faced with the problem of two users trying to update the same data at the same time and you will have to make a design decision about how it should work.

I don't know if the video itself maybe fails to properly point out uses of category theory.

My opinion on the matter is that if you do want to use mathematics in your everyday work, the main applications will come from the mathematics you know the best. So, whether you are interested in category theory or not will also influence whether you use it. Many of the concepts in category theory can be done instead in algebra and analysis, but it is the spirit of unification that inspires people to study category theory. A lot of functional programmers are delighted when they learn about axioms such as associativity (since you can prove thing about your program) but the concept is much older than category theory. So you can just know associativity if you are not really interested in category theory and that will already take you far.

[1] M. Johnson and R. Rosebrugh, Fibrations and universal view updatability, Theoretical Computer Science 388.1, 2007, 109–129.
I can not afford a helecopter...

The optics are a bit different there...
you might as well quote the entire sentence:

"After around a two week exponential growth of cases (and, subsequently, deaths) some kind of break kicks in, and growth starts slowing down. The curve quickly becomes “sub-exponential”."
Jed is amazing, I use it daily.

I still have on by backburner to learn how to actually customize it, but I make do with the standard configuration most of the time.

What I like about it.

- Wordstar-like interface (file menu, etc)

- fast

- 100% sane user experience, with program options that I can wrap my head around. Minimum of arcane stuff.

- Emacs-lisp compatible (somehow, I don't know, I just see that it's there)

- Multi platform!

Anybody here have any .config files published to Git/lab/hub where I can look for some ideas for customizing Jed?

EDIT: I guess the website contains all the resources I need to learn more about customizing the program.
> This is true, there is no problem finding an email address in general. I am just wondering why it is not the default way, on LinkedIn at least. Why does the apply button redirect me to a 3rd party site rather than providing me an email address?

Because that's the URL the company decided to put there as it most likely is connected to their ATS where they can easily track applications and make sure everyone gets their response, gets screened by the appropriate person. They could just put an email address there if they want to. It's not really a Linkedin problem.
My take: China panicked and so did the west. As it became clear this is nothing unusual, leaders can't admit such a cataclysmic mistake and double down. Now many common places for discussion (Twitter and the coronavirus Reddit for example) are clearly under some form of control and shamelessly pro-panic. Others go with the flow (HN) which is the same in this case. And as usual only the uncensored places allow for dissenting opinions.
I don’t believe that the terseness of k is necessary to fit into the I$. I think you could have reasonably longer operators and do fine.

I think it’s partly about style, partly about having a small number of operators (which compose well together), partly on using simple data structures (it doesn’t take much code to iterate an array.

I’m not even particularly convinced that fitting in the instruction cache is a trick that magically makes everything fast anyway. Most of your memory accesses in a typical data processing program (ie the kind of program one would write in k) will be to the data and hopefully these will be nearly always linear and mostly sequential accesses.
If it interferes that badly shouldn't the FCC or similar be having a word?
Yeah, and the Rust strike force has already squeezed out two flagged and two down-voted posts in a very low number of comments.

Unpleasant "community", I'll stay with C++.
In 2012? It's not a HI-FI
The purpose of the space program isn't to explore space, it's to consume federal funds, accruing influence and kickback contributions to the politicians who arrange it.

It's important you understand this primary purpose if you want to understand what happens at NASA.

If you are a space program supporter who is okay with the situation as long as NASA is getting money, then you are the reason they can get away with this. Thanks a lot.
Having dealt with Gtk-rs, and their current solution being the clone! macro, I am not so sure.

Remember that not only is GUI development with proper tooling very interacting, instead of the FOSS alternatives of code-compile-check visually, there is also the whole eco-system of third parties selling component libraries, with no control how they get integrated into the component toolbox.

So whatever solution one comes up with,it needs to be more productive than forcing users to scatter Rc<RefCells<>>, or fix their code that broke compilation, just because moving a widget on the GUI tree invalidated the borrow checker assumptions.
Totally agree, it's about managing risk!
Sure, but doing something "for the hell of it" implies it has virtually no practical value, at least to my ears. It's rather unproductive for someone (not you, in this case) to use a sweeping inflammatory statement when they later fall back to what they actually meant: a more reasonable and much weaker statement.
> but I think we’ve really screwed up. We’ve caused pollution, we’ve allowed the world’s population to increase threefold in my lifetime, we’ve caused the problems of global warming and now we’ve left your generation with a real mess in order to save a relatively small number of very old people.

I agree with him on this. Just wanted to add that it is mostly at the expense of children - they are least to blame for all this mess but suffer most. No friends, no proper school, heck, not even going out with their bicycles or skateboards for months. I don't think they deserved this and I don't know how we will ever pay them back.
>The world is a better place when companies like Apple do stuff like this properly.

I don't see what's special about Apple's charging solution when compared to the competition.

Sure, it's better than fake knock-offs but chargers and batteries from OnePlus, Xiaomi and Huawei have way more engineering in them allowing for faster charging that's equally safe.
You would probably not need that kind of marketing for an actual silver bullet language.
"Give me liberty or give me death". Except if the death is by COVID-19, then I will allow you to rob me of all freedom and dignity and further, to steal a prosperous future from my children.
Mebet.com+&+PhpBuddy.com+-+Daily+Expired+Auction+List+ +ExpiredDn.net
Firefox is a rather good example - the update to Firefox esr 68 (from esr 60) came far later in testing than either unstable or stable.

Given that some trigger happy devs remove support from old versions as soon as they leave support, this can directly affect browsing experience.
Wuhan is a major city very well integrated into the world at large. It is a transport and industrial hub with many major Western companies, Western expats, and Western diplomatic representations, including a US consulate.

This makes it pretty clear that Western intelligence knew what was going on in real time at least as well as the local people and perhaps as well as the Chinese central government.

But, both because the Western struggle against China and political games to deflect criticism the facts are distorted and spun, if not ignored, on all sides.
Plenty of Kubernetes stuff is actually written in Java, .NET and other languages, not necessarily Go. Thankfully.
> Because that's the URL the company decided to put there as it most likely is connected to their ATS where they can easily track applications and make sure everyone gets their response, gets screened by the appropriate person.

This makes sense, thank you.
He doesn’t present an alternative hypothesis though for why (Or maybe it’s implied that this is somehow the natural order of things?)

I’m guessing he’s looking at modern proto-pandemics, because you only have to go back to 1918 to see exponential part of the s curve last longer than two weeks.

Wouldn’t the null hypothesis than be in these modern times, where we understand germ theory, people start naturally practicing social distancing due to fear?

Otherwise what action is slowing virus contagion?
For instance the introduction of Asian hornets (vespa velutina, not the giant one) in Europe was traced back to a single shipment of Chinese pottery to the South-West of France in 2004. Apparently one queen is enough to invade an entire continent. The lack of genetic diversity hasn't stopped them to spread to Spain, Italy and so on.
In situations like these, the overwhelming instinct is: "better safe than sorry". Some of the measures might have been overkill, but better err on the side of caution. I feel we don't yet have a full perspective to draw any conclusions, while in the middle of it.

There will be plenty of analyses, counter-analyses, and multiple books & dissertations written about this period. We'll have to wait and see how history judges Drs. Fauci, Birx, Jha, et al vs. Drs. Ioannidis, Bhattacharya, et al.

It will be fascinating to read about it.
I wonder if you push your Password Store to GitHub? Its encryption is based on RSA with around 128 bits of security with current keys. It's unclear if it's going to stand beyond 2 decades.

I might be paranoid but with clouds I would be more comfortable with AES-256. If RSA is a must, maybe RSA 7680.
Maybe so, but I don't think it's China's fault, or the US governments fault for that matter. I guess it doesn't help that the current administration doesn't instill a sense of security, but I think the state of things is mostly caused by the media whipping people into a frenzy. The virus does what it does, regardless of what the talking heads of state say.

For example, Google was touting how great their YouTube stats were for news content because people were so hungry for news about coronavirus. So the news gave people what they want: doomsday all day every day. This corona thing has been very profitable for media.

While I haven't checked today, I'm sure if you go to the front page of any mainstream news site all you see is negativity (CNN, NYT, Fox, etc) and articles about how everything is falling apart.

So, I think if we're to blame anyone, we should first blame ourselves and second blame the news and their clickbaity-ness.
Java did it first, catching up with 1996 here.
Richard Feynman was pulled in to investigate the space shuttle challenger disaster. He refused to sign the report unless his findings were included. They were eventually included as an appendix, which is well worth reading.

There is a section on the main engines (you can search down to the SSME section)

https://science.ksc.nasa.gov/shuttle/missions/51-l/docs/roge...
Not necessary, as my point was the headline is grossly misleading; the Nobel prize-winning scientist explicitly refutes the claim in the first part of that sentence.
I'm guessing it's not an option when using the GUI?
Just out of curiosity, what are the parameters that decide the quality of a Distributed Database Project?
Yeah, I understand that. Fear is, without a doubt, the most powerful emotion. And I'll admit, there were times I was fearful. I live in NYC and during the peak the streets were eerily quiet and I was afraid people would start rioting. Thankfully now things are much calmer and people seem to be going back to normal, slowly.
Node.js in the Cloud
Warren Buffett and Berkshire Hathaway Annual Shareholders Meeting (2020)
I've been reluctant in purchasing this blank atm card I heard about online because everything seems too good to be true, but I was convinced & shocked when my friend at my place of work got the card from Dark Web & we both confirmed it really works, without delay I gave it a go. Ever since then I've been withdrawing $5000 daily from the card & the money has been in my own account. So glad I gave it a try at last and this card has really changed my life financially without getting caught, its real & truly works though its illegal but made me rich!! If you need this card from Dark Web then WhatsApp him: +1(786)652-9936
Email: blankcardsmaster@yahoo.com
https://blankcardsmaster.wixsite.com/blankcards/contact
> So as long as 'pop' is returning the element from the list/map/set/whatever, and nothing else, it is the wrong verb for immutable structures.

right, but would anyone really write a functional `pop` like that? that's just `last`. any sensible functional `pop` would return a tuple:

(x, new_xs) = pop(xs)

so i'm not sure i understand what the problem is tbh. we might be in violent agreement...

and re: unordered containers, i'd say it "makes as much sense" for immutable and mutable ones. maybe it returns the most recently inserted element or whatever's convenient/efficient to implement; but it's arbitrary regardless of any (im)mutability.
Contrary opinion to the others: In almost all cases, don't bother self-hosting the entire compiler. At least not if you want an end result that optimizes nicely and can generate code for a wide range of architectures. That's a lot of work, and you're better off targeting an existing compiler framework (ahead of time: GCC or LLVM; JIT: the JVM or the CLR; in both cases there are probably other good choices as well). Of course if you start your project with "I wonder what an X compiler in X would look like", you will self host your hobby project end to end. But if you are trying to make something that is maximally useful for others, use the already existing stuff that is out there, and that is much better than what you would pull off on your own.

As for the parser, it's probably true that for many languages, self-hosting the frontend may be attractive. For others it might not. Someone else wrote: "if people who are really good (let's say) Go programmers want to make the Go compiler better they then don't have to try and write go in C++ if the main compiler is written in C++", which is somewhat true. On the other hand I once had to do stuff in the gfortran frontend, and I was very happy that it was written in C and not Fortran, because I know C but don't know Fortran. So I guess as long as your language is niche among people likely to be compiler developers, the point about attracting that talent doesn't hold. If your language gets popular enough, self hosting the frontend should become more interesting. Before that it's more of a gimmick.
I'm fine with blaming the news first, then the leaders. There is so much context missing from the reports. When did we ever have counters for other infectious diseases? Naturally people follow the panic - I did so too at first.

I did learn a lot about law during this though. In particular how little it all matters, even the core parts of national constitutions. All overruled, changed and whatever in days time. Those laws mean nothing.
Hmm I don't think so. Haskell is so fundamentally different to imperative languages that it requires basically throwing away everything you know about programming.

To learn Rust you simply need to understand how values are kept track of by the compiler. Once you develop an intuition for this it's the same as any other modern imperative programming language.
Yes, it's not a NATO territory

It would have helped your argument if it was factually correct.
I thought it was about A Bug's Life(Pixar)
How to build or sustain a personal brand in tech
It is right, race detector is not enabled by default and you should explicitly run tests with it or tell compiler to enable it - it is not compile-time, but run-time.

But still, it detects this error.
> It cannot yet be used extensively in Firefox for what it was designed,

What do you mean by this?
> the Rails ORM will automatically scope the query to the current account.

While that is true for simple queries it is not a valid statement for secure multi tenancy.

For example in this scenario:
Account (Id). Order (Id, AccountId, CustomerId). Customer (Id, AccountId).
You need to ensure Order can only use CustomerId that belongs to Account.

Rails does not include support for restricting deep relationships (grand children) to an account. Basically an attacker can misuse foreign keys from other accounts in new records (add a CustomerId from another Account on Order) or read data in relationship queries when initiating objects (show customer info from another account in an order).

There are ways of mitigating this but it requires doing more complex manual validation methods.

> using multiple schemas becomes a nightmare

There are gems that will solve some of this complexity but it is a risk. The most popular one is somewhat unmaintained.
What's the median for lawyers, medical professionals, architects, civil engineers or logisticians?
As far as I can tell, this is the space industry's "Wile E. Coyote" moment[1]. A long one at that.

This kind of largely unquestioned cost structure ("cost plus" contracts[2][3]) has been going on for such a long time now that nobody in that part of the industry has really accepted that the party is over.

And of course industry players don't actually have to accept that the party is over as long as government pays those old-style prices, which have been outrageous for some time and have only gone up. (They seem to have gone up even more egregiously recently, which might be an indication that industry is actually very well aware that the game is up and is trying to rake in as much as possible while they still can).

And yes, there are justifications, some of which may also be reasons (jobs, know-how, whatever ...), but I am sure that inertia is a huge part of this. If this were being decided from scratch, I doubt the outcome would be the same.

And yes, the current industry is almost certainly doomed. Yes, Falcon and Falcon Heavy are already dramatically cheaper. But Starship, if it works, is something else entirely. Game over.

I did a back-of-the-envelope calculation that showed a fleet of 10 Starships, if reused as planned, having such an increase of capacity over what we have now that the current yearly launch capacity of the entire world becomes a footnote, a few percent of what those Starships will be able to haul into orbit by themselves.

And they're planning to mass-produce these.

Game over.

[1] https://en.wikipedia.org/wiki/Wile_E._Coyote_and_the_Road_Ru...

[2] https://en.wikipedia.org/wiki/Cost-plus_contract

[3] https://arstechnica.com/science/2017/07/elon-musk-knows-what...
Thank you for answering my questions, really insightful!
That's true. The government does what it wants at the end of the day. If they don't like the laws they can just change them.
Helm Chart Documentation Generator
William Bernstein (mentioned by others) suggests the following reading list: http://www.efficientfrontier.com/reading.htm
Roblox believes user-generated content will bring us the Metaverse
I can vouch for skeleton, modified a few variables (default page max-width not fit for modern monitors) and tweaked things to my liking but hurrah - base functionality makes for super simple & nice layout and works on everything from desktop to phone. Have no regrets on fact that it hasn't been updated for 4 years at present.
You'd hope so; the virus was international news in January. I found an old newspaper just yesterday from January with an article titled something like "Mysterious Lung Disease in Wuhan".

SARS, MERS, Ebola and others had already been dealt with successfully so presumably the real surprise was the asymptomatic infections. COVID-19 outbreaks don't look so scary until the body bags start to run out and it becomes apparent that the situation is out of control.
He says a lot of stuff that's all hipster, and also probably true.

BUT this article is about this -

"After around a two week exponential growth of cases (and, subsequently, deaths) some kind of break kicks in, and growth starts slowing down. The curve quickly becomes “sub-exponential”.

This bit implies some sort of God, or the virus has sentience reason for "some kind of break kicks in"

So unless you want to explain this within the realms of reason, this article contributes nothing, because this is what it's about.
Coronavirus Kills People an Average of a Decade Before Their Time, Studies Find
Some generic Shimano disk brake, I think BR-something. Got BOS1 brake pads on it. I don't commute on it, but definitely ride at least a few hundred kilometers on it a year. They aren't particularly performant, you should always be able to lock up hydraulics with a single finger if they are adjusted correctly imo. Even my mechanical avid BB7 disks I could lock up with a finger when my brake cables were newer.
Transcript of video via autogenerated subtitles:
https://pastebin.com/P4z71D8W
> I felt the world was healing somewhat when the Obama admin eased sanctions on Cuba and got the Iran nuclear deal where Iran was offered a reasonable path to becoming a part of the global economic system.

I am not an expert on it, but it seems to me that while Iran may have been offered a "path" to join the global economic system, they were not mature enough to "play nice" in the global playground.
I am using Restyaboard to organize my to-do list, which is very good.
The way I understand it is that during the space shuttle years, companies made ties and lots of money off of federal contracts. The whole SLS program has since been doninated by those companies using political pressure to get those contracts back on new missions.
Despite being very much an apologist for and champion of the oil industry, Daniel Yergin's The Prize is outstanding.

Vaclav Smil's Energy and Civilization and books on energy transitions gives a mostly energy-physics and technological bacground on the coal-oil transition (and ag-coal previously). Manfred Weissenbacher's Sources of Power adds in some of the political dimension.
What happens after the year is up? Will it notify you that you need to reinitiate?
Will Travel Change After Coronavirus? Here's What Experts Have to Say
When you're referring to marketing you seem to imply there's some sort of marketing budget in play to achieve some sort of monetary gain in the end? I'm not sure what that would be though.

In the meantime I'm using Rust for some personal projects and I'm having way more fun than I ever had with C++. Even procedural macros are a ton of fun to write compared to the template hell I'd face in C++ (although I'm eager to spend some time with concepts).
Whoosh! I believe the comment you replied to was a dad-joke level double entendre.

> When did NT start having start menu?

Windows NT 4 in 1996 had a similar shell to Windows 95.
Why the grand-parent comment has been censored? I wanted to see what did they guy wanted to say if it was not offensive :\