skysight-inc/HackerNews huggingface dataset:
"Why is the school district paying for the pollution controls? Why aren’t the 120,000 vehicles that drive past the school every day paying for it?"

Don't drivers pay taxes, which also go to the school district - so actually, the vehicle drivers ARE paying for it?

Not that I want to justify the situation. But the spin seems wrong.

Also, in a twist, the kid's family may only be able to afford living in the school's district because pollution makes it unattractive to live in.
While the traits mentioned in the article are useful (patience and attention to detail), these are traits that are selected against in most work environments. Writing software "The Right Way" TM takes time and time is usually something most engineers don't have in abundance.
I don’t entirely agree with your argument, but the article actually says the commuters are coming from a different state.
Schools are usually mostly funded by property tax of people/businesses in the school district.
> The biggest drop is in the very desirable 12- to 34-year-old group.

12-34 is a very wide range. While I do know a few people toward the high end of that age range who did have FB accounts and deleted them, I wonder how much of the drop in this bracket is because younger people are simply never signing up for FB accounts.
Nice list!

For proofs I've been finding the leap into dependent-type theory to be very productive as many provers in this realm also double as practical programming languages allowing the possibility of shipping proof-carrying code.

My two favorites in this area are Lean [0] and Agda [1], the latter of which recently received a nice introductory text from Phil Wadler and Wen Kokke [2].

[0] https://leanprover.github.io/
[1] https://wiki.portal.chalmers.se/agda/pmwiki.php
[2] https://plfa.github.io/
Schools (and lots of things) shouldn’t be built next to freeways. It appears [1] this school was created in the 1980s long after that freeway existed. It was closed in 2012. Then reopened last year. Perhaps the whole school should be moved (there’s nearby vacant blocks that could accommodate a new school).

[1] This is based on very brief search so may be incorrect. Actually this is odd the article shows a picture of the school being their before the freeway. Was that the school then or was that a building repurposed into the school? This is where I got the 80s thing from: https://expo.oregonlive.com/news/erry-2018/08/c7c3d773398362...
Also the passenger cars contain the people who own houses and pay the city and county property taxes that fund the schools. So the passenger cars are the ones paying for the pollution controls. Those that don't drive, to a much higher extent than those who do, don't have jobs and don't pay property taxes.
My three year old comes running when he hears the grinder running, just so he can smell the ground coffee.
a.k.a "The Doughnut" because of the shape of the building: [0]

// For non-Brits, 'doughnut' = 'donut'

[0] https://en.wikipedia.org/wiki/The_Doughnut
The commuters are from out of state.
why are you assuming that the commuters are rich?
You can actually acutely treat opioid overdose (with antagonists) and so presumably the actual issue here is people use drugs alone in locations where nobody is going to check on them for something like an hour. There may be an education campaign there so that people prescribed painkillers know to never use them alone.

Also, we probably need to invest in lifestyle education for preventing depression like we do for preventing obesity. Have campaigns asking people if they've had one pleasant conversation today. Force workplaces to give people a midday break where they are allowed to leave the facility in winter. Sensitize parents to symptoms of their child developing persistent anxiety or sadness like they are to the height/weight curves. (Also, develop ways of treating mild depression that aren't SSRIs -- light therapy, animals, caffeine, sleep deprivation, whatever, but a ton of people are refusing to seek help because they don't want meds that they see as having too many problematic side effects.)
1) Those students aren’t paying nothing. Did their parents pay those millions mentioned in TFA?

2) I don’t know about Oregon but gasoline is normally taxed, so the drivers already paid pollution tax.

3) TFA implies that State collects fuel taxes and spends them for other purposes, or does not correctly prioritize this spending.
But we can’t know whether this school is under-prioritized.

Bottom 50% by income likely pay no tax at all. Virtually all government spending is funded by middle and high class.

