skysight-inc/HackerNews huggingface dataset:
My point is that there are models of (essentially) Coq where there is no distinction between types and terms; both are translated into sets, in a fairly straightforward way. Additionally, one of the major points of dependent type theory is that reduction can occur anywhere, including directly within a type; i.e. term and type cannot be defined separately from one another. I'll go further and say that the fact that a term can only inhabit a type is in some sense definitional, since types are also terms; I can quite easily perform reduction and programming in a term that includes quantifiers, which you would say was part of the nondeterministic type level (in other words, terms do inhabit other terms). So it is extremely unclear to me that the distinction you are making is fundamental.

(To be clear, I do agree that there is a difference between specifying a type and synthesizing an inhabitant for that type; I just think that the "programming-specification" distinction you are making is somewhat artificial, with dependently typed languages demonstrating this particularly effectively by letting you program within your specification as well).
Google Scholar search for "Frank L. Samson" - the cited researcher - finds as the #1 hit "Multiple Group Threat And Malleable White Attitudes Towards Academic Merit", Du Bois Review, 10:1 (2013) 233–260.

That appears to be the probable source article. The date is correct and the experimental methods are as described in the Inside Higher Ed piece. That source article is available from https://www.researchgate.net/profile/Frank_Samson4/publicati... .

The conclusion section of the paper starts:

> The current study presents three main results. First, how Whites adjust the importance that a criterion of academic merit should have depends upon which ethnoracial outgroups Whites are considering. This finding weakens the argument that White commitment to meritocracy is purely based on principle, since the importance given to particular meritocratic criteria, here grade point average, varies depending upon the outgroups under consideration and the extent of the group threat they pose to Whites.

This appears to be aligned with gant's statement, though couched in the academic phrasing "This finding weakens the argument" rather than "full of shit." The title is more direct, with "Malleable White Attitudes Towards Academic Merit".

Since gant's comment is in rough agreement with both the Inside Higher Ed piece and the original paper, I do not agree with your assessment that "that's not the point at all."
How fast can you stand up an HTTPS endpoint on the internet?
Here's an interesting video about the game's history and creation:

https://youtu.be/h4wWITMUop0 ("A Brief History of...Myst" (2016))
The internet is a globally interconnected system, one nation-state messing with a part of it is not whataboutism. Civil rights violations and abuses in other parts of the world are also an issue that nobody should ignore.

China publishes a report every year on human rights abuses in the USA that has a number of valid criticisms (incarceration rate of black males, police shootings, etc), but that doesn't make the US Department of State's report on Chinese human rights abuses any less valid.
So what you're saying is a racist find a way to abuse the rules and no one thought to change the rules in the face of obvious abuse?

This just reminded us we need to be vigilant for folks abusing the rules, and be prepared to alert them in a public & justified way to prevent CoC Snyder by truly dedicated and despicable racists and sexist. Good moral!
Put that in your letter - "So sorry your child had to die, but I care about the mosquito that killed your child more."

