skysight-inc/HackerNews huggingface dataset:
I've had that same thing happen to me numerous times too. I wrote code that demonstrably and undisputedly added to the value of the product in a way that went far beyond anybody's expectation. I took no longer to do it than it would have taken to do it the "normal" way. People get mad at me making the argument "Well if you leave the company, somebody else is going to have to understand your next-level shit, and we just simply don't have people here who can do that. So then what?"
Knew it was going to be mturk. I did mturk in college writing product reviews for international companies. It was like 5 dollars for 300 words usually.

Mturk seems like a great way to create datasets as well, there are a lot of stories of people creating datasets with mturk jobs however you will need some type of algorithm for filtering out people who are just clicking to get through things and not really labeling anything.
They're also apparently not taking a profit, so that makes me more likely to give them some leeway on things like typos and grammar mistakes.
Don't feel bad. 1995. SunOS. Very patient boss. I did the same thing.
So when Firefox did this earlier in the year for the expired cert, everyone was freaking out that Mozilla had that ability.

Where is all the freaking out at Chrome? My theory is that is was mostly Chrome users (the majority) complaining last time when they had no personal experience.
Looks great decision. this allows students to put their opinion in front of everyone without any resistance in class or anywhere(including those who follow old theory just because they learned in school).

For example, Darwin theory looks very illogical and nonsense to me as it is never proven, everything is based on assumptions.

This will definitely gives extra space to students thoughts to connect the dots between religion and science
I see, the two columns are hard to read on mobile.
Even with a password manager?
I think the more meta and wide ranging the subject matter, the better, because there's something for every user of HN to comment on, and oh do users love to snipe on specific sections of an article. Meta content is like crack for users. Narrowly constrained articles seem to be ignored.
So we're playing 7 degrees of Julian Assange again are we?

So Assange's judge's son's employer has a fund with an investment in a company that employs some people who used to work at security agencies.

It's pretty shocking that Assange's Judge's son works in private equity. I've never heard of a judge's child going out and getting a good job in finance before -especially not one whose previous gone to Eton. Clearly there's something untoward going on.

It's pretty damn concerning that one of the funds that this PE company has raised has invested literally dozens of companies one of which is a cyber security company, it's clearly wildly inappropriate for PE companies to be investing in that sort of thing. Not least because of the outrageous proportion of the fund that's invested in the cybersecurity company. Their investment in that cybersecurity accounts for as much as 1.25% of the portfolio, there's very clearly something questionable going on here.

Frankly, I can barely suppress my outrage at the fact that a cybersecurity company of all companies is employing people who have previously worked in cyber security for the government. Those bastards. Everyone knows, you never hire qualified experts in the field your company is meant to be operating in.

Finally I'm also particularly outraged by the data that the Russian's hacked from the DNC and then handed to Julian Assange to publisOH Shit sorry! Got confused about what links I'm meant to be making again. No, some random Private Equity guy is the real enemy here.
Agreed, but mocking is only slightly related to criticizing. There's better ways to get a point across than slighting.
3320.03: "[No one involved in running the school] shall prohibit a student from engaging in religious expression in the completion of homework, artwork, or other written or oral assignments. Assignment grades and scores shall be calculated using ordinary academic standards of substance and relevance, including any legitimate pedagogical concerns, and shall not penalize or reward a student based on the religious content of a student's work."

Assuming this is the relevant section, does "grades and scores shall be calculated using ordinary academic standards of substance and relevance" allow this to be construed as "[allows] student answers to be scientifically wrong due to religion"?

I don't think that the title expresses either the intent of the bill or it's actual verbiage. It actually seems like it was made up specifically to make people angry. But maybe I'm missing something in this section or maybe I missed another section as I only skimmed the whole document.
This would also help with snow in the winter! I have to imagine it is a lot of work clearing snow off of cars for test drives, if you could just roll most of it off that would help!
The effect of poorly funded public schools and of a system for funding public education largely from property taxes, which ensures that wealthier districts spend far more per child than less affluent districts, is infinitely more significant than something like this law.