Those poor students are free-riding.
I Quit a $500K Job at Amazon to Work for Myself
Pardon? The highest increases in suicide and overdoses is in the 45-54 year old demographic (see page 23).
At this point it may not even help. OpenZFS forked from Oracle ZFS like 10 years ago, so even if Oracle dual licensed it as GPL, the OpenZFS folks with a decade of non-Oracle code contributions, would have to contact every contributor for permission to re-license as well.
TIL average household income of ~82K, about ~41k per parent, is "rich"
A pre-commit hook in your revision control system can block checking in code that doesn't pass a lint check. That would reduce your CI build failures.
If 'mericans are not spending their workdays uploading personal information to FB, what will they do at work?
Interesting quote in the article from Hockney

“I forgot one thing – Hitler was the biggest anti-smoker. Doesn’t that say it all?"

Yes indeed it says something - your opinions are worthless.
SlashDB ver. 1.0.28 is out
Looks great! Did you compile ffmpeg to WebAssembly or how does it work?
TFA makes it clear that the people using the highway at peak times are not local residents, they are just passing thru.

Also, there's no "unemployed exemption" to property tax, that I know of.
OP is saying the rate of change is cause for alarm, not the overall distribution.
I wonder if that might have to do with foreign influence being involved with the protests?

https://www.washingtonpost.com/news/the-switch/wp/2018/03/01...
I really hate direction american politics (and hacker news to some extend) is going lately.

There is a problem with car pollution. That is pretty common and has well known solutions.

But this article has zero numbers, zero solutions. It hijacks the problem and weaponizes it into hate and "class struggle". I read similar stuff in communist news-papers 30 years ago.
This goes against Larry Wall's virtues of GREAT programmers: laziness, impatience, and hubris. Impatience stems from laziness and made me look at entire classes of problems in a different way than many of my peers. It is crucial to the character of a proper developer and its lack cannot be substituted for.
I've often thought one of the only ways we would ever reclaim green space from development would be some kind of silent spring creeping moral nimbyism around highways. If only we could scare people and governments into putting an exclusion zone around highways, for every additional bit of setback distance the effect could be huge. Like the environmental boon that the korean dmz became, or Chernobyl. Ideally bears and caribou would one day have mental maps of the interstate, and forest land could have its transport system restored.
> Yet in spite of its triviality and the fact that there has likely been more manpower and money dedicated to 'solving' the stock market than perhaps any other endeavor ever, we still remain completely clueless.

It is precisely because of the effort to predict and exploit the stock market that predicting it is so difficult.

https://www.lesswrong.com/posts/h24JGbmweNpWZfBkM/markets-ar...

Markets Are Anti-Inductive

Let's say you see me flipping a coin. It is not necessarily a fair coin. It's a biased coin, and you don't know the bias. I flip the coin nine times, and the coin comes up "heads" each time. I flip the coin a tenth time. What is the probability that it comes up heads?

If you answered "ten-elevenths, by Laplace's Rule of Succession", you are a fine scientist in ordinary environments, but you will lose money in finance.

In finance the correct reply is, "Well... if everyone else also saw the coin coming up heads... then by now the odds are probably back to fifty-fifty."

Recently on Hacker News I saw a commenter insisting that stock prices had nowhere to go but down, because the economy was in such awful shape. If stock prices have nowhere to go but down, and everyone knows it, then trades won't clear - remember, for every seller there must be a buyer - until prices have gone down far enough that there is once again a possibility of prices going up.
Show HN: BitBums – a classic PHP tick based game and crypto themed satire
I'm actually sort of surprised that ARM doesn't do that. Given that they have Thumb sitting there for them to use and given that i-cache pressure is an important consideration sometimes I would tend to assume it would be a no-brainer. Given that ARM's architects know more about this than I do I have to conclude that there are more disadvantages to even simple variable length instruction encodings than I would assume.

Has anyone made a R64GC out of order core yet?
Given that the school was closed for 6 years during which they undoubtedly did not run the climate control systems, the school most likely has mold problems.
Have a read off https://www.economist.com/international/2018/11/24/suicide-i.... The causes are wide and varied and can be specific to certain countries and cultures.
I still can't believe we paid for public awareness campaigns to promote turning off the water when you brush your teeth
The case for bad coffee:

https://www.seriouseats.com/2015/10/the-case-for-bad-coffee....
I need the title and URL of the frontmost tab, as well as to send JavaScript to the page.

Amongst other things, these are invaluable in dealing with the barrage of daily issues and PRs on Github.
Cryptopia Reopens After $16M Hack with Read-Only Website
Thanks. It's wikipedia but there's actually some good stuff there. The important link from that page seems to be:

https://asa.scitation.org/doi/full/10.1121/1.2761883

A decade has passed and it would be interesting to know how many people have reproduced the results detailed in the abstract. I gave it a quick read and at first glance it looks like an impressive experiment:

Hearing thresholds for pure tones between 16 and 30kHz were measured by an adaptive method. The maximum presentation level at the entrance of the outer ear was about 110dB SPL. To prevent the listeners from detecting subharmonic distortions in the lower frequencies, pink noise was presented as a masker. Even at 28kHz, threshold values were obtained from 3 out of 32 ears. No thresholds were obtained for 30kHz tone. Between 20 and 28kHz, the threshold tended to increase rather gradually, whereas it increased abruptly between 16 and 20kHz.
.Net Core 3.0 Not Shipping with Visual Studio 2019, Microsoft Says
Seems they are a certified B-corp (just looked it up, seems legit).

Here is another reference: https://info.ecosia.org/about they have a pretty sizable team. Pretty cool!
Off-topic: Meanwhile Delhi has no plans to do anything about their problem. People don't even wear masks. Air pollution readings are in the red for the majority of the year. Live readings - https://aqicn.org/city/delhi/
Opfail: Phisher Attaches Powershell Exec Instead of Malware
They were (are) also significantly cheaper than what Hollywood Video and Blockbuster were charging at their heyday. 15 years ago, often at BB and HV rentals would be $4-6, FV often had rentals from $1-3.
> Why do poor school kids have to clean up rich commuters’ pollution?

They don't have to, they aren't going to, and they wouldn't if given the choice.
People who commute from that county in Washington to work in Portland have to pay Oregon state income tax. Income tax makes up the bulk of Oregon's state budget which partially funds their K-12 system : https://ballotpedia.org/Oregon_state_budget_and_finances . So the commuters are technically paying for some of the costs, maybe not enough?
The article reads like a was written by a sophomoric journalist with a social justice warrior agenda who does not understand the scientific method applied their racial biases to jump to speculative conclusion.

How did this trend to #1?
I've been auto-deleting emails from * @facebook * for 8 years. Never fails.
If it's true they are from out of state they are just people passing through the state, not commuters on their way to work each day. However significant amounts of the passenger vehicle traffic there is intrastate and intracounty, as can be seen both from the existence of much more traffic during the morning and evening rush hours, and also the traffic thinning out once it leaves the city.
Amazon Gives AI to Harvard Hospital in Tech's Latest Health Push
CraftCMS Rant
Yes this process is called "drug discovery"/"development" and more specifically "drug screening". Typically new antibiotics are developed vs resistant bacteria because that's clinically relevant.

"In the pipeline" blog https://blogs.sciencemag.org is a really good intro to the field
If you come across a Costa Rica, you should try it. It’s my favorite due to the tartness and fruit flavors that come through.
If that were the case, the title would have been, "Why do poor school kids have to clean up ODOT’s pollution?" But that wouldn't have gotten as many clicks, as OP stated.
Yes this is true but the U.S. handles these things is the worst possible way. So when you say "Going after" it - the statistics show that the current means simply does not work and in fact may actually make the situation worse.
The challenge of details is best solved via rigorous definition of “done” (i.e. acceptance criteria). If you don’t have consensus for that, there are a million ways someone else can re-define the problem and thus expose “incorrect details”. Many orgs delay this consensus, making for plenty of post code review work, but I don’t think that’s necessary bad so long as you don’t let PR comments hurt your ego.
Exhaust processing of current trucks basically doesn't work with a city driving profile (~high idle fraction, very low loads, average speed 15-25 km/h).
Why is that special and what can you do with it that you can’t do now with LUKS on the underlying partitions?
My sister loved to do that when we were young. But then one day she sneezed in them. Watch out.
I can't tell you how many times a combination of sort and join, with a bit of awk has saved by bacon. Seems to be a rather rare skill to have among the various Unix admins I've worked with in the past.