The point I was making is that these academic debates about ecosystems are at the expense of the lives of millions children.
Not all embedded. Thankfully there is a sort of standard embedded mcu arch showing up via arm (would love risc v but I'll take what I can get). This has support via mainline clang/llvm and gcc, and isn't much work to get a more modern setup going via cmake, c++17, and clion.

But the amount of people who are still going the raw c route for often times unfounded reasons (c++ is slower or has more bloat), prefer one large c file, don't do code based testing, etc, in embedded is staggering.

And for more niche areas (like FPGA) it's extremely behind the times. Not to say c is behind the times, it has its time and place, but 99% of the time they aren't bale to properly articulate it.
They don't claim to not have an 'agenda' only that they are non-partisan.
That's a really bad attitude to take. It isn't that people don't care, it's that they worry about larger consequences. How about everyone who supports this write a letter to everyone on the earth explaining why they aren't worried about potential environmental collapse due to obliterating a key pollinator?

Note: I'm not sure what the actual risk is, I believe the general consensus is that non-malaria-carrying mosquito species will quickly fill in the ecological gap, but the point is that science and policy should look into the actual consequences, not make a knee-jerk reaction based on the more immediately noticeable appeal to emotion.
That’s before Google domains hit off
What I Learned: Porting Dateutil Parser to Rust
Yeah, I hate cancer, but these ciggerettes are delicious!
https://news.ycombinator.com/item?id=18054006
My rule of thumb (can't recall where I first heard of this, but it's not original) for translating from an engineer "how long will it take me to create a technical solution" estimate into the real world is to convert the estimate into the largest whole-number unit (so ~20 hours would be 3 days), then double the scalar and increment the unit, in this case 3 days would become 6 weeks - which while not perfect, is much closer to the reality than your original estimate.

I'm amazed by how often this rule has turned out to be reasonably accurate, though I'm sure there's some selection bias at work. And it certainly starts breaking down when you begin estimating in multiple months - however I would counter that if you're able to credibly estimate months of work on a solution, then you don't need this particular rule of thumb :)
Yeah, steer clear of anyone who loudly proclaims they "hate drama". It's like when a two-year-old starts saying they're 'not tired'.
This article talks about controlling Anopheles gambiae but something similar already being done to control Aedes aegypti.

https://debug.com/
She's not exactly keeping her intentions a secret, her Twitter feed makes them pretty clear https://twitter.com/CoralineAda/status/1041465346656530432
I think the point is that a principled author can easily choose to write a different book.
A ton of problems in software engineering, I am convinced (and isn't wild generalization one of the marks of our field! I at least want to own my own hypocrisy here) are communication problems. Nearly all the interesting ones, anyway.

And one of them is axioms no-one ever communicates. I've worked with programmers with at least three markedly different axiomatic bases, for want of some less pretentious – and less exaggerated-for-rhetorical-effect – way of putting this:

* `Electrical engineers`. "Computers are imperative because computers are just circuits". Functions, objects, mathematical abstractions in general are fundamentally leaky and to be regarded with deep suspicion. Paradigmatic languages: C, asm.

* `Pure mathematicians`. Computers are abstract machines for manipulating symbols. Programming is set theory; hardware is an implementation detail. State is just an artifact of insufficient precognition. Paradigmatic languages: ML, Haskell.

* `Approximators`. These folk rarely come from computer science backgrounds; instead they tend to come from "technical computing", meaning sciences, engineering, economics, statistics and the like. They're also on the rise, because this is the group of people who "get" machine learning. Computers are fancy and very fast slide rules; their job is to run approximate numerical methods very fast. The only true types are `float` and `bool`; programming is translating linear algebra into algorithms which estimate the correct results stably with bounded error, ideally by calling the right bits of LAPACK. Paradigmatic language: historically, Fortran; these days, whatever array language is embedded in the libraries they're using, surrounded by Python or (if statistician) R.

The point is; these are three markedly different worldviews and none of them are any more fundamentally wrong than the others – they're all useful and wildly incomplete. So unless you can get agreement – or at least empathy – within your team, you're going to spend a lot of time talking past each other.
> In China you do.

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

It's always sad on the Let's Encrypt forum when someone fails to get a cert and the reason turns out to be that the hosting provider has blocked all inbound HTTP connections because the user's web site wasn't licensed. This is a regular event, most recently reported this past weekend.
God that was horrible to read. Can you imagine trying to do anything with someone so toxic? "Can you pass the cheese please? NO BECAUSE YOU SAID BAD THINGS ON TWITTER!"

These people are not acting in love. They are acting in hate trying to protect those they love. It is shameful. It is how wars start.
Oh thank you!

I'm thoroughly embarrassed to have regurgitated internet gossip without reading the source material.

However, as you mentioned, I stand by my sentiment. Google has clearly telegraphed their desire to put making money over users privacy and security (my definition of security being safe from Google, whereas Google's is safe from everyone BUT google)

To attack this issue from Google's side, the targeted ads I receive are straight garbage. The ads I get on my Google YouTube account from my signed in chrome Google account on my signed in Google phone are not in the least bit relevant to me or my interests. I don't use ad blockers of any kind. If I have to watch the ad about Dr. Gunter zolof solving Carmichael's toshent conjecture one more time, my phone might suffer an "accident" and I will take that opportunity to switch to a different provider (ANGRY SIDE RANT: I haven't watched that ad to completion or clicked on it a _single_ time. Stop showing it to me. 50 times. Consecutively)
I'm saying that, as I read ESR's post, it implicitly imputes the latter motivation in an argument which overtly is about either the former, or the (putative) question of what really is the telos in the context of LKML and Linux kernel development generally - and, in so doing, equates the two in a way that I think isn't reasonable to do without explicitly declaring and supporting the equation.

Be clear, though: this is nothing but my reading of ESR's statement of his own perspective on the issue, even all the facts of which are somewhat difficult to identify without ambiguity. I'm not especially interested in trying to make any larger argument than that, and I'm not at all sure that the desire for meritocracy and reputation is incompatible with the adoption of an explicit code of conduct requiring that kernel contributors, while contributing to the kernel, eschew gratuitous misbehavior of the sort which tends to drive other contributors and potential contributors away from the project.

As I read the CoC in question (https://www.kernel.org/doc/html/latest/process/code-of-condu...), I see nothing in it which suggests any intent beyond that. In particular, I see nothing suggesting any intent toward thought policing, or policing of behavior outside the context of interactions in the Linux kernel development community, or declared public representation of same. And the Technical Advisory Board, charged with enforcement of the CoC, is just that - technical. So I really don't know where all this culture war stuff is coming from, or why anyone sees a need for it.

Okay, that's a lie. I do know where it's coming from, and why people on both sides see a need for it. It's just that I wish they didn't - again, on both sides - because the Linux kernel is too important a technological artifact to be made this sort of battlefield. I'm sure it'll blow over in the end, and that the silent majority that invariably constitutes the audience for such engagements will go on doing as they do, not at all ruffled by the explicit adoption of a standard of behavior that really says nothing more than "don't be an asshole, and if you're enough of an asshole, we won't let you work with us any more".

That is to say - the same rule that applies everywhere, whether explicitly stated or otherwise. In my experience, the correlation between worthwhile kernel contributors, and people who enshrine Linus Torvalds' own somewhat infamous former style of comportment as somehow essential to technical excellence in the project, is negligible unto imperceptibility - so I see no reason to imagine that the project itself is imperiled by this current contretemps. That contention is really the only reason why it's achieved as wide a currency as it has, I think; absent the - in my reading highly questionable - idea that a significant fraction of kernel contributors will withdraw their contributions in a way that actively harms further development, there's no reason I can see for so many pundits of ESR's and /g/'s stripe to weigh in so heavily and with such typical respect for the facts and realities of the matters on which they choose so to speak.
Agreed and well stated. Will definitely not be reading this as an attempt to slyly market the product is enough to turn me off. If the content is valuable it should stand on its own.
Except, in today's internet that would mean pretty much not using the internet at all. Which - in today's society - would mean a greatly handicapped social life at least and would be plain impossible for many people who need to use those sites to do their job.

So yes, technically you're right. As Discworld's Vetinari said, you always have a choice, even if that choice is between agreeing to the deal or being thrown into a spiked pit.
Hi
Sorry for the issue caused to you.
Can you provide few email address to abuse at zoho.com, so we would take appropriate action after investigations.
Regards.
Rajasekar
Zoho Abuse Monitoring Desk.
Hi, just coming back to say congrats on your library and I wish you all the best with it :)

I see your reasoning here (`import pypeln as pl`) but I still think where you have submodules you should use unabbreviated words for their names.

For me I'd be happy with `pl.process.map` in my code, but `pl.pr.map` feels a bit too obscure to have as the default.

These things are quite subjective of course, but part of that subjective judgement comes from the experience of what is commonly done in other Python libraries (the stdlib is a bit of a mixed bag in this regard unfortunately, riddled with CamelCase and other abominations).
It once had a point to its online, it just never had the Publishers / budget to execute on that vision. The fact that it is free to play online today is a testament to tenacity in the face of two and a half cancellations, a lot of corporate misery, and the hearts of a lot of earnest fans.
This sort of emotional argument with no thought given to side effects has no place in rational discussion.
You could pop up a box that says "Bank of America is asking for access to the following parts of your Mac:"

Followed by a table with the function (I.e Camera, mic), a description from the developer about why, and a checkbox to accept or deny.
If we're going to be making species extinct anyway, I don't see any reason not to make wiping out the harmful ones a priority. Can we do Toxodendron next?
Was this the reason or part of the reason you left being an investment banking analyst?
What's the educational requirements/qualifications to for an investment banking analyst?
Are they similar in complexity? If Japan can do it that cheaply then others should take a long, hard look at their own cost. It's not like Japan is a low wage country.
It is more likely Zoho is getting into/already in the business of selling domains and hosting as part of their portfolio and that's why they are becoming a registrar.
LUTs are still the building block of all FPGAs. Logic elements are just a higher level of hierarchy.

For example, according to the Intel Arria 10 handbook, an ALM contains 2 4-input LUTs and 4 3-input LUTs, which can be combined in various ways. (See figure 7 of the A10 handbook.)
The first guy who trained me as a software consultant said that estimates are generally laughably incorrect, because you just never know what you will run into. Software (and technology in general) is about hiding complexity. As soon as you start to dig into complexity, you have no idea what you're going to get. But that's not really a pleasant concept to a businessperson who is trying (perfectly reasonably) to predict cleanly and clearly what something will cost so that they can gauge their ROI. So what happens is that everybody bids on a job, some people will massivley lowball their estimate to win work, and then a year or two later another company will get called in to clean up whatever mess the lowballer made. So it goes.
Ask HN: Do you do a fresh installation for new versions of macOS?
When macOS 10.13 (High Sierra) came out, I did a fresh reinstall of my MBP and used an Ansible playbook to reprovision most of what I had had previously installed. Looking back, I don't think this was necessary - the only real good thing that came out of it was that it forced me to back up some projects on my laptop that I may not have otherwise bothered to, as I knew I was doing a clean wipe. Although a new OS install always feels satisfying, any cruft I removed I didn't really notice in any meaningful way, or quickly reaccumulated.

Are there any advantages to doing a fresh installation of new versions of macOS that would make it worthwhile?
What? I should just ignore Googles harvesting of my data because "everyone does it"? That's ridiculous.

Also, why do companies need to "compete"? There's no reason that core software like internet browsers or operating systems need to be commercial in the first place. I will happily continue using Firefox.
Ah I see, beg your pardon, I misunderstood your question. If you’re looking for domain registrars located in Europe I can only suggest one as I don’t have much experience dealing with others. Epag [1] has always been nice to deal with.

[1] - https://www.epag.de/en/
Of course it is an emotional argument - it is meant to make concrete what is really happening right now as we dither.

The ecosystem will be fine without the mosquito species that transmit malaria and even if it wasn't it is a price worth paying. This whole argument is stupid anyway as we already know that killing off these mosquito species in the places where rich people live does not cause the ecosystem to crash.
Microsoft unifying search across Bing, Office, and Windows
but i imagine the improvements are marginal at this point

Existing improvements have barely entered the market. Consider what is probably the single greatest innovation since ABS: automatic emergency braking. Having watched quite a number of dashcam videos on YouTube, it is amazing how many people just plough into others, either not braking at all, or not braking at anywhere near the limit of their car.

Here's a great example of automotive innovation saving the day:
https://m.youtube.com/watch?v=9X-5fKzmy38

Incidentally, this is the same reason I find those clickbait articles about "what would a self-driving car do if faced with hitting a school bus or running off a cliff". The correct answer is "brake to the full potential of the car and aim straight", since reducing kinetic energy should be the primary focus!
I hope there’s no plan to drop WebGL. Although it wouldn’t surprise me. Really the only question is when -- years or decades?
As a hypothetical user who doesn’t post on niche tech forums, I totally prefer a native app over a web app

It’s pretty

It’s fast

It’s not stuttery-stoppy

I can swipe back and forth between pages without waiting 4 seconds for everything to display, and then inevitably move around right before I fucking tap

It’s on the app store

I can use it instantly.

I can remove it instantly.

I don’t know what sandboxing is

I don’t care about privacy

There are convenient share buttons

I can use it on the single device I use regularly

I can screenshot it

I can unfortunately change the style by updating

It can use my battery when it’s closed? Wait wha-

ooh notification

...

I’m gonna go use facebook now like a normal person, later nerds
Meanwhile I find it petty to complain about the small price of a single tweet. I don’t understand what or how it’s a “game theory mechanic.”

Is it also a manipulative tactic for a store to impose the “Pay $1 to unlock a candy bar” mechanic on you? I bet you use the same dark mechanic on your employer.
One nice feature that's somewhat buried in the notes is that the linter can now warn against some Kotlin/Java interoperability problems. But you need to turn the new inspections on manually: https://developer.android.com/studio/releases/#lint
> recaptcha appears to be moving towards a model based on usage heuristics in v3

I always thought that Google has a huge competitive advantage here, because most people browse the web being logged into their Gmail accounts, and, therefore, as with Google Analytics and Google Adsense, Google knows that it's you who is viewing that page. It can then present extremely time-consuming CAPTCHAs to anonymous visitors, most of whom are likely to be bots or the spammers themselves.
Please stop pretending your book is free, people can see right through it. Most people in this community consider personal information and user marketing as a form of cost. Otherwise one can access it on Github, but it's not very convenient. I couldn't find "6.2.1. Is WeakMap Strictly Worse than Map" anywhere on your Github, other than in the screenshot.

If you want the book, you will have to pay them one Tweet and several powers, most of which are not necessary:

1. Read Tweets from your timeline.
2. See who you follow, and follow new people.
3. Update your profile.
4. Post Tweets for you.
5. See your email address.

You're asking for more information than you actually need, which is looked down upon. Why do you need to post tweets for me, update my profile, see who I follow and follow new people for me? This does not abide by the rule of least-privilege.
I think this should be released without any form of government or popular consent (i.e. don't even ask them); JFDI. We do so many worse things on a regular basis with more concrete known negatives for far lower benefits.
I don't recall the puzzle you're talking about, but there are a massive variety of types of puzzles in the Witness. Was it early on?

I loved Talos Principle also, and I genuinely think the Witness is one of the best games of the last decade. Hopefully you can give it another go :)
His first comment was insightful and made the point with a poignant analogy. It was concise and direct. It was far more valuable than the "informative" one.
Quality not Assured
I'm curious what happens if you use a phone that's incompatible with the app. Do you get a free pass, or is China going to only allow the use of compatible devices?
Doesn't sound alike to me... The Outline says it's story-centered, while The Markup says it's data-centered.

I agree the visual style is similar.
> "grieving mothers" is not sufficient.

Historically, the species that threaten humans (or are tasty to humans), gets virtually wiped out. There's nothing new or scary about the proposition. Species aren't sacred, as every species dies out and has been replaced by others, countless times for all manner of reasons. Maybe it promotes something worse. There will always be other dangers to contend with.