skysight-inc/HackerNews huggingface dataset:
Towards making formal methods normal: meeting developers where they are
oso | Developer Advocate | New York City (NYC) | Onsite or Remote

oso (backed by Sequoia) puts security in the hands of the makers. We're doing this by delivering security as code, or as Charity Majors (cofounder & CTO of Honeycomb) put it, "Consumer-quality developer tools" for security (https://twitter.com/mipsytipsy/status/1288326027001782273) – beginning with an open source policy engine for authorization.

We open sourced oso this past summer, and the feedback has been amazing. We are out to build a big, vibrant community of open source users, and we need to be proactive to achieve that goal. To that end, we are hiring our first Developer Advocate. This person will report to the cofounder/CTO and work closely with him, the cofounder/CEO, and the rest of the engineering team.

We are hiring folks who want to put security in the hands of fellow makers. We are building the product in Rust, which we think is both a good design choice for our use case and a fun choice for the team. The team members who join now will not only have a disproportionately large impact on the product and the community, but also on the culture and future of the company.

We are based in NYC and hiring folks remote or onsite.

To apply, please visit https://www.osohq.com/company/jobs or email jobs [at] osohq [dot] com.
No, because in the U.S. we have this thing called "reasonableness."

Obfuscating the cache file effectively controls the work by preventing most viewers from making a permanent copy. It takes technical knowledge to overcome that measure. (Go ahead, ask any non-techie you know to download a copy of a video from Youtube without using a tool like youtube-dl. They'll fail.) That's a reasonable measure; it would prevent the overwhelming majority of the population from copying. It doesn't matter that it wouldn't protect against the entire population; in the real world, keys, safes, bike locks, etc. don't stop determined individuals either.

And the outcome, if youtube-dl wins this case? Youtube and other sites that feature substantial amount of copyrighted content will have to change the technical details of how they store temporary video content, ultimately rendering youtube-dl useless for all videos, not just the ones guarded by the RIAA. Win the battle, lose the war.
You said FP "breaks down" when handling mutability, and you attributed that to some vague sense in which "mathematics" is the cause of it.

I have no bias for FP. I just don't understand what you're getting at.

>the purity of haskell does not remove the necessity of mutating data in that database.

That's great, because the purity of Haskell does not inhibit mutability. It just constrains it to lie within some mutable context.

>Modelling mutation with purity does not eliminate the problem it only moves the problem to another location.

Location? What is a location? It's like you're saying you can't truly add 3 + 3, because someone still has to add 1s under the hood. It's just a different model of the same problem.

Honestly, it sounds to me like you've never used the language, and your criticisms come off a bit like standing on an aircraft carrier shouting about how iron boats will never float.
"There is no evidence to support this."

There is tons of evidence to support this.

https://www.theatlantic.com/magazine/archive/2019/06/trump-r...

"He has constantly condemned white supremacy. "

He has spent his entire Presidency dog whistling to white supremacist groups.

https://www.businessinsider.com/trumps-history-of-support-fr...

https://www.miamiherald.com/opinion/opn-columns-blogs/leonar...

https://www.latimes.com/politics/story/2020-09-30/la-na-pol-...
No chance of working remote from Europe, right? :P
Starting and using a Gmail seemed like a great move in 2008: I'm scared to death now.
Thanks for your effort, very cool.
> If there's one thing that Obama and the then-Democrat leadership abysmally failed, it is that they did not use the House+Senate+Presidency tripe majority to actually enact change in the first two years.

This is where Trump and the now-Republican leadership failed as well. Unfortunately the mainstream media and the perpetual insane tantrums thrown by the losers have crippled his entire term.

> I bloody hope that the Democrats can gain the Senate and especially that Biden will have learned his lesson!

I bloody hope that the Republicans can keep the Senate and that Biden will fade into obscurity like "Crooked Hillary" Clinton!
Historically, it was somewhat common for men to say to each other here "You must be smart and competent because you have a lot of karma on HN." People tend to not say that about me and when I say that about myself -- "Look, this is a metric right in front you that gets used to say other people here are smart and competent" -- it generally gets ugly reactions, as occurred here.

I'm trying to walk away from this discussion at this point. I haven't had enough sleep and I've been on HN over eleven years and the degree to which I still get treated like "Shut up woman, there is no sexism here!" is a point of personal aggravation and there is no good means to combat it.

Ideally, someone else should be telling people "She's probably the only woman to have ever spent time on the leader board and a respected and valued member of the community" or someone else should be telling people "She kicks ass. This is a list of her accomplishments." That's generally how respected men get treated.

But that's not happening and I end up feeling like I have no real choice but to defend myself at times, knowing that will also go badly and be used against me as evidence that I'm not actually important or respectable or smart and so on.

That's the essence of sexism. It's a damned if you do, damned if you don't situation. There simply are no good answers for me. They don't exist and trying to find them gets a lot of abuse heaped upon me.

I was openly homeless on HN for nearly six years. I remain dirt poor. I continue to get treated like I'm a loon who has no basis to claim any kind of competence at all.

And if I say that is evidence of sexism, well, that's just more "evidence" I'm some crank.

Anyway, I haven't had enough sleep. I have had more than I care to have of this type of conversation for today. I'm trying to walk away.
Many are remote and rural. Internet and network is frequently iffy. Has to work completely offline for hours at a time as needed, including after a power cycle.
Great article, lots of interesting history and context
True. But I was replying to a comment which mentioned using IMAP sync as a backup; both that solution and Google Takeout require access to your account.
In Saranac Lake, NY, there are several gas stations that sell unethanolated gasoline. It costs as much as super, despite having lower octane rating. I use it for boats. Some planes can also use it; though most planes using gasoline still use 100 octane (ethanol free) leaded gas.
Even for non-STEM students, the Pi setup seems fairly accessible.

From a quick online search, I could find monitors for $30 - $50 and webcams $20 - $30 which is pretty price competitive with a $200 - $300 Chromebook. The Pi community would help with any driver installation issues, and the Pi setup seems powered up enough to run Zoom with no issues.

Though I do see even cheaper Chromebooks in the same price range, so I wonder why / how districts are not able to provide these to students.
Lisp
I want to try out Lisp. The problem is that I want to use vscode since I'm accustomed to it and its tooling and I want a minimal lisp dialect. I tried out clojure but I really hated it. Any suggestions?
Epsy Health | Multiple Software Roles | Remote or onsite | onsite is London, UK or Houston (TX) | Full-Time | https://www.epsyhealth.com

Epsy is a leading digital health platform empowering patients, caregivers and healthcare providers: we give the world a better way to live with seizures and epilepsy.

We're looking for Software Engineers and Leaders across a wide variety of roles including:

- 3 Senior Back-End engineers;

- 1 Senior Front-end engineer;

- 1 Senior Android;

- 1 Senior QA engineer.

Enquiries and applications for all roles email: stars [at] epsyhealth.com

Apply: https://livanova.wd5.myworkdayjobs.com/Search/job/London-Uni...
> Farms are no longer economically viable.

Large scale farms at least. Some things like cheesemaking are still viable, because you only need a handful of cows to make an enormous amount of cheese.
Fedora Developers Discuss Retiring NTP, Deprecating SCP Protocol
It must be reasonably close, since both solar fields and traditional crops exist in Germany.

Of course both get subsidised to various extents, and the prices of energy, crops and labour all fluctuate - but you can guess they're equal within a factor of two.
Similar trend in lots of Europe. As farming takes smaller and smaller footprints to sustain us, the forests are coming back.

Between 1990 and 2015 forests in Europe gained 90,000 square kilometer. A whole Portugal worth of additional forest.

https://www.weforum.org/agenda/2019/07/forest-europe-environ...

In less naturally forested areas we have to be careful not to upset things like peat and bogs which are even better at CO2 than forests.
What characterizes the US is that whoever wins gets a LOT of power for 4 years. Especially if god willing someone on the Supreme Court dies.
> I think it's more important to have tooling that can tell when a video has been altered.

It's probably going to be a cat and mouse game. Think about how far along green screen technology has come. You watch a movie in the 80s and 90s today and the green screening is super obvious to our 2020 trained eyes. Imagine how someone from the 80s and 90s would perceive the greenscreening from 2020?

I imagine there will always be a cutting edge of deepfakes that will travel halfway around the world before the truth comes out and won't spread to all the people that believed the fake.

I can't help but to think that as a society, we're entering the "schizophrenic" phase of popular reality.

Read these quora answers on what it's like to have schizophrenia and think "What would a society collectively afflicted in the same way behave?"

https://www.quora.com/What-is-it-like-to-have-schizophrenia-...

It's going to be weird to see society have to operate in a state of constant disbelief of so many things that were previously accepted as fact.
I'm not talking about changing their free tier pricing - I'm talking about changing their functionality in a very limited way for ex-premium members.
I just hear a radio show about this.
Short answer - it depends.

CBC "What on Earth" https://www.cbc.ca/listen/live-radio/1-429-what-on-earth/cli...
1) People have been cloning the repo for a week. That's a pretty trivial search to do on Github/Gitlab/etc.

2) They can print out copies of Reddit, HN, other websites to show people bragging about using Youtube-DL to download music videos to "stick it to the RIAA." They only need to establish a specific number for purposes of statutory damages, if the case goes to trial. Otherwise, the specifics don't matter; only that many people are using the tool to infringe on RIAA-members' works.
There is no possible way the implications will be anywhere near the level of dire that you'd believe after reading the news articles and seeing people's internet comments and tweets.

I mean, people are talking about an overturn of Roe v. Wade, somehow failing to realize that RvW was ruled on by a SCOTUS with a conservative majority.

If Obergefell gets overturned (it won't), an actual law can be passed this time, hell maybe even a constitutional amendment, since nearly a supermajority of Americans outright support gay marriage.
There's what people say, and what they do. One way to get feedback is to install analytics on your product to see what users are doing, or what they are not doing. There are many solutions, we currently use PostHog[0][1].

If you don't have any, log user actions when they succeed or fail to do something. Even a simple log can tell you many things.

It also tells you if they're failing to discover or use a certain feature, or if they're using something in an unintended way.

You can set up Slack channels for your product to help users troubleshoot issues. We have workspaces where users can get help. Whenever the 20th user complains about something, what to do next becomes clear. We tend to focus on issues with high frequency and high severity as opposed to say stylesheets, but it's because the field is struggling not for lack of good CSS. But it may be different for you and you may have a product where the value of the product is the better interface. Adjust accordingly.

- [0]: https://posthog.com/

- [1]: https://github.com/PostHog/posthog
I don't get why people complain when China spies but when US does the exact same it seemingly doesn't matter. I don't condone spying at all just seems like hypocrisy.
What's your essential tools for every programmer?
"Viruses can be stopped. See South Korea, China, and Taiwan for a few examples."

China just had an outbreak of hundreds cases in the Uighur region.

What seems more likely: that China has truly "stopped" the virus, and it just re-appeared, miraculously, in one of the most heavily travel restricted places on earth...or that it's actually spreading in China, and testing isn't catching it?

https://www.bbc.com/news/world-asia-china-54687533

Also, you'll note the following quote in the story linked above:

"Asymptomatic cases are not counted in China's official tally of 85,810 confirmed infections."

As for South Korea, it still has regular outbreaks, including some large ones:

https://apnews.com/article/virus-outbreak-pandemics-india-ar...

Taiwan's success at managing the virus has come ~entirely from strict border controls. Being a tiny island nation certainly helps with this. They still have cases, but so far, they're all amongst travelers:

https://time.com/5905129/taiwan-coronavirus-record/

The overall picture here is that some nations have done better than others at controlling the virus (at considerable expense) but almost nobody can claim to have "stopped" it.
Specifically, what would you suggest applying this skill-set to?
Getting the Lead Out: Why Battery Recycling Is a Global Health Hazard
References? As far as I understand it, by personally visiting sucessfull alternative farms that are using management intensive grazing (holistic grazing, mob grazing, etc.), they really do have a paradigm changing method that could and should be adapted by almost all meat producers. The current practices are archaic and destructive and are completely missing the more recent (last 20 years) scientific advancement in understanding how to build soil, maximize forage use, and raise healty animals without the current massive use of pesticides, herbicides, and large expensive machines. The economics is there, the change is slow, but proceeding. Check out the research work at the University of Missouri by Jim Garrish, the Stockman Grass Farmer publication and the farms of Greg Judy and Gabe Brown, to start.
Squabbling over the Waters of the River Nile
when i first saw the video the rate of acceleration in the 300mph domain made no sense to me, given the power of the car. it didn’t creep up to 316! it should have.
around that time (2000) we passed the greenland ice sheet tipping point, and that's going to put a lot of water into the ocean.
This brings up an interesting question...

If a Fourier Transform can be computed from something in which Quantum Bits are implemented by some underlying physical system, then is there anything self-existing in Nature which could be used to (or does in actuality) implement a Fourier Transform?

Now, I don't know the answer to that.

Something not occuring naturally in Nature is a Prism, and a Prism splits light, and that's sort of, kind of analogous to what a Fourier Transform does, although, perhaps there's a limited range of frequencies at which the effect is applicable...

So now the next question is, is there anything in Nature, that is, naturally occurring, which acts like a Prism does?

Although, perhaps we're not looking for something that necessarily splits light, perhaps we're looking for something that splits other electromagnetic radiation, that is, waves of some sort...

Also, maybe there's some kind of naturally occuring shape of rock that could be used to "split" ocean waves into one or more component parts... while perhaps not a true Fourier Transform, it might be a step in the right direction for conceptualization purposes...

Anyway, just thinking aloud... It would be interesting to know all of the systems, both natural and man-made, which are capable of Fourier Transforms -- or even just splitting waves of different sorts into component parts...
I think pretty much everyone understands it to be immoral. There are just many people who continue to do it because they don't care about behaving in an immoral manner or are "just following orders", and many more who don't care enough to pay attention to what they are agreeing to all over the place.
Is there a way to check it out?
Afaik only ARM chips have no ME and PSP. Since ARM is British they should also be infected though. Your best bet is to wait for a EU chip.
Yes, I've also had it done and it was the same experience. (In fact, waking up after propofol was perhaps the most pleasant two minutes I've had in the last ten years.) Just like the procedure itself, the vast majority of times it's fine. But when it's not, you are looking at life-threatening complications: bleeding, tearing, infection, etc. This is why the recommendation for such screenings is so conservative.
? This is source code not spying
Thriver | Senior FE Devs | Toronto, Canada | Full-time | Onsite (Remote for now)

Thriver (https://www.thriver.com/) is looking for sharp, focused, and clever senior developers to help shape and build our outstanding team. The ideal candidate has experience, a track record of good judgment & positive impact beyond the code they write.

We believe great things happen when you bring your people together to break bread. We believe modern technology should be used for good - like fuelling the culture of the biggest companies in the world. Our problem has become so much more difficult with the pandemic, how do we keep people engaged and together even though we're all kept apart? That's our mission and what we're building.

The tools we're using day by day on the FE include Angular & React using Typescript & GraphQL. Supported by a BE on Rails/Kotlin.

We value diversity and are committed to equal employment opportunities. Whoever you are, wherever you’re from and whatever makes you unique, we’re here to celebrate it! We’re also here to celebrate your dog, which is welcome at work whenever you want (if we ever get back to the office).

The role is here: https://angel.co/company/thrive-er/jobs/895665-senior-front-....

All our other roles are here: https://angel.co/company/thrive-er/jobs.

We were recently in the news, here's some light reading: https://betakit.com/platterz-raises-43-8-million-cad-series-...

Any questions please shoot me an email here: nathan AT thriver DOT com
Not this time as all parameters are worsen by each year, Australia and California wildfires, lose of ice, most significantly thawing permafrost at Siberia that contains potential of 100 - 1000 Gt of CH4 (Methane 75 times more potent than CO2 currently there is only 5Gt of methane in atmosphere) which would be enough to tip things over instantly ...

In fact it was never "always 10 years" as tipping point has been considered 450 ppm (it could be sooner), and CO2 is steadily increasing currently is 412.16 ppm. https://www.co2.earth/
So we can estimate how much time is left by progression.
In the 80's I thought no way it is impossible for software development to thrive without copyright protection.
Just wondering, before the pandemic broke, was each countries' accounting of their co2 emissions in dispute? In other words, if you summed up every country's estimate and compared it to actual global co2 levels, was there a huge mismatch? I'm hesitant to take the tweet at face value, judging by the other posts the twitter user made.
>Do we really want to live in a world where it is not possible to behave irresponsibly because all options were taken off the table?

I lived in Singapore for a few years and that pretty much is that world and I was very happy. Don't really see the problem with banning things that people cannot stop to use irresponsibly and that cause loss of life, including cars. (well technically they're not banned, a license is just hard to get, 10% or so own a car).

Build good public transport, walkable cities, done. I mean have you actually considered how mental it is that we let people roam around in two tons of metal at high velocity next to pedestrians just to buy a bag of groceries. If people look back at this in 500 years we'll look like crazy cavemen
Pulley | Engineering & Design| Remote or Bay Area

Pulley helps startups manage their cap table and equity. We're a small team of former founders (4 of the 8 are YC founders). We're growing quickly and hiring across the board. https://pulley.com/

To apply, send us a note at careers@pulley.com
Amazon scientists are helping the Scout delivery device find a path to success
I think this idea of adding additional layers is on the right track because it confounds the deepfake generation problem by adding a curse of dimensionality. You can't just fake 2D. You need to fake 3D which is much harder.

I'm curious what the equivalent of "3D" to "2D" will be for deepfaked voice would be.
> how's this https://stackexchange.com/performance different from any so called workloads

StackExchange is largely a CRUD app. High volume of tiny requests that hit the app layer, then the database, and back. Other organizations have lower volumes of compute-intensive requests, async tasks, etc.

With respect to the size of an organization, the cost of coordinating deployments and maintenance over a handful of servers grows with the size of the organization. It frequently behooves larger organizations to allow dev teams to operate their own services.

None of this is to say that there isn't waste or poor decisions throughout our industry; only that it's not the sole factor and SO's isn't the ideal architecture for all applications.

> my guy

I'm not your guy.
I also didn't see this in the Terms of Service. Where are people reading this?

If someone stops paying for private data hosting, then I'd expect them to lose private data hosting -- in full. I don't see how the "private" in "private data hosting" could be seen as severable without explicit agreement to such a provision.

By analogy, it'd be like if someone requested a plumber come by to their house to replace their toilet. Then when cancelling the request, the plumber said, okay, we can cancel, but the customer must accept the free version of this service: they'll come by and take the old toilet away -- because this is a free service, cancelling the paid version merely cancels them putting in the new toilet, but they still get the old one.

It seems to me that a customer who cancels something shouldn't be forced to accept a substitute service. It'd seem reasonable for the service-provider to ask if the customer wanted the substitute, but language implying that the customer must accept it seems wrong.

But, is that what's happening here?
In the video you can guess that the engine power wasn't the limit at all. It was still accelerating super fast when reaching their top speed.