(Ohio's supreme Court has repeatedly over the years found our schools to be in violation of our constitution, which mandates public education, equal protection, etc etc)
> but as soon as you enter a physics-institution anywhere in the world, FORTRAN likely reigns supreme

Not at CERN, but it used to be the case. It's C++ now.

> It turns out that FORTRAN is a very good match for the way physicists think about their work

I don't even know what this means and I have a PhD in Physics.

> You simply specify what fields you have and what pattern they are written in and the computer takes care of all the reading and writing for you

This is possible in any language with decent reflection.

> and layers upon layers of unnecessary complexity

None of the complexity in C++ is unnecessary. There were, as there are always, trade-offs.

> Go was created explicitly to replace C++, it turned out that the programmers who love C++

IMHO, this is regurgitated nonsense from Rob Pike. What I got from what he wrote on the subject is that he doesn't grok C++ at all. If he did, he wouldn't be surprised that C++ developers didn't flock to Go.

> efficient development of efficient programs

I'm not aware of Go programs that are particularly efficient. I'd also argue against "efficient development".

> there is an elegant practical solution in Go

Elegance is in the eye of the beholder. I don't think pretty much anything in Go is elegant nor possible to be because of the lack of generics. It forces people to write for loops, which is just... mind boggling to me. That alone makes me wonder what kind of Python devs are taking it up.
I am baffled as to why you are being downvoted for a field report.

As an old guy, I look back on the history/geography I was taught in public school as a massive load of apparatchik-approved horseshit, and wasted hours of my precious young life.
Thank you for trying to be a voice of reason against this poorly done journalism.
Why Your Company Should Undergo a SoC 2 Audit
The author has a Master's degree in geology, but she's spent most of her career writing for laypeople and approximately none of her career writing for subject matter experts.
Will medical schools be covered by this? Wouldn’t the state be forced to license doctors who followed a religion’s teachings on how to treat illness?
Should Yellow Traffic Lights Last Longer?
Fair warning: I work for 1Password

These also have another distinct change beyond simply pricing, they're actually hosted in those regions. So .ca is hosted in Canada and .eu is hosted in the European Union.

Kyle
Right, those mats wouldn't be small. They would need lots of storage area.

Maybe a few be stored, rolled up, under vehicles at the back of the lot that are less likely to be moved?

And the rest could be stored indoors. They shouldn't be heavy, so maybe they can be stashed in the ceiling, or somewhere high up out of sight?
Transcription Site Rev Leaves Customer Data Out in the Open
If it was low-cost enough, I could imagine it lasting a few months at least! I don't know if hail is a year-round problem or not however
Not editable anymore but here you are (cf. http://us.metamath.org/metamath/set.mm ) :

h50::noneabove.1 |- ( ph <-> ( ( ps /\ ch /\ th ) /\ ( ta /\ et ) ) )

h51::noneabove.2 |- ( ps <-> ( -. ch /\ ( -. th /\ -. ta ) /\ -. et ) )

h52::noneabove.3 |- ( ch <-> ( ph /\ ps ) )

h53::noneabove.4 |- ( th <-> ( ph \/ ps \/ ch ) )

h54::noneabove.5 |- ( ta <-> ( ( -. ph /\ -. ps /\ -. ch ) /\ -. th ) )

h55::noneabove.6 |- ( et <-> ( ( -. ph /\ -. ps /\ -. ch ) /\ ( -. th /\ -. ta ) ) )

56:50:simprbi |- ( ph -> ( ta /\ et ) )

57:56:simprd |- ( ph -> et )

58:51:simp3bi |- ( ps -> -. et )

59:57,58:anim12i |- ( ( ph /\ ps ) -> ( et /\ -. et ) )

60::pm3.24 |- -. ( et /\ -. et )

61:60,59:mto |- -. ( ph /\ ps )

62:61,52:mtbir |- -. ch

63:50:simplbi |- ( ph -> ( ps /\ ch /\ th ) )

64:63:simp2d |- ( ph -> ch )

65:62,64:mto |- -. ph

66::3ioran |- ( -. ( ph \/ ps \/ ch ) <-> ( -. ph /\ -. ps /\ -. ch ) )

67:53:notbii |- ( -. th <-> -. ( ph \/ ps \/ ch ) )

68:67,66:bitri |- ( -. th <-> ( -. ph /\ -. ps /\ -. ch ) )

69:68:anbi1i |- ( ( -. th /\ -. th ) <-> ( ( -. ph /\ -. ps /\ -. ch ) /\ -. th ) )

70::pm4.24 |- ( -. th <-> ( -. th /\ -. th ) )

71:69,70,54:3bitr4i |- ( -. th <-> ta )

72::nbbn |- ( ( -. th <-> ta ) <-> -. ( th <-> ta ) )

73:71,72:mpbi |- -. ( th <-> ta )

74::df-xor |- ( ( th \/_ ta ) <-> -. ( th <-> ta ) )

75:73,74:mpbir |- ( th \/_ ta )

76::xoror |- ( ( th \/_ ta ) -> ( th \/ ta ) )

77:75,76:ax-mp |- ( th \/ ta )

78:55:simprbi |- ( et -> ( -. th /\ -. ta ) )

79::pm4.56 |- ( ( -. th /\ -. ta ) <-> -. ( th \/ ta ) )

80:78,79:sylib |- ( et -> -. ( th \/ ta ) )

81:77,80:mt2 |- -. et

82:51:simp2bi |- ( ps -> ( -. th /\ -. ta ) )

83::pm4.56 |- ( ( -. th /\ -. ta ) <-> -. ( th \/ ta ) )

84:82,83:sylib |- ( ps -> -. ( th \/ ta ) )

85:77,84:mt2 |- -. ps

86:65,85,62:3pm3.2ni |- -. ( ph \/ ps \/ ch )

87:86,53:mtbir |- -. th

88:87,75:mtpxor |- ta

89:65,85,62:3pm3.2i |- ( -. ph /\ -. ps /\ -. ch )

90:89,87:pm3.2i |- ( ( -. ph /\ -. ps /\ -. ch ) /\ -. th )

qed:90,88,81:3pm3.2i |- ( ( ( -. ph /\ -. ps /\ -. ch ) /\ -. th ) /\ ta /\ -. et )
> Most mainstream languages, however, seem to be verbose to approximately the same order of magnitude. My experience is mostly with C#, so I'll use that (and similar languages like Java) as a starting point.

I see this, too. For a couple decades, all mainstream languages had roughly the same order-of-magnitude verbosity, and then when GC languages arrived, it took a big leap. Now we've plateaued here for a while. When closures became mainstream, that was a smaller leap.

This leaves me optimistic for the future. I find Lisp to still be much more compact than mainstream languages. Maybe once this generation has fully accepted the current level functionality, and gotten tired or frustrated with it, we'll see another jump in mainstream language expressivity.
I've concluded that any linux phone will lack the frequencies my provider (t-moblie) is using for the next few years so I'm trying to figure out what to get for the next two years. I'll probably buy a pine-phone sometime after the full release though.
> Well, what's the culprit? A? B? C? D? E? F?

Probably, the one you just changed. How often is it really going to be that hard to debug?
Given that lorem ipsum is a fixed load of text, as you said, I would have expected a lorem ipsum for code to be a fixed load of code (that's nonsensical but looks real enough from afar).
Taiwan’s Pygmy Seahorses Have a Robust Social Media Presence
I don't use organice, but I do keep my org files in WebDAV. I use fastmail anyway and I've ended up putting them in the WebDAV provided by them, having tried nextcloud amongst other things. It's a really good solution. My laptop loads the webdav on boot, and my phone app will load from a webdav share as well. I also keep my kdbx files stored like this.
What utter bullshit reporting.

For context, this is a bill establishing religious and conscientious rights for students in state law, including things like an explicit right to refuse to participate in acts of collective worship at school, or in displays of patriotism. Its effect, unless I have missed something very important in my skim, is to protect students with minority religious beliefs (including atheism) from being bulldozed by the Christian majority. That's admirable! And it's necessary, given how many stories there are from conservative states in the US of students being unconstitutionally discriminated against by schools for their beliefs - for instance, for refusing to say the Pledge of Allegiance.

The bit that this article seems to be alluding to is this:

> Sec. 3320.03. No school district board of education, governing authority of a community school established under Chapter 3314. of the Revised Code, governing body of a STEM school established under Chapter 3326. of the Revised Code, or board of trustees of a college-preparatory boarding school established under Chapter 3328. of the Revised Code shall prohibit a student from engaging in religious expression in the completion of homework, artwork, or other written or oral assignments. Assignment grades and scores shall be calculated using ordinary academic standards of substance and relevance, including any legitimate pedagogical concerns, and shall not penalize or reward a student based on the religious content of a student's work.

It's pretty clear that what this is saying is that teachers must assess work in a secular manner; that if, for instance, if in poetry class a religious student writes a poem about how their god helps them through life, the teacher can't penalise them because they don't approve of the student's religious beliefs but must instead mark the poem on its poetic merit.

But Local12 decides to spin this as forbidding secular marking, instead, claiming that a student denying evolution for religious reasons can't be penalised for their scientifically wrong answer. Yet this is nonsense! The teacher is in fact required to mark the answers in a secular way - based on "substance" and "legitimate pedagogical concerns". The bill that they're saying forbids penalising this hypothetical evolution-denying students in fact requires penalising them.

But instead, through dishonest journalism, we have a good, liberal, secular bill being reframed as Republican-imposed state theocracy. It's bullshit, and it creates terrible incentives. Why should Republican lawmakers in conservative states try to stop conservative schools oppressing minorities over differences of belief if their attempts to do so are just going to get spun by lying journalists as impositions of Christian theocracy like this? They'd've gained more, politically, by doing nothing to help.
And if my grandmother had wheels, she'd be a wagon.

#IgnorantDesign
Giving btc a more regular market, one outside of gray- to black-market activities and speculation), would almost certainly help stabilize the value.
Tests don’t need to grade “maybe a tiny tiny tiny bit wrong” from “horribly horribly wrong and misinformed”

Evolution is not contested in the slightest. Should we grade tests to allow students to believe that things fall up?

If you think that’s hyperbole then that’s the problem right there. The whole evolution debate is so tiring.
Whenever you see "legitimate pedagogical concerns" in the scholastic context you should probably understand it to be referring to the Hazelwood standard:

https://en.wikipedia.org/wiki/Hazelwood_School_District_v._K...
Here's what I tend to do: https://medium.com/chrismarshallny/testing-harness-vs-unit-4...

Basically, sometimes, it makes sense to write tests beforehand, but most of the time, I use test harnesses, and "simultaneous test development."

Works for me. YMMV.
> The law is to protect students against anti-religious teachers who punish students for making religious statements

idk, it seems more aligned with protecting the weird thing some USA¹ Christians do where they take the Bible as historical fact re: creation of the world...

quoting the article:

> students can't be penalized if their work is scientifically wrong as long as the reasoning is because of their religious beliefs.

is science class really the place to do that? are we cool with Ohio children being unfamiliar with evolutionary theory because of their religion?

---

1. i'm not sure if singling out the USA is correct here, but it's the only country where i've seen this. even here in Poland, where a lot of people are seriously religious (Christian), this sort of thing doesn't seem to happen
I'd assume that's the point of the colour reference card. You know what the colours should look like when not under water.
At least the dongles are color-coordinated with the white polycarbonate MacBooks.
Discovered, sort of. His method was nearly the same as the one brought to Tao, but he didn't make the connection to the full correlation between eigenvalues and eigenvectors when dealing with real numbers. Tao used the method to explicitly prove this correlation when it was discovered by Denton, Parke and Zhang.
I would be interested in an experiment of exporting video to a frame sequence, and then letting the software process each frame. Would it make the same decisions on each frame so that when played back as video there is no visible changes between frames? While the results are impressive for a single still, using this to see movement that occurs underwater would be amazing with the improved color.
Which is obviously nonsense if applied to mundane things. For example, your religion might say that insects have 4 legs. That is not "unprovable" just plain wrong.
We may have diluted the meaning of refactor if we are arguing about pull requests.

Refactoring is an activity of small steps of a particular kind that are generally sound transformations. The biggest risk is transcription errors.

Of course one of the downsides of PRs is that the they muddle a sequence of individual commits and only show the cumulative result.

When dealing with individuals with these sorts of fears, you have to be patient and strategic. Pick the most powerful refactor out of a set of many useful ones and do them one at a time until you achieve the result. Essentially you have to boil the frog.
In Portugal it works something like this. If it's below 100€ it's very likely not to be taxed (but not sure if it's a hard rule) if it's above it gets stuck in custums you have to send the purchase documentation and you're charged for VAT (23%). Any other costs if exist are very low value compared to the rest.
I have used that add-on for a while, but half the time the video's stop playing after a while.

Instead I now have a youtube container and have set firefox to open all youtube urls in that container. That way all cookies and session are contained.

What you can also do is delete all cookies and site data when you close your browser and then add some sites to a whitelist (github, HN, etc) in order to prevent having to login all the time. In combination with a good password manager that shouldn't be a big problem anyway.
László Rátz taught math to both Neumann and Wigner:

https://en.wikipedia.org/wiki/L%C3%A1szl%C3%B3_R%C3%A1tz
Check with local hotels.

Hotels (alas mostly the business oriented ones) absolutely rent day rooms at reasonable prices if they have stock available.

Just ask around.
Or learn to meditate without crutches like this. I've learned to not rely on something outside of myself for my own peace of mind. That's what meditation is about: getting to know your inner self and calling upon your inner calm to face difficult situations.
Just because it works doesn’t mean it isn’t broken.
Why would it be a scam? They have a variety of products that are well regarded by the community, an active forum, etc, so why would they betray that trust for a $150 phone sold in a relatively small batch? They are also upfront about not providing software support, so their liability ends when they deliver a phone that meets the relatively modest specs they outlined.
About a year back I moved from 120 back down to 100. The rationale was that, even on a large monitor, it was difficult to fit multiple source files side-by-side at a font size I could read comfortably. On a laptop monitor, it was hopeless.

I also noticed, during code reviews, that people read and digest statements that are broken up into multiple lines much more carefully than they do compound statements that live on a single line. Leaving me to think that line width is not just an aesthetic matter. It's really a very impactful decision that can have an important, if subtle, influence on overall software quality.
In rodents, a drug mediates the abnormalities in Down syndrome
Web Summit cancels next year’s Rise conference over tension in Hong Kong
Show HN: When To Chat – A time zone tool for remote teams using Slack
I attempt to, but it often doesn't work out that way. I'd say maybe 40% of my tests are written before the implementation and I start 75% of the remaining implementations by writing tests before forgetting them and completing the implementation and writing tests for it after.
Maybe I am missing something but I think the inflammatory paragraph is this:

> Assignment grades and scores shall be calculated using ordinary academic standards of substance and relevance, including any legitimate pedagogical concerns, and shall not penalize or reward a student based on the religious content of a student's work.

I am not sure that it means that negating something that is scientifically proved is OK by "ordinary academic standard". Just that peppering a math paper with religious references shouldn't be penalized if the math is correct (not saying it is a good idea either).

Also, as far as I can tell, Darwinism isn't scientifically proven anyway. It is just a very convincing theory compatible with all sorts of observations, and for which we don't have a better explanation. But it cannot really be falsified. I don't believe in creationism but I don't understand why people get so upset about not taking the theory of evolution for granted.
They(Oyo) seem to an aiming it's focus for the convenience of booking/cancelling/payment s through their app, over everything else, and their app seems decent and focused to that end. That might appeal to many consumers especially in India, where the experience of booking a hotel stay in small and medium hotels is a terrible experience mostly, 8f you tried to do it your self, case in point the hotels in Pahargunj area in New Delhi.
"Piracy is a service problem." is an excuse thieves use.
What you write may be true for Asia, but if you’re from the US, it makes sense to be wary of hotels offering hourly prices since it attracts a clientele that reduces the quality of life at the hotel.

After having a neighbor who thought it's a good idea to turn her rented appartment into an illegal hotel I'd say exactly the same thing, regarding quality of life, about Airbnb.
Apple decided that their laptops are not power supplies. Is that so wrong? I need a single portable computer because it's expensive and has my data. I don't need a single dedicated portable supply.
Even Google fell for that one recently.
As a total aside - perhaps worth noting that the phrase "Brave Heart", at least in a Scottish context, has quite an interesting story that is nothing like the movie and actually comes from the alleged last words of Robert 'Black' Douglas during a battle in Spain against the Moors where he is supposed to have shouted: "Lead on brave heart, I’ll follow thee." and thrown the casket containing the heart of Robert the Bruce at his foes before diving into the fight:

https://www.atlasobscura.com/places/robert-the-bruces-heart:
Couldn't you then ask if the individual is willing to practice the prescribed belief over their own?
Industrial Production and Capacity Utilization
The case against holding any more women's rights conferences
was it really the laser to take it down?