skysight-inc/HackerNews huggingface dataset:
I'm honestly having trouble deciding if you're trolling or not. Do you really not understand that it's not binary but about the chances? isn't it simply how many out of a some big number of vaccinated got it and how bad did they get it, versus how many out of the same big number of non-vaccinated people got it, and how bad did they get it?
Sorry to hear you had trouble with our interface. We do have some pretty substantial updates planned for 2022 and would love to have you back. Feel free to shoot any feedback to ted [at] namecheap.com.
Vector Informatik, GmbH | Software Engineers and Research Engineers | London, UK and Rhode Island, US || http://www.vector.com

Vector Informatik is a leading provider of innovative software testing solutions for safety and mission critical embedded applications. At Vector, we have many tools that aid development teams in building high quality software, and have active research initiatives to extend this portfolio. We are looking for research engineers and software engineers to join our research group to help build the next generation of software verification tools.

Feel free to reach out to me directly if you have an interest in any of these roles: andrew.jones@vector.com.
Flash storage controllers which do not properly implement secure erase are extremely common and nearly impossible to verify.
Stride | Staff Software Engineer, Web Frontend + many other positions | REMOTE (non-US OK), San Francisco, Salt Lake City, Miami

At Stride we're working on a benefits suite for what we believe is an underserved community – freelance and gig economy workers. We want to create economic security for anyone who works for themselves. We offer an easy way for 1099 workers to apply for health/dental/vision coverage. We're also expanding to other spaces like tax and financial management, so as to make it financially accessible for anybody who juggles multiple gigs, or is just pursuing a dream on their own.

As a business, we sit on a unique position and have partnerships with a ton of giant companies (think Doordash, Postmates, Instacart, and many more) who want to better serve their workforce. It's rare that a startup has a good mission and a good business, but here we are. We're currently in hyper-growth mode, and have expanded our Engineering team from 12 to 30 people in the last several months. This year we're planning for our revenue to multiply significantly. We are backed with plenty of capital by world-class VCs like NEA, Venrock, F-Prime, and others, and just closed a $47M Series C with strategic investments by Mastercard and others.

On the engineering side we use React, Node, Typescript, Serverless, Terraform, GraphQL, Postgres, AWS Fargate/SQS/Lambda, Python, Scala/Akka and some cool machine learning models you're going to love hearing about. You'll have a leading voice on the future of our web app architecture and infrastructure.