One thing to note, set LANG=C before doing operations with sort and join. I'm not sure if it is a bug, or if it is in all versions, but if you have for example LANG=en_US.utf8 then sort will use one order ("_" comes before '-"), but join uses ASCII order. Note, you don't have to export LANG=C, just put it prior to the command your are launching to export it to just that one command.

LANG=C sort ...
A flawed metaphor by a racist ecologist defined environmental thinking
Stars Exploding as Supernovae Lose Their Mass to Companion Stars
...no?

Mainframes are still relevant for certain projects and legacy environments but unless you know you have that problem there is zero reason to greenfield there.
Eh, I think Civilization is a great example of an awful AI. Specifically I mean here Civ5 and they way it does combat. It is absurdly easy to outmaneuver and defeat even vastly superior armies. It'd be much more fun to have an enemy who can put up a fight.
This doesn't seem to be true: see pages 83 and 84 of the link below, suggesting around 20% of UK PM2.5 emissions come from road transport - this is not negligible.

https://assets.publishing.service.gov.uk/government/uploads/...
Yeah, there's no reason you can't have both.

I am _way_ down the coffee rabbit hole (home roasting, etc). I'm still perfectly fine with "common" coffee from Starbucks/Dunkin/etc. They're just different things.

Really the only coffee I can't drink is "diner" coffee, but that's more about heartburn than preference...
I've got to switch to your laptop and your phone to get the benefit of being in sync? No thanks. Not worth it to me.
He claims a lot things...
You obviously did not read the article, since it says right there that the high school was first, and even provides a photo of the school next to freeway under construction.

The article might be wrong, but then you'd react to that.
Just curious, what kind of documents you keep in there? I have thought about it and even have a scanner but the truth is I don't seem to have anything that's actually worth saving? I have maybe 20 documents that I actually need to keep and at that scale a simple folder full of PDFs works just fine.
Generally the beans are roughly the same size, and what you called burned, I believe is simply because it's roasted darker to compensate for the less than ideal quality of the beans.

The fact that WBC finalists are using coffee that the roaster haven't sorted based in size tells a lot. Perhaps the farmer does it to some degree.
I don't think he is assuming linear scaling with any of those factors.

He is saying that despite using a small fraction of the power, and running at a significantly lower frequency, the Apple chips have only a small deficit on Spec2006 (and, not noted, but for several benchmarks, no deficit at all - a lot depends on whether SIM plays a big role).

Under that scenario, it is reasonable to assume that if you say tripled the power budget and adjusted the frequency to match the larger power budget and "full size" cooling solution, there would be a jump in performance. They are not claiming it would be 3 (power) x 1.5 = 4.5x times faster performance, i.e., A-series chips would be many times faster than Intel chips.

I think it is entirely reasonable to assume it would be the in the range of 20% or more, however. Certainly Intel chips scale up and down based on exactly those factors.

In my opinion, in the case where apples-to-oranges comparisons are possible (low TDPs), Apple's newest chips are already faster than Intel chips. In a high TDP scenario, the same would be true with basic re-targeting of voltages, frequencies, etc (no uarch changes). We don't have the latter yet, and by the time we do we will probably see Ice Lake and Sunny Cove from Intel, so the pendulum may swing back the other way.
Ethical Analytics, Please
Sumatra is where it's at, with PNG a close second.

(Obviously this is all entirely subjective, good coffee from any region is good)
Teraki (https://www.teraki.com) | Software Engineer - Computer Vision | Berlin, Germany | ONSITE | VISA

Teraki is a Berlin based tech-driven company enabling true mobility. We stand for innovation in the rapidly developing connected car, self-driving and 3D mapping world. Teraki provides the data reduction and data processing solution for Automotive (IoT) applications and enables the launch of new applications by reducing hardware footprint, latency and costs.

We help our customers on the challenges that are posed by the exploding amounts of data in connected vehicles for all sensor, video and 3D mapping data.

We are looking for a Software Engineer (computer vision) to implement performant computer vision algorithms on embedded devices and GPUs.
Your tasks will include writing high quality, well-tested and documented code that runs on special purpose computing architectures for connected car applications.

Ideally, you have a background in computer science or software engineering and at least 3 years of professional experience.
You have strong programming skills in C++, good working knowledge in Python, proficiency in multithreading, know when to use heap and when stack memory and are familiar optimization techniques for efficient video-data processing.
You are familiar with technologies and frameworks such as H.264, FFmpeg and OpenCV, video streaming technology such as RTMP, Multiplexing and GStreamer.

You'll be working in a diverse, highly motivated team in the heart of Berlin. We are an equal opportunity employer who values diversity.
We provide a competitive compensation package with flexible working hours and home office opportunity.

For more details and to apply please go to:
https://teraki.bamboohr.co.uk/jobs/view.php?id=28
Since it has been several years since dieselgate, how much pollution does the average car create during freeway speeds?
There's nothing preventing you from setting up your own blacklist/filter. OTOH, most people don't care about this, and would be outraged if their mail provider started blocking facebook's mail.
Crisis Led to K-Pop
The Data Behind the 'Flanderisation' of Ned Flanders
Everyone's take-away is different, but I find the general argument that the cost of driving is hugely under-priced to be compelling. In my opinion this piece hits on a good example: the overall cost wasn't really appreciated when the highway was built and the department of transportation seems to be trying to ignore the cost even today.
Good ol' MC: https://formulae.brew.sh/formula/midnight-commander
How about we take all the school’s money, give it to the parents, and let them decide to which school to send their children?
Only because parent mentioned preferring that, in other posts in this thread people mentioned preferring the opposite.
You can always use the Hercules emulator with some open source OS360 images.
remember Ubuntu Touch?
The import expression and import.meta expression must not become standard
Move to Pull Consumer Protection Rule Heightens Debate over Payday Lending
What’s dishonest? No one has said language choice is a silver bullet for all classes of security vulnerabilities. The point under contention is that we have better options for memory corruption vulnerabilities in particular.

In other words we’re not talking about whether or not something will be totally safe, but rather safer. Perfect is the enemy of good.
I think this is a great idea.

However, when I see forestry companies planting trees, they tend to only plant trees that are economically valuable to them. What results are forests with very low biodiversity because these companies have only planted a single type of tree.

How do you ensure that the trees you plant contribute to the health and biodiversity of the forests they are planted in?
Maximising shareholder value is very often not what's best for shareholders. The current popular myth that it is somehow mandatory has been coincident with a definite change for the worse.

Hasn't Amazon been notable for actively avoiding profit through much of its existence?

https://www.forbes.com/sites/stevedenning/2017/04/27/harvard...

https://skeptics.stackexchange.com/questions/8146/are-u-s-co...
I didn't need to do any search since TFA addresses this point in an unsurprisingly titled section Who was here first?.
"We don’t even rely on Rust syntax and features for safety, since it’s handled at the lower level [...]"

This part makes me nervous. Isn't it basically saying "we wrote perfectly safe C and made a Rust wrapper for it"?
Well, in Oregon they are poorly funded, because it's a low tax state, but many expensive things like teacher salaries are state funded. This is due to a Supreme Court decision requirement to provide equal education, and it's unclear if they have fully complied, but generally your statement is not correct.

In many large states (Texas, California, NY) schools are almost fully state funded.

https://crosscut.com/2017/12/oregon-school-funding-education...

https://education.findlaw.com/curriculum-standards-school-fu...