skysight-inc/HackerNews huggingface dataset:
> is the natural transformation from identity functor

Sorry I confused you here. I meant, if you had a function of that type (a -> f a), you would want a naturality relation to hold for it, like how 'return' for monads is meant to relate to fmap.

As it is, just having a map "a -> f a" is not a natural transformation.

(I think you might be confusing objects of Hask with the category Hask itself. Remember that "a -> f a" means "for each object 'a' of Hask, a function that takes an element of 'a' to an element of 'f a'. The functor is f : Hask -> Hask, an endofunctor. (In haskell, Hask is replaced by stars.) "f a" is the object of Hask that F sends "a" to.)
It was a continuing education class at the University of Utah, so maybe not as impressive, but, I think the more telling point is how cool my mom was/is to give me opportunities like that.
This is amazing. I had no idea the "MEMS" microhones were light sensitive enough to exploit this. It's not the most far-fetched attack. If a well-funded government spy sees that there's an alexa in the room, why not tell it to make a phone call to a throw-away number and listen in?
That's what Gannett does in their numerous local newspapers.
Children aren't really the "others" of the adult world; they aren't fully grown enough, generally, to be of interest. Were the child or adolescent interacting with non-gifted adults, it would make sense. Not so much children.
I think we should spare some time for those people and highlight the significant disadvantages of "smart" devices - because otherwise, the only party in that game would be the industry, which has a strong interest in people using those devices - and in the end, we'd end up with all devices becoming "smart".
No. It's not a -> f a. It's * -> *. There is no a -> f a here. You are simply mistaken in thinking that any such thing is part of the definition of a functor.
The mix of power sources varies by state. In NY, Canadian hydro provides a lot of the electricity and coal virtually none.

When people say "haw haw, your electric car runs on coal", that might be true in West Virginia, but how many people have electric cars there anyway?
As we described a bit in a previous post at the end of the litigation -- https://blog.cloudflare.com/winning-the-blackbird-battle/ -- in addition to the money we paid for the crowdsourced bounty, we also had to pay considerably to litigate the case. Even though we won the underlying litigation as quickly and convincingly as possible, we still spent more in legal fees than Blackbird might have been able to recover in damages after trial. That's why settling / licensing will always make more short-term economic sense, and keep trolls alive.
He is referring to cultural postmodernism, which is a worldview in which objective truth is not to be preferred to the perceived / experienced understanding (i.e. opinion) as to the truth. Especially when considering the socially or economically disadvantaged.

So while an adherent to a purely rational worldview might ask, "what the hell do feelings have to do with measuring academic performance?", a postmodernist would be glad to, say, include data about feelings (i.e. opinions) in an article and try to pass them off as evidence alongside hard, objective data, as though someone's feelings about grades and the grades themselves are both legitimate data from which to make decisions or design policy.
I truly don't know how to significantly improve the school experience for most kids short of just kicking out (or isolating) the bottom few percent, in terms of disruptiveness, violence, and GAF-ness, certainly by 6th or 7th grade, if not earlier. Which seems like a shitty solution and is legally untenable for a bunch of reasons I'm sure, but they're responsible for a large part of why school sucks so much and is so unproductive for everyone else. Any why teaching is so stressful and (at times, some places more than others) feels unrewarding.
> I tried to buy my $2.50 Old Spice deodorant in Shanghai. The price tag when translated to dollars was over $8.

This particular case is likely because the usage of deodorant is not a thing in China. The majority of East Asia doesn't have the body odor issue. It's a gene thing.
VW's revenue in 2018 is €235.85 billion so that means they spent 5.7% of revenue on R&D. For comparison, Nokia spent 11% of their net sales in 2007 on R&D, at the time when they appeared invincible, also the year iPhone was announced. Those huge numbers usually don't correlate with success.
Drone registration made compulsory as UK scheme launches
> The premise behind bitcoin-the-game is that the current wave of buyers must guess when (or if) a subsequent wave of buyers will emerge, this second next wave's participation being contingent on when (or if) they believe a third wave of buyers to emerge. If they guess right, the early birds win at the expense of the late ones. ...

This is a truly tired analysis. It goes by various names, including "greater fool theory." Notice how it applies to almost every asset being traded today?

Stocks? Remember dividends? Not so much these days. Poster child is Amazon, but there's a slew of others that offer virtually nothing to investors other than price appreciation.

Government bonds? Do do negative interest rates sound? You buy one of these because either you have to or you think others will have to.

Real estate? Please. Take away price appreciation driven by easy money and few would bother "owning."

What this piece ignores is the world's ever-encroaching governments and the ongoing assault on privacy - with money as the fulcrum.
> What do nuclear power trolls look like?

A glow in the dark Shrek I suppose.
Incident Response Roles Overview
Gold has those same uses but at an international level and is generally approved of. The gold may never actually move, but ownership will transfer between countries.
It was both language and database theory, all focused on Oracle. IIRC, it was titled "Database Administration", but I remember having to draw out schema diagrams and learn all the particular arrow types (one-to-one, one-to-many, etc) and what different block shapes meant in the diagram. All that only to get into industry 5 years later and find no one goes beyond basic squares and maybe double-ended arrows in practice >.>
This has already happened in Australia. The AI that runs the government equivalent of social security and the tax office, has been programmed to send debt notices to tens of thousands of people on welfare.
The Aussies call it "Robodebt".
Big players see their share of cases as well, if not more. Settling or licensing the technology will generally be cheaper in the short term than litigating the case.
My point is percentage is different because they used different demoniators. But dollar amount in numerator is the basically the same. The former author didn't just pull number out of thing air.
The SF algebra change is NOT a success. Most of the stats are cherrypicked and misleading.

> For instance, after San Francisco Unified de-tracked math, the proportion of students failing algebra fell from 40 percent to 8 percent and the proportion of students taking advanced classes rose to a third, the highest percentage in district history.

This compares the number of 8th graders who failed Algebra 1 before the change to the number of 9th graders who failed Algebra 1 after the change. These are apples to oranges numbers. The appropriate metric is the percent of 9th graders that have passed Algebra 1 in either 8th or 9th grade before and after the change.

The following is arguably the most important metric that is omitted. From another article:

> While more students are taking precalculus now, the enrollment in Advanced Placement calculus courses has declined by nearly 13 percent over the past two years.
A good teacher doesn't let you redo the same simple math problems. Mine didn't.
I wish he would name the brand.
On-demand karaoke parties right inside Deezer?
That would be easy to answer, had Sweden not stopped gathering statistics on the ethnicity and immigration background of criminals: https://www.thelocal.se/20180508/why-sweden-doesnt-keep-stat...
From the article:

In 1960, a house in Santa Clara County cost about $145,000 in 2018 dollars, roughly 2.3 times the median annual income for a household in the region. By 2000, that had grown to $651,000 and six times the median household income. In 2018, a home in the valley cost an average of $1.1 million, 8.8 times the median household income that year.

As to the major landholders: note that a a billion-dollar holding is roughly 1,000-2,000 housing units (assuming $500k/apartment). So even a $10 billion portfolio is about 20k residences, max. A chunk of the total inventory, but not a massive share. Most players listed are well below that level, and the corporate entities mentioned are largely invested in their own campuses.

Stanford University excepted.

Assessing a substantial LVT on The Farm might be a Really Good Policy to look into.
Oh, great! Thank you!
The article seems to dance around some carefully crafted statistics. Students are “happier,” or more kids are taking classes which are labeled as advanced. I see very little in the form of college admissions rates, SAT scores, etc.

It’s also possible that tracking does in fact lower the average performance while increasing the high end performance.

One things which would help regardless is for Administrators which permit students to perpetuate bullying and abuse within the student body to be sued out of a job if not charged criminally. The shit we put up with kids doing to kids luckily seems to be changing fairly radically, and that does obviously help you tune down some of the tracking which in the past served as much a behavior as it did a pedagogical purpose.

I will say that my 5th grade daughter basically has stopped being taught new material for the last year (2nd half of 4th and first half of 5th) while the whole the class seems to be stuck in perpetual review mode. She complains that the teacher will rarely offer something new, and she doesn’t understand why everyone else in the class can’t just listen the first time it’s explained, and why the teacher spends the rest of the week basically repeating themselves.

I’m paranoid of teaching her independently and just making her even more bored. Tracking doesn’t start in my district until 6th grade and we are both very much looking forward to it.
Molek-Syntez by Zachtronics
Firecracker now supports raspberry pi 4B
Wouldn't say about gifted children and achievement but even then, I'd like to be separated just for the sake of having someone I could share one idea or two. Spent most of my childhood lonesome and not because 'antisocial' like I was led to believe but because the people I'd like to be hanging out with was spread out, just like was, spending their days lone (or worse), just like I did.
I snapped out of this unlucky situation after I got into the university. This could be achieved back then by doing just what happened now: putting me and the other people like, together.
What Is a Blockchain?
Fortunately (or non-optimally), our DNS TTLs were 300s (Route 53 default) so our sites were not fully accessible off Zeit for ~5 mins. This wasn't too bad given that our sites were completely inaccessible from Netlify.

One day when we're bigger, we'll extend those TTLs
Don't worry, CCPA is on the way, and the Bay-dle will rock.
You followed it up by "whatever the fuck that means," implying that you were unclear on what 'gifted' (or the opposite thereof) meant in the first place. I wasn't looking to get into a debate on what it means to be gifted or not, and thus I was making it very clear that I was using your verbiage, and not being disparaging.
Which is unfortunate because while that decision works out for their bank accounts it is a worse result for the entire rest of society.
have tried on this prebuild 64bit ubuntu kernel with kvm enabled

https://github.com/TheRemote/Ubuntu-Server-raspi4-unofficial
So the Slate article is a summary - I didn't pretend it was a published peer reviewed journal article or anything else. I also upvoted your question so I'm not sure why both your question and my answer were downvoted.

If you are genuinely interested in this, then it is easy enough to search out what they're referencing in the article. Even the Albright research (I found it), but I'm not even sure you know what your burden of proof is here.
At least with stock, even if they aren't paying a dividend in theory you own a portion of the earnings stream; it is instead reinvested in the company. But still a lot of companies do pay them (e.g. AAPL). If you owned all the shares of these companies you'd own something quite valuable that could return to you a lot of money, I think we all agree on that. (The ones with no dividend and you don't vote or control anything is worse).
A strange thought process. If you wanted Unix on not-Apple, a Linux desktop remains the more reasonable option(sub the perpetual caveat of having to vet the hardware for compatability).

And my first inclination would be to see how things go with Msys2 before banking on WSL. You will eventually end up navigating build processes in some depth - but I don't see that as a Windows problem so much as a Unix/libc monoculture problem that gets swept under the rug by never leaving that environment. You won't have quite the same experience with a fully MS stack or with not-specifically-Unixy tools.
They were exposed to more unpredictable situations too.
U.S. has rule-of-law. Russia has rule-by-force. Comparing Russian and US elites like this smells like rank Russian propaganda.
I mean, if you reply "Go fuck yourself" you are probably done with the thread, not planning engaging further with the asshole.

Really, my point is that there is too much effort to engage assholerly as if it is actually reasoned conversation, when it is just assholery. Maybe we could go with the milder "This is ridiculous" as a reply or something.
Patent trolls should be shot on sight.

We shouldn't be dealing with that today.
Microsoft’s hardware was often the same hardware that ran Android especially from HTC.

But as far as the Surface. MS only made $1.329 billion on Surface devices. That’s less than a third of what Apple makes on Macs. Heck that’s less than Apple makes on Watches and AirPods.

https://sixcolors.com/post/2019/10/apple-results-64b-in-reve...

https://www.techradar.com/news/microsofts-surface-sales-keep...
I suppose it was somewhere between when you said that government shouldn't regulate or try to fix the problem until they have a better understanding of it ("this is a complex issue and the "LETS REGULATE IT" feels premature given how complex and subtle the issue is...We need to understand the full scope of the problem, rather than try to fix what isn't fully grasped") and that you don't think the government is capable of doing exactly that. ("I have very little faith in the US government to accurately grasp the subtleties and nuances of the advertising and privacy problems")

I acknowledge that you may have just worded things poorly, or intended your words to mean something else which is why I prefaced by question with "If".

If you actually do think the US government should regulate this, how should that be done given your concerns of their inability to understand the issue and taking into account the fact that any mistakes they make will take effort to correct once it's been put into law?
Yes, sometimes companies are 'legal persons' when discussed in a legal context as I mentioned.

We are not in a legal context, so to use such language in a normal context without elaboration will obviously mislead most listeners. It is a false statement since it leads the listener to false conclusions.

>Being human, legally speaking, is different than being a person, legally speaking.

It is incumbent to explain this to normal listeners, otherwise you're misleading them.
I think it's useful to view connectedness in "smart" devices in the same way we view ads: They are as much a consumer feature as ads are about "informing users about business opportunities" - in truth, both are part of the payment for the service or good.

As such, it's in the interest of the vendor to smuggle "smartness" into as many products as possible, whether or not there is consumer demand for it - or even if there is explicit desire not to have it.
Thank you! Heroic work. Any thoughts on how we can expand this effort? My thinking is we need to get rid of Intellectual Monopoly laws in general. I think an intermediate transition to some type of “bonus” structure for patents instead of Monopolies might work, if we need a way to ease the transition, but everywhere I look IM laws cause more harm than good (unless you are in the select group that makes the inflated sums).
A nice used Bosch washer is like $100 (and thats in an expensive country). Fixing some things are nice, but some are not worth.
Speculation. The US government is not sponsoring Troll Farms. Private companies in the USA almost certainly are. That's what happened with the FCC.
I studied theoretical physics then switched over to software development.
Did Golix Exchange CEO Lose the Bitcoin Wallet Password?
First sentence:

> Facebook started as a single app.

Is that even true? I thought it started as a website.
Depending on how to define patent troll, yes or no.

If you define patent troll as only someone who asserts clearly invalid patents or makes unsupported and unreasonable assertions of infringement? No argument for their existence.

But many of the so called patent trolls do assert facially valid patents with reasonable infringement theories. There is an argument that they provide liquidity and value to inventors who can't really afford to sue themselves. Lets say you invent a widget that reduces the cost of producing batteries by 10%. But you don't own a battery company so you can't monetize it. You can sell it to a troll who will do it for you. Or if you were a company that revolutionized the telecom industry, but missed the smartphone boat and went bankrupt. Those patents still have value and added to the industry. Trolls can get you that value.

I'd still say that the patent laws don't really reward true innovation in most cases. But that goes for non-troll patents as well.
> Can you clarify this? I can't define a -> f a because the functor can't determine one?

In mathematics, it's important to distinguish between "an X such that there exists a Y" and "an X together with a Y".

We are discussing, what data determines a functor? You seem to be asserting that part of this is something you're calling tmap, which for a specific functor F would have type a -> F a.

This is mistaken; no such thing is part of the definition of a functor.

But you are confusing the issue of whether such a map is part of the definition of a functor (or is determined by the functor and so could be included in the definition with no change in the actual meaning; let's just group these two cases together as "part of the functor"), with the issue of whether such a map exists.

You pointed out that such a map exists -- as if that made it part of the functor. I pointed out that such a map does exist, but that's not helpful, because this has no relation to the functor, and that it's not part of the functor.

Your reply confuses these issues again, suggesting that because it's not part of the functor like I said (true), therefore it doesn't exist (false). No. It does exist, but it's not part of the functor.

Because it's not part of the functor -- not determined by the functor -- that means that, if you were to tack it on to the definition of the functor -- let's call this new object you're defining a functor' -- then, for any one functor, there would be multiple possible functor' that result, because of the different choices that can be made. This demonstrates that a functor and a functor' are not in fact the same thing; the functor' contains extra information that the functor does not, information that cannot be determined from the functor alone.

> Isn't this type signature the natural transformation from identity to f?:
> (a -> a) -> f a

No. You are mixing things in ways that do not make sense.

Look, apologies, but I think you're in over your head here. And I'm afraid your notation is confusing the issue by mixing things inappropriately. There are too many errors here to fix individually; if you want to get this right, you're going to have to take it from the top. I could try to write an explanation that I'd hope you might understand, but my point is that that's what I'd have to do, write a whole explanation from the top. I don't see this conversation going anywhere otherwise.
Most auto enthusiasts will end up in a performance Model 3 (I’d wager). Hard to beat the value compared to the other vehicles (and their exceedingly high prices) you mentioned.

https://youtube.com/watch?v=DSRWKxytW40 (Top Gear Model 3 vs BMW M3)
"You think it would be hard to schedule a 30-45 minute meal somewhere once every two weeks?"

I think there is an issue that may not be obvious with the charging time.

Let's say for the sake of argument, sure, people can tolerate taking ten times the amount of time to charge as filling a gas tank.

But what that means on a large scale, if everyone switches to electric, is that we need ten times the number of charging stations as gas station pumps in order to have the same number of locations open per person.

Of course, you say, people mostly charge electric cars at home. Sure, but if they do it 90% of the time, we still need just as many public chargers as there are gas stations now. On top of a charger for (almost) every home.

Without much faster charging or much higher capacity batteries, it seems to me like this is a basic problem with switching everything to electric that I haven't heard about from others.

Maybe there's something obvious I'm missing, but I never see people address this or identify the incredible infrastructure requirements as a problem. People describe occasional waits for access to a charger and don't extrapolate.
My fridge is over 80 years old, and in fact I recently completed restoring it, which among other things meant replacing the insulation. According to the power meter it's estimating 280-320kWh/year, which is actually extremely low even compared to modern "high efficiency" units (400-500kWh/year). There's tons of propaganda around about old fridges being inefficient, and that's true to a certain extent --- they focus on comparing late 60s/70s ones which certainly did consume a lot (mainly due to defrost heaters and thin insulation) but conveniently ignore the period before that, in which they consumed far less. When new this one would've probably been in the 400-500kWh/year range, which isn't high either, but I guess replacing the thick 30s cork-based insulation with an equivalent volume of foam made it even better.
That's the whole point of productivity gains... Either you're richer or you can work less or ideally both.
It's hard to find this sort of op-ed convincing when it includes hard-to-interpret imprecise word-salad like:

> Eight Bay Area school districts found similar results when they de-tracked middle-school mathematics and provided professional development to teachers. In 2014, 63 percent of students were in advanced classes, whereas in 2015 only 12 percent were in advanced classes and everyone else was taking Math 8. The overall achievement of the students significantly increased after de-tracking. The cohort of students in eighth-grade mathematics in 2015 were 15 months ahead of the previous cohort of students who were mainly in advanced classes.

Huh? What's "Math 8"? How was "overall achievement" measured?

How could decreasing the proportion of students in "advanced classes" from 63% to 12% result in a "cohort of students" that is "15 months ahead" of the students who were in "advanced classes"? (What definitions of "advanced" could possibly mean 15 months behind "non-advanced" coursework?)

If there's a strong case, and the writer understands it, it would be explained better than this – and probably include tables & graphs, rather than just rambling assertions like the above paragraph.