skysight-inc/HackerNews huggingface dataset:
In general, Haskell does not do parametric polymorphism through monomorphization. In particular, higher-rank polymorphism becomes unusable if polymorphism is implemented through monomorphization. On the other hand, if I recall correctly, Rust only supports higher-rank polymorphism for lifetimes, which neither have nor need a runtime representation. This is why monomorphization is a viable implementation strategy for Rust generics.

(Aside: Type checkers essentially see recursive function definitions as applications of a fixed point operator to non-recursive functions. If your function has a rank-1 type but uses polymorphic recursion, the type checker sees it as the application of a rank-2 fixed point operator to a non-recursive function. This is why I see polymorphic recursion as “morally higher-rank polymorphism”, even when the type signatures in your code are ostensibly rank-1 ones. Polymorphic recursion is widely used in Haskell.)

However, IMO, you only need rank-1 polymorphism 95% of the time anyway, so optimizing for the common use case is a good strategy. By far, the main use case for generics is implementing efficient and reasonably reusable data structures and algorithms in a reasonably type-safe way. For this use case, monomorphization and aggressive inlining of small functions are evidently the right things to do. Other uses of generics (say, streaming I/O frameworks) strike me as a lot more questionable.
CRYPTOCURRENCY IS Not CONDUCIVE FOR TERRORISM, SAYS DEFENSE EXPERT TO CONGRESS
> there are better sources for those things online, at least if you know where to look and how to vet whether someone's an expert

What if someone did that for you, as a full-time professional job, and did it both online and offline? What if they actually spoke directly to the participants, from senators to the bus driver in the crash to the head of safety at the regulatory agency; and what if they interviewed leading experts and engineers; and read the court filings, etc. What if they made it their life's work to become expert in that kind of research?

That might be worth a few bucks a day. And it would be far more valuable than idle commentary from bloggers and commenters.
Reazon – miniKanren for Emacs
It makes me wonder then if there's scientific proof if people who live and work in dense urban metros like NYC are less lonely compared to those in suburban or rural areas i.e. most people are walking, taking public transit, almost constantly surrounded by people and crowds.
I miss the days when a form was just a form, and as a user I could decide its font size, I could zoom in on it, and I could scroll it as I wished.

I am blessed to work for a company where web standards, accessibility, and page load speed are considered more important than the whims of my millennial boss, or the marketing department.

That's not to say I don't have my share of "I want this to look like a web site that I would want to visit" and "Can you do this cool thing like TMZ?" moments. I remind them that we don't make web sites for them or me, but for our visitors.

If that doesn't work, I pull out the memos showing that the legal department is on my side, and somehow groks the whole web bloat problem.

Can't wait to finally deploy the new site and replace the old JS/SPA + library + framework + polyfill + jquery + ... + ... + ... site the last guy built.
> Ultimately my opinion is if you want Windows/Linux and not buy into the Mac ecosystem, it's better to just dual boot Win/Linux

This was my first impression, but after seeing this really streamlined option available, I thought I'd give it a go. Haven't tried to go too in-depth as of yet. If this route doesn't prove viable then I'll probably go the dual boot route.
> The Constitution isn’t a set of “values” against which judges must assess law. It’s a written set of directives and constraints. It’s a contract that defines the outer scope of democracy.

What would that imply for any jurisdiction that does not consider the US constitution to be ground truth?

Is it not possible to have a democracy that is at odds with the US consitution? Clearly, it is possible. Therefore the US constitution does not define the outer scope of democracy.
Eventually the Agave plant will bolt a stalk out of its center and go into full bloom. After that, it dies. It is a one shot plant. They also use agave for tequila.
I run my own mailserver and use DDG for all my searching.

And use GMail as an MUA and am the GSuite administrator for the school I support.

Using Google is a trade-off, and there are definitely services they provide where the trade-off is worth it for me. Your mileage appears to vary. First-party isolation definitely kicks the needle across towards Google only having data I'm happy for them to have.
It's (more or less) possible to objectively measure web page performance, though. If Google started measuring how long it takes for news sites to load, and removing any sites that took longer than a certain amount from the top stories section (and added a warning in the search console that your page was being hidden), they could force publishers to change their websites without creating a new standard.
I think you're describing a pull workflow... which more apps ought to be using, but does fill a different role than pushes.
thanks for the pointers! I'm way out of my element here and just thrown together something with the first software I found on internet.

about this:

> the leading edge of the foil should be rounded off

I agree, however, in the first round of simulations the leading and trailing edge where they themselves giving a lot of lift to the foil (especially the trailing tapering), so in my naivety I slabbed both edges to reduce those effects and see if the flow was deflected by the slab alone.

interestingly, even if the model itself is flawed and the simulation technicalities off for the intended purposes, having the slab slightly forward gave also interesting results, almost the same lift and a lot less drag

1) https://i.imgur.com/TudMHlX.png
2) https://i.imgur.com/GjiVL8s.png

so I came up with an idea for a foil that's still easy to craft out of foam or balsa and does use the different effects do redirect the flow more effectively

3) https://i.imgur.com/n9RUHs5.png

of course all of this is purely based of a low resolution simulation, still, it was fun. I've no chance to test them in practice tho.
So if you are doing the same work, maybe even better than a Professional Engineer, they are doing engineering work, and you are just... twiddling your thumbs?
Sure, that stuff you mentioned is useful.

And the obvious solution to reconcile these two arguments is to still have libraries but get rid of the books! Sacrilege, I know.
Doesn't anybody do shit on their laptop anymore or on their own server? Why does it have to be 10 thousand services, why the dependency on the network and other entities? How many of these will go bankrupt by the end of the year, how many will change their terms in an incompatible way with your company project or your personal one?
> if you have a long extension cord, say 25-100 feet long, do not ever coil it.

No, just coil it properly (I haven't checked, but the guys below probably refer to this) and you're not going to have a problem. Some people tend to this correctly by themselves without even noticing it.
Also where can I find the dir for this Linux subsystem? (still a Windows noob)
welcome to the wonderful world of denying library access to the disabled, just because you hate the idea of homeless people using it
What about just removing what you can't see from the DOM entirely, and load it in again when the dialog closes? Wouldn't be too hard with React or Vue. Just make it so either the page content or the modal is loaded.
I think the jargon you're looking for is "yak shaving" not bikeshedding (which is about arguing about minor changes).
> Newspapers slit their own throats back in 1994-5 or so when they decided to put their content up for free because they could sell ad space.

Newspapers had little choice, because they compete with lots of other free information and because payment mechanisms are too costly (in reader time and frustration).

> It was a bad idea then, and I don't think anyone's tried to fix it in the past 25 years.

In fact, in journalism in the last 25 years - maybe the last 50 or 100 years - I doubt anything has gotten more attention than than a solution to this problem.
Inside the Canadian cities where minorities are the majority
With every release Android makes it harder to have a service running in the background. With the introduction of doze there is no alternative to using FCM. FCM has a privileged service where it is able to wake up the device from doze. A custom push service will never be able to do this.

There might be hacks, but I'd rather take Googles approach than to work around on each and every release.
It is. But like I said, I'm really lazy, haha. It works out to a few hundred dollars per year for me, which I'm willing to pay.

There's also discounts for referrals which helps lower it.
why is China outpacing the western world by every meaningful metric

On what meaningful per capita metrics is China outpacing the Western world?
If bug count is proportional to LOC and LOC per day are constant across languages, then bugs per day might be the same. But you'd still expect features to be getting implemented at a higher rate, and you'd expect a lower bug count per feature. That's ultimately the metric that's most interesting from a business perspective.

IME, the bugs are also easier to deal with in the more expressive language. They tend to be things like faults in the business logic or gross edge cases that people are likely to catch in code review or QA. Whereas the bugs in languages like Java seem to typically be really annoying things like off-by-one errors, comparing Integers with ==, and goofy run-time type errors that sail past the compiler because of weak static type checking when generics are at play, and also past code review because people aren't expecting to have to review for type errors when they're using a static language.
My feeling is that it's only hard because the author tried to create a solution that fits his needs by piling more and more external code on top of each other.

I would expect that when you tinker a bit with plain CSS, you will find a simple solution.
Hi,

I couldn't find a Job link or an Email Id.

I’d like to express my interest in the Machine Learning and Backend Engineer role at Sure, Inc. I have done a lot of projects and many of them are there on my GitHub and Portfolio. Here is a link to my GitHub and Portfolio.

GitHub: https://github.com/addherbs

Portfolio: http://adipandey.com

Since the time I am in Computer Science Stream, I have been developing. Be it Algorithm, DB Structure, Websites, Android Application or Machine Learning projects. Hence, I would like to work as a Machine Learning Algorithmist and Backend Engineer at Sure, Inc. I have all the requirements that are there on the Job Description. I have also completed a lot of projects related to Backend in Python.

It if you could have a look at my Application it would be great. I can be reached at (313) 775-9172 and adi.pandeycs@gmail.com. Thank you for your time and I await a positive response.

Sincerely,
Aditya Pandey
There’s a reason for that in mathematics:

https://english.stackexchange.com/questions/16768/discover-o...
Churches encourage complacency (all of life is God's plan), many fought hard against abortion, contraception, and women's rights/equality, and the insular tribalism such places encourage has enabled a lot of truly ugly behavior to be covered up due to in-group loyalty (see the Catholic church's sex abuse scandal for an example). Ultimately secularization was a necessary step in the evolution of society, as it's difficult if not impossible to reconcile a techno-scientific post-industrial society with simplistic parochial ideologies.

Personally, I wish I could believe in religion. I want to live in a world with a heaven and a hell and a god looking out for us, where things are logical and just and evil-doers - eventually - always suffer. I think I'd probably be a lot happier believing in that pleasant lie than I am living with the truth. But such a thing just isn't in my wiring, and I imagine many modern people share that sentiment. Hence, I suspect, all the new age woo that's basically just re-packaging Jesus in a more digestible form.
Today's militia is the national guard (and state defense force). They certainly have military grade arms. That's linguistically consistent with the bill of rights.

Justice Scalia, one of the stronger voices on individual right to bear arms, wrote in D.C. vs Heller that the right was neither absolute nor unlimited, and therefore the government can regulate guns and their ownership. You're categorically stating as a matter of fact that citizens can own military grade arms, that this is what the bill of rights says. But that is not true. It's not the law of the land, nor is your opinion undisputed by legal scholars. You get to say it's an opinion that's out there, but when not even Scalia went that far, it's a fringe opinion.
> Some of Asimov's predictions about the future were... off.

I'd appreciate if you'd be more specific than that. I consider Asimov's predictions and insights reasonably good.

I don't have almost any interest in Musk, however, based on what I've read up to now.
Ivory Coast: cashew nut slump on low prices but farmers are hopeful
Although I don't know your full background, that you're on this site implies you have tech experience and so can spot reporting failures in tech. This makes me think you're just experiencing the Gell-Mann amnesia effect [0], and trust the reporting of other topics solely because you have less experience with those topics.

If you can expect reporting to be wrong on one topic, why do you trust them to be right on other topics?

[0] https://en.wikipedia.org/wiki/Gell-Mann_amnesia_effect
You are correct about the title. But the need for a pharmacy degree in a pill dispensary seems dubious. They literally take the RX and count the pills out.

Obviously, you can ask the pharmacist questions and get additional info, but that's not required for someone to hand me my vitamin D supplements.
Vivaldi source code[0] is released in .tar archives.

.tar archives are often referenced as tarballs[1].

[0]https://vivaldi.com/source/

[1]https://en.wikipedia.org/wiki/Tar_(computing)
Or just throw in a CSS rule that says 'Everything not in the modal is display: none'. You don't need React or Vue for that. Just a line of CSS.
Postman Collections do the same thing, and are more flexible. They support authentication tokens, and you can even write your own JS scripts if you need more advanced validations. You can use those in the desktop app [1], or there's a CLI, Newman[2].

(I used to work at Postman)

[1]: https://www.getpostman.com
[2]: https://github.com/postmanlabs/newman
I know it seems like one of those Lispers' idiosyncrasies--"discovered" instead of "invented".

I first heard it explained by Philip Wadler, and upon reflection it was one of those "enlightenment" moments that Lispers always go on about: Lambda calculus is a discovery, and should we ever encounter an alien space-faring species, we could read their programs in spite of their alien processing architectures (given that they use a functional language, but let's face it, they have the tech to cross space, they know what they are doing, i.e. they're in the functional camp)

"Propositions as Types" by Philip Wadler, Strange Loop.
(https://youtu.be/IOiZatlZtGU?t=1678)
From an article cited in the OP:

"Neurosurgeons were more likely to die of Alzheimer
disease, other nonneoplastic nonvascular nervous system
disease, leukemia, and aircraft accidents, when compared with the general population."

That looks like persons exposed to the brains of patients may be catching something.

What if it was a germ? How would one go about finding it? Where would one find the non-infected population with which to compare? It may be a combination of a germ and genetics and that germ may be pervasive in our environment, but that doesn't mean the germ cannot be isolated or even eradicated. So it is worth investigation. We may need to find people (monks?) who have lived without exposure to people with dementia, an interesting anthropological problem imho.
Parenscript is a translator from an extended subset of Common Lisp to JavaScript
Why can't companies use the SSS or IRS, etc., for this kind of verification? Why have to go through a third party to get information back from the government? Where required, they already need to do an eVerify anyhows, don't they?
The cpio archive might be a initramfs, rather than the final root fs.
Sounds interesting. Has anyone used the approach/stack described in the book and can report on pros and cons? Edit: I'd be especially interested in hearing opinions about ParenScript.
Not simpler to set up. Quite the opposite. AMP adds complexity. It's not a new technology. It's just a set of rules what type of html/css/js your page can/must use.
I'd never heard of "Firefox Containers" before - thanks, I'll look into it.
But why assume that people who work in nursing homes will be more exposed? Work is only part of the day. A great many more people live with elderly/dementia patients in their homes. We are all in contact with such people daily. If there were a germ that we could 'catch', I wouldn't assume that people in nursing homes were a special population. We may all have it.
This whole conversation is weird, and I'm really not sure what is missing from my explanation. In case you missed it, I am an author of an emulator. I write the emulation, and my emulator supports guest software that needs terminals.

The serial port is an emulated 16550 chip. It is much more than a PTY. It has clock divider registers, an interrupt cause register, a transmit holding register, etc.

Scroll back buffer history won't let me untype something. If I take a snapshot, then a character is output to the terminal, and then I load that snapshot, the character needs to disappear from the screen. Of course, "character" could be something more destructive, like a scrolling operation or the clearing of a line.
Youtube suggested also this interview of Asimov to me, and I really like it:

https://www.youtube.com/watch?v=VSxMZBp-2Zs
youtube link of the demo: https://www.youtube.com/watch?v=0uekBzIATEc
Engineering as a profession has some regulation and licensure in the US, but the word "engineer" is not protected. Someone can call themselves and engineer without legal trouble. Not so much if call yourself a doctor.
Ask HN: What are your predictions for the Pixel 3?
If you haven't read the article about how some YouTubers were contacted by Google, asking permission to use clips from their video, you should. Does anyone else think that the Pixel three is going to be really radical, like a phone with 5 cameras? (Just a weird example)
tabindex?
Can't believe no ones mentioned webcola yet, which implements some very cool layout algorithms and is the result of cutting edge academic research. https://ialab.it.monash.edu/webcola/
"If we assume that there is a single global state that each process talks to; if we assume that operations on that state take place atomically, without stepping on each other’s toes; then we can rule out a great many histories indeed. We know that each operation appears to take effect atomically at some point between its invocation and completion.

We call this consistency model linearizability; because although operations are concurrent, and take time, there is some place–or the appearance of a place–where every operation happens in a nice linear order."

--- cited from https://aphyr.com/posts/313-strong-consistency-models
If you like C++, try rust, if you like C, try go.
Slider (carousel), modal window, tabs, drop-down nav, tooltip etc.
Fastmail. They even have a real customer service.
Many of these issues point to the same root cause: A vacuum of leadership at the executive level. Those people often don't understand the Internet, UX, etc., and thus can't and don't make good decisions, creating chaos beneath them.

For example, until recently at the New York Times, the head of social media did not use social media himself.[0] Think about that - think about how important social media is to the NYT. Imagine any competent company - much less a world leader - hiring for that position; they probably have their choice of applicants and that's who they choose? The bad news is that he no longer runs social media at the NYT, he runs the company - A.G. Sulzberger. How will the NYT and its technical side fare under that leadership? (That ignores the deep blow to morale of such nepotism as making him head of social media or, in times like this, the company - he's a scion of the family that has run the NYT for generations.)

[0] https://www.wired.com/2017/02/new-york-times-digital-journal...
everyone has to see the Nathan For You episode "The Anecdote", where he constructs a perfect "talk show anecdote" for his appearance on Jimmy Kimmel, and then retroactively orchestrates the bizarre events of his anecdote in real life so that they "actually" happened to him. the supercut of several nearly identical, and obviously fake, stories told by "real" celebrities on late night talk shows is amazing.

https://www.avclub.com/nathan-stages-the-perfect-talk-show-a...

see also: his later appearance on Seth Myers where he explains the deal and then re-tells the anecdote. https://www.youtube.com/watch?v=5L7GsGc5adk
Isn't it more similar to Twitch?
Have you checked out the self-hosted https://sendy.co?
Poor analogy. Emphatically, I am not at all saying that lawyers and legislators and judges should stop being the arbiters of our government. I'm actually saying that I'm very glad Kavanaugh doesn't appear to be open to the idea of considering the values I'm describing if he were to sit on the bench --- he's seeing it as nothing other than text to be interpreted, and I'm happy about that. I'm simultaneously still hopeful that we can change the inputs to the legal system to get a resulting government that is more closely aligned with our values, without changing the legal system itself.
It's a bit slow to have to wait for each individual question/answer to load. At least with Google I can quickly scan for potential hits