Originally headquartered in San Francisco, we now are a remote-first company and nurture remote workers from all over the world (Americas preferred due to timezone reasons). We offer fantastic benefits (after all, it's our product!) and you'll be surrounded by the most driven, smartest people I know. We have a supportive, productive culture that's respectful of your own personal time and well-being.

https://www.stridehealth.com/careers but hit me up at pedro.tabio at stridehealth.com and let's talk :)
Why do I enjoy these raspberry pi articles so much?
I'm currently working for a company that forces office staff to work a half day on christmas eve with the additional stipulation, of course, that you must burn a full day of vacation to skip it. This despite the fact that no one in the company can ever remember a customer calling on christmas eve.

So I'm very skeptical that this trend will grow. It took the IWW to get us the concepts of The Weekend and Sick Days, and I expect it will take nothing less extreme to claw back any more of our time from the corporate slave-driving overlords. Absent a few easily-dismissed outliers, of course.
Alley | Software Developers | UX (Front-end) Developers | Full-time, Remote

We’re hiring at Alley (alley.co) and Lede (joinlede.com)! We’re looking for software developers and user experience (front-end) developers to join our team. We’re a people first, equity-minded company and we hope you’ll join us! Apply using the links below:

User Experience (Front-end) Developer: https://bit.ly/3uG3cDd
Software Developer: https://bit.ly/3patr3z
Software Developer for Lede: https://bit.ly/3lmGQF6
I manage the MuJoCo.jl wrapper, and having the source code wont (naively) help with AD. Internally, there's a number of iterative algorithms that you wouldn't want to automatically differentiate, and if analytical derivatives were apparent they would be in there (the MuJoCo creator was my advisor). As it stands, finite differencing is the best way to extract derivative/gradient information from the underlying physics model of MuJoCo, and is the suggested method.

We had a paper that included MuJoCo (with custom defined adjoints) within Julia's DiffEq framework to learn continuous control policies (https://arxiv.org/abs/2012.06684) which revealed a whole host of other issues, namely that gradients are not all that helpful when your optimization landscape is insanely non-linear. But that's a different problem.

Open to chatting about; Julia is definitely the tool for this kind of work.
Yeah, interesting. I agree about the blockchain parts.

>> certifying the holder's identity and citizenship and entitling them to travel under its protection

Couldn't a company certify someone's identity too and provide the "protection" too?

>> Not really. What would it even mean?

For example, people from <bad country> wouldn't be denied entry to another country just because they were born there. A company/org could provide a more hollistic identity?

Finally, couldn't the transition start if a small country rents its passport-issuing powers to a company for a fee (similar to the golden visa programs)? That could get the startup going, allowing it to offer passport subscriptions (without nationality perhaps) to citizens of the world?
That seems more of a media effect than a brain effect.

A negative thing about a high reputation company gets published in "serious" outlets or upvoted on social media.

A negative thing about a middling reputation company is buried on page 7.

I'd say it's the "Wow, this was on the front page of the BBC" effect that triggers the brain response, moreso than the fact that it exists at all. (Coupled with the fact that you probably won't see much of what's on the proverbial page 7, ever)
I'm definitely calling it that starting today.
Public schools in many (most? all?) municipalities require kids be vaccinated against several things before being allowed to attend school. This has been the case since well before I was born. This is a government setting the requirement. Now, perhaps it is not legal for the federal government to set this sort of requirement. But maybe it is.
I think there's a difference between bg check and references. Most companies I have talked to, don't extend offers till they verified references. But the bg checks happen after you sign an offer and there is a clause in the contract that if the checks come out to be bad, the offer can be rescinded. bg checks usually are just a check on criminal history and whether your past work experience is what you say it is. References are usually about whether their estimation of you and your skills match up with people who know you better.
I can have a beer in the piazza with my friends in Europe. I can even have one in the car as long as I'm a passenger and the driver isn't drinking. People can build a 6-unit building in most areas in most towns. They can start a business without being required to provide a sea of parking.

Another enviable feature of European democracies is that the group that receives the most votes ends up being the group in power.

Plenty to dislike as well, but it's always a compromise.

Also, 'personal freedom' comments are ... pretty ironic today of all days. "Tell me you're a dude without writing you're a dude".
Consumption of alcohol and sugar stresses the liver, at least, to my understanding. Chronic stress eventually causes malfunction. But I'm no expert here.
> Because there's no thrill in that

No, it's because there's no political gain in that. This is a result of politicizing everything.
I think the point is that many people _are_ busy with familoids. I took them up on this offer early in my career when I had less "adult" responsibilities, but as those tend to increase it makes this increasingly hard to deal with.
Farmstead | Senior Software Engineer | Full-time | REMOTE

Our mission at Farmstead is to make fresh, high-quality food accessible to everyone. We're a growing online grocer that delivers out of our own warehouses as a cheaper and more environmentally friendly alternative to Instacart.

Part of being accessible is being able to accept SNAP EBT payments, which we just announced publicly yesterday:

https://www.supermarketnews.com/online-retail/online-grocer-...

We have lots of product and engineering roles open. We're especially hoping to find senior engineers to

- lead the design and implementation of a new consumer web shopping experience (React & Typescript)

- lead operations automation & tools (Rails, AWS, React)

https://boards.greenhouse.io/farmstead
While I like the idea of using blockchain-determined name ownership; there's a few problems. First, you have the problems that you get just because of how blockchains work[0]. But moreso there are specific chicken-and-egg problems with migrating away from standard DNS:

- Because DNS is well-established and everyone uses it, most websites want to be registered in DNS, and blockchain names provide little to no value to them.

- Because blockchain names see little usage, most ISPs see no need to resolve them in addition to or overlapping standard DNS names.

For a blockchain name system to actually succeed, you need buy-in from large network operators. Most network operators, for better or for worse, have just decided to trust ICANN and ICANN alone. At the very least, you would need IANA and ICANN to agree to set certain TLDs aside for competing naming systems so that network operators could be confident that resolving them wouldn't cause security problems.

[0] specifically the whole 'immutability' and 'no central authority' thing legalizes certain kinds of theft
Squareat meal pods now available to buy
Even the Apple store does this when you take your phone for repair. I only did it once and they did a crap job anyways (screen replacement, and they got dust in the camera lens area somehow).
Not to be confused with IBM's approach of aquiring a license for evil.

https://www.youtube.com/watch?v=-C-JoyNuQJs&t=2442s
In Supabase we use a separate Auth server [0]. This stores the user in an `auth` schema, and these users can login to receive a JWT. Inside the JWT is a "role", which is, in fact, a PostgreSQL role ("authenticated") that has certain grants associated to it, and the user ID (a UUID).

Inside your RLS Policies you can use anything stored inside the JWT. My cofounder made a video [1] on this which is quite concise. Our way of handling this is just an extension of the PostgREST Auth recommendations: https://postgrest.org/en/v9.0/auth.html

[0] Auth server: https://github.com/supabase/gotrue

[1] RLS Video: https://supabase.com/docs/learn/auth-deep-dive/auth-row-leve...
Yes, many are refusing to implement it due to security concerns. A notable one is Brave, which is based on Chromium, and yet refuses to enable it (https://github.com/brave/brave-browser/issues/11407).

I'm skeptical that reducing access to the FS actually protects users. Those that would be fooled by scams based on FileSystemAccess APIs would very likely be fooled also with other less intricate tactics. So I doubt that the overall security of users is in practice affected.

At least, browsers that refuse to implement the FileSystemAccess APIs could implement them, but leave them disabled by default, and require some non-trivial action to enable them. So users with a very basic understanding of how things work in the browser would not be able to enable them.
I'm also doing it in Typescript this year, but I'm doing it in the browser to get a little modern web experience (I'm a C++ developer by day). I have a pretty nifty setup with Snowpack that will rebuild it and refresh the browser automatically when I save, and a little scaffolding for making a widget for a problem, I don't use a framework: https://github.com/melted/aoc2021.
A coworker at a previous four person startup was always advocating microservices.

Having to push back on that over and over was frustrating.

We didn’t even have a real devops guy, or a vpc with properly partitioned CIDR blocks to segregate our databases from the public web and we’re going to start adding the complexity of a microservice architecture?

For what! We didn’t even have _users_ yet.

But try to get folk to dogfood our application since we had no actual users besides the founder and it was like pulling teeth.

Totally backwards to me.
Haven't they fought Apple on that in the past? AFAIK they still have to rely on exploits to get past the pin code. If that's not true I'd like to know.
Sure, I believe it happens in pockets, though it's very clearly spelled out company policy that this process is not a second interview. But people are people and supply/demand rules apply here as well. It also more often took took the form of who a hiring manager might reach out to vs not. As a hiring manager, I and my peers engaged in good faith AFAIK with bootcampers that reached out directly. Given the many openings in our growing teams, doing otherwise would've been foolhardy.
Well, even the most modern smartphone uses an icon of an analog landline handset to represent "make/end a call". She may have recognized that.
Turks Flee to Gold, Bitcoin, and Foreign Currency as Government Devalues Lira
USB does that too
Can't find part 2 on the site, had to google...

result = 0
addend = 1
for divisor, desired_offset in [(7, 0), (13, 1), (59, 4), (31, 6), (19, 7)]:
# keep trying numbers until we find the one that, with
# the desired offset added to it, would divide without
# remainder
while (result + desired_offset) % divisor != 0:
result += addend

# adding another addend should not break previous results
# so make it divisible by all previous divisors
addend *= divisor
print(result % (7*13*59*31*19))

This algorithm self-evidently works and is indeed "fast enough" if done by the computer.
IntelliJ's git view can do this too. You can select a file, view its complete history, and view a diff between any two revisions, as well as see the complete state at any revision. And the commit messages are in a subframe.
No plans for that. We have never even taken any investment and luckily have been growing substantially over the last few years as a bootstrapped company.
"Y"
Genesis Therapeutics | Burlingame, CA | Onsite (Flexible WFH) | Full-time | https://www.genesistherapeutics.ai

We’re a hybrid AI + biotech start-up, developing novel deep learning and molecular simulation techniques to predict molecular properties and using them to accelerate the development of new medicines.

We raised $52M Series A from Andreessen Horowitz + well-respected biotech investors, and have deployed our technology on several internal drug programs as well as a multi-target collaboration with Genentech, driving discovery progress at a speed rarely seen in the industry. Now we are scaling the team and technology to support many more programs in parallel as well as increasingly difficult protein targets.

We currently have a team (https://www.genesistherapeutics.ai/#team) of about 30 people, split 50/50 between our ML / software team and our biochem team of veteran drug hunters in our own wetlab space. Our ML + software engineers are top-notch -- many graduates from MIT, UC Berkeley, Stanford. Previously worked at OpenAI, Google, Facebook, MemSQL, Jane Street, etc.

We're looking for pure software engineers (no bio or chem experience expected) to help scale our cloud infrastructure and build internal tools for our ML and chemistry teams. We have an autoscaling cluster of hundreds of GPUs and thousands of CPUs processing billions of molecules / day, with a spiky, heterogeneous workload of deep learning training + evaluation as well as molecular simulation. See the full job description here: https://jobs.lever.co/genesistherapeutics/e76a97f1-1157-4bb7...

We're also hiring ML research scientists and computational chemists. Here are all of our open roles: https://jobs.lever.co/genesistherapeutics/

Interview process: 1-2 one-hour technical phone screens, 1 day on-site (optionally virtual) with 3 one-hour technical questions. All these include extra time to chat, answer your questions about Genesis, and meet us. Can go from first email to offer in a week or two

Tech Stack: python, C++, pytorch, postgres, flask, docker, kubernetes

Please apply on our website, or feel free to reach out via email directly: ben@genesistherapeutics.ai
IS this title correct? The title on Reddit says:

> Sent my phone to Google for replacement. They fixed the old one and used it to post nudes on my wife's social media and steal money

It doesn't say they pulled wife's nudes from the phone and posted them online, but that they used the old phone to post nudes on the wife's social media...

Or did I miss something?
Elementary | Software, DevOps Engineers | Remote and/or Los Angeles | Full-time | https://elementaryml.com

Elementary delivers IoT-connected cameras to manufacturers for quality assurance. We have a full-stack engineering team (edge hardware, SW, IoT, cloud/backend + frontend) that delivers an end product which allows non-technical users to label, train and deploy custom ML models for their products to the cameras in their factory. We're scaling rapidly through the first quarter of 2022 in order to meet customer demand.

Open roles can be seen here: https://boards.greenhouse.io/elementary

Our tech stack includes:
- Python (edge + backend)
- C++ (edge)
- Docker (edge + cloud)
- Redis (edge + backend)
- Django (backend)
- AWS S3, ECS, RDS, Lambda, SageMaker (and others)

We also open-source our edge microservice SDK based on Redis + Docker: https://github.com/elementary-robotics/atom

Please feel free to send email me directly to discuss and/or submit your resume / CV to dan [at] [domain.com]
I think he threw this background check thing out there as a red herring. You're telling me that a standard background check for a candidate succeeded for Google and two other big tech companies but not Stripe?

No, what probably happened is that the job opening was for a particular team, but the team got re-orged and some exec took the headcount away from them.
Yo these keep randomly printing out at my job
I'm there with you 100%. I just took a break after 6 years of consecutive employment. Apparently I did well at my job - remained an IC, but was given more recognition via titles and more and more cross-org design meetings. But now after 6 years of solving hard big scale problems, I've got to come back to how to interview for companies again. Incredible waste of time spending days studying leetcode, interviewing for companies I'd likely not work for just to practice skills I haven't needed in 6 years.
I remember a friend who's dad knew somebody from school who had a great way to make money. He would 'guarantee' he could get somebody into one of their top 3 schools because he had inside contacts. If he was unsuccessful he would return the money as part of his guarantee (he did actually do this, it wasn't a total fraud).

The brilliance was that he did nothing. If the person got in he would keep the money. If not, he would return the money!
MLabs is hiring Haskellers/Purescript Developers! (Full remote, worldwide)

We are a rapidly growing, globally distributed software consultancy, working with Haskell, Rust, and Python.

Currently we are looking to fill a position with a great opportunity to use both Haskell and Purescript.

You will be a part of an established team and work collaboratively to come up with solutions, on an ongoing contract basis.

Experience and/or interest with any of the below technologies/business fields are an asset:-

- Blockchain, Especially Cardano or Ergo
- Functional programming
- Finance
- Consultancies/Agencies
- NFTs
- Web Stack
- Formal Methods, Dependant types, theorem provers
- Sales engineering
- Cybersecurity

We offer competitive salaries and varied shift patterns to suit everyone. Whether you want to work one day or a week or five we want to hear from you!

For more information about these roles and applications, check <https://apply.workable.com/mlabs/j/63DAAA4AEF/>

In case of any questions please send an email to: oskar@mlabs.city

We will get back to you as soon as possible!
Every time something like this gets posted on HN, my brain does the same thing: “Neat! I wonder what Jeff Geerling will think of—Oh! This _is_ him!”

Keep up the good work, and looking forward to hearing about if you’re able to get those Coral AI TPUs working!
Sure, there is a long tail of web API's like this but they tend to be very specialized. They are easily avoided and ignored by most web developers, who likely have no need for them in the first place. (Both WebGL and WebGPU are arguably in this category - you are unlikely to need them for your website.)

This is nothing like the situation was with IE6. Back then basic functionality was half-broken and it was hard to get anything done without a pile of hacks.
When did you last check? What packages were in use? On a toy project built from 2020.3 I have 2.2MB of WASM.
I can't tolerate the global exploitation of non-ruling people in every nation by their rulers via fiat money manipulation. (And every nation calling itself a "democracy" is actually a "bureaucracy.")

If you aren't upset about this, you probably haven't studied it. I say that in a spirit of helpfulness. Fiat money grossly distorts all of humanity's economic output and therefore retards our progress on all things, including fixing climate problems. Just one example: The US is becoming a nation of renters because enormous funds are buying up the houses with fiat money they borrow nearly for free.

Fortunately, with bitcoin, we can do something about that, without (eventually) harming the environment.
In that case I don't understand your objection; the president is an elected official, so if this department head is acting on behalf of the president, the argument that this was done by an unelected official is kinda irrelevant.
Darebee could use some group exercises.
This is why I don’t understand why LGTBQ generally leans left. The right is generally more about freedom and diversity of thought, while socialism/communism leads to outcomes like those happening in China.

Sorry if this is a political comment which doesn’t fit with HN guidelines(which I’m having difficulty understanding too)
>A bit under half of Americans have already caught covid

No- that many have had a positive test or other diagnosis confirming covid.

There were plenty of non-hospitalized, non-diagnosed cases before the tests existed. And plenty of people have had it and never saw a reason to get a test to confirm it.

I'd say we're far above that estimated number.
You’re right, everyone has a need for privacy, and there is almost always private info on devices people use. So why is “advice” to avoid repair and eat the costs considered a tenable solution?

The “advice” would also apply if you ever logged into your bank or bought anything, if you ever read your email, if you have any secret keys or certificates for authentication of anything, if you ever visited a web site or searched for something you wouldn’t want someone else to see, if you have a list of contacts, if you have any personally identifiable information, if you ever worked on something considered confidential by your employer, etc., etc., etc.