skysight-inc/HackerNews huggingface dataset:
OpenUnit | Full time | Remote only | https://www.openunit.com

OpenUnit provides management and payments software for the +$50B self-storage industry.
I’m looking for people who (still!) want to work with Ruby, and who are at least a little skeptical of JavaScript SPAs. There have been some great updates lately to the Ruby on Rails ecosystem with the introduction of Hotwire.

Remote only, but US/Canada based is easiest for me to work with.

We’ve raised a small seed round, with notable investors from the self-storage industry. You’ll get full transparency of the company’s cap table and balance sheet, and you'll work alongside a small engineering team that consists of three people.

You’ll spend basically all of your time building and very little of it in synchronous meetings.

Contact via email in profile, or check out our job posting[1]

[1] https://www.openunit.com/jobs/senior-software-engineer
Culture is to humans as water is to fish.
Similarly, a "six figure salary" adjusted for inflation from 1980 now actually means over $300k
Yes. It might be worth a look at the Ghost Ship fire of five years ago.
I suspect there’s more to the argument than than is being analyzed here, but there are some interesting points in terms of who stands to benefit from a closed vs open information ecosystem.

I’d be interested in seeing elaboration on those ideas. I think there’s probably more going on here than a zero sum game of competing geopolitical powers.

A couple things that come to mind:

1. Cultural exchange. Open networks make it easier to gain access to media that may not reflect views one grows up with. I suspect that without broad exposure to different ideas/lifestyles/values, more places would trend towards nationalism.

2. Scientific progress: COVID was an excellent example of the international scientific community coming together to face a global issue. What could similar events look like had we not had pre-existing research agreements or openly available data on a crisis?

Would love to here more on these topics.
No, it doesn't. Those aren't designed to make a bridge between untrusted networks. With a phone, they're usually on either LTE (which is generally regarded as reasonably secure) or your home network, but not typically both at the same time. Someone at Verizon could hypothetically exploit my phone from inside their network and then use that to attack my home LAN but that seems a pretty low risk.

I don't believe that any of my neighbors has worked as hard to secure their home network as my cell phone carrier has.

The number of prior vulnerabilities isn't relevant here. Up until now, an Alexa has been more or less a "dumb" client that relays voice samples to a cloud server for processing. Now it's being repurposed into a new role as a network server itself, running new software that hasn't yet been widely tested, which implements a new network protocol which hasn't been widely deployed.
I really don't think meat is even nearly on the same plane as bathing water and sleep are as far as human needs...

Meat is relatively new in terms of accessibility to the global population. Especially in the size of portions and frequency in consumption.
The GPL gives you a licence to the code, you don't need to own the copyright.
> More like a necessity to keep the project alive. Half of the top contributors threatened to leave when FSF tried to coup the steering committee.

(Replied to you in another place as well) what is the source for “coup the steering committee”?
We have a great relationship with the Xsplit folks and they even sponsored the project for a year when we launched our OpenCollective :)
Isomorphism implies that there is a complete reversible mapping (a bijection) between structure A and B .

Real number under addition are isomorphic¹ to positive real number under multiplication. Yet they are not the same objects.

1- The mapping is f(x)=e^x. See https://math.stackexchange.com/questions/573794/prove-that-m... for the proof
> Apple: Their device: "Hi, I'm an AirTag! This is my serial number!" Your device: "hey Apple, I was at (X, Y) when I saw this serial number."

> Amazon: Their device: "Hi, can I send traffic through your network?" Your device: "sure, buddy!"

I think you're mis-characterizing Amazon here. It's not "can I send traffic through your network", it's "can you pass this message to Amazon for me? Amazon will pass it on to my manufacturer." The devices in question can only talk to a specific set of Amazon servers. They can't talk to any systems other than the Sidewalk Servers.
This article says nothing about the safety of ibuprofen, which has different (generally safer) toxicity than acetaminophen/paracetamol.
Lightstream has also been around and doing the same thing for so long that they rebranded once form their old name Infiniscene
I’ve lived in the US for 30-some years and could really only tell you the drinking habits of myself, my wife, and a few close friends with any kind of accuracy.

Do you do research on drinking habits? How can you assume to know so much about the US’ drinking habits in general terms?
I don't buy this for a second. As long as people have had homes and been able to store alcohol they've been drinking alone. Just read any piece of literature from the past 2000 years.
This is not quite how GPS works. Because of relativity, there is a difference between local time and remote time for all GPS satellites relative to the drone.

Jamming nowadays does not work by simply throwing off random numbers. This is trivially defeated by gyroscope. It works by feeding time data that initially is exactly the same as the satellite, and slowly changes that as if it was in some other plausible direction, ultimately giving total control.

Against primitive forms of jamming, sure this might work. Against modern spoofing attacks, no there is no fix. Overall, what worked works and what doesn't work won't.
> If the cost of gas after inflation is as stable as that graph suggests

They are actually adjusting retail price of gas for the CPI component for gasoline. Which is a dumb thing to do: by definition that should be completely invariant, but it doesn't tell you anything except how well aligned the gas price average they are using is with thr one the BLS uses to calculate the CPI component for gasoline.

For which the answer is “close, but not perfect”.
AstraZeneca | Multiple Roles | NYC / Waltham, MA / Gaithersburg, MD / UK | Full-time

Do you want to apply your skills to impactful patient-facing problems?

At AstraZeneca’s Digital Health Human-centered AI and Machine Learning team our mission is to empower our patients. We seek to leverage the latest machine learning, device analytics and interactive data visualization methods to empower our patients and health care providers. As a leading global pharmaceutical company, our aim is to reinvent healthcare by focusing on the patient journey. Our focus is to reduce patient burden and develop methods to enable patient-centric clinical trials and healthcare.

We are currently recruiting for a Senior Data Scientist and a Principal Data Scientist role with a passion for time series analytics, and device data. A second Data Scientist role focused on interactive visualization of high dimensional multi-modal data is open.

Please see links to the job descriptions below.

We look forward to hearing from you!

Senior Data Scientist:
https://astrazeneca.wd3.myworkdayjobs.com/en-US/Careers/job/...

Data Scientist Role focused on interactive visualization of multi-modal data:
https://astrazeneca.wd3.myworkdayjobs.com/Careers/job/US---G...

Principal Data Scientist Role:
https://astrazeneca.wd3.myworkdayjobs.com/Careers/job/US---G...
All of the above.

I eat less than the average bear, I am overweight (although not absurdly so), and don't snack while drinking. I will occasionally go a week or two in which I only have one or two beers, total, and I have noticed that my appetite is significantly larger on latter half of those weeks.

Weight is one of the primary reasons I am considering drinking less, although there would have to be quite the associated and significant lifestyle change for it to stick.
ROM site owner made $30k a year–now owes Nintendo $2.1M
Rational people bought bidets or just used the shower already installed in their bathroom, rather than going full Road-Warrior in search of toilet paper. Non-rational people chose otherwise.

In this case, too, rational people will substitute other proteins for beef. As a beef producer, I'm glad most Americans aren't completely rational consumers.
The vaccine reduced deaths by 95%. It seems pretty effective.
From the article:

>Storman has admitted that, in 2019, the site made up the bulk of his $30,000 to $36,000 a year in income. This included direct revenue from the sale of "premium unlimited accounts" for $30 per year that provided users with faster downloads and no limits. By the time Storman signed a September 2020 agreement with Nintendo to shut the site down, he said he was deriving $800 a month from the site. According to court documents, Storman's income is now derived primarily from "unemployment and food stamps."
Okay, let's assume that you have a bunch of Blu-ray disks with backups of your databases - for a round number suitable for some enterprise, let's assume a hundred separate systems, but you want to restore just the important stuff, so a dozen of them. How do you do that if all your infrastructure is toast? Also, how do you restore a cluster of interconnected systems from different vendors? I mean, all of that is done, but it's far from easy or trivial, and if you're not properly prepared, backups alone aren't enough as it'll take a lot of time and work until you have the systems functional and properly interconnected so what you can restore the data to them.

Those systems aren't simply deployable overnight, and I would presume that for at least half of these systems the enterprise never ever had the capability to deploy them, the initial install was and configuration done by a combination of vendor engineers and outside consultants and took six or more months. Sure, you'll recover the data eventually, but you'd rather pay a ransom to avoid as much downtime.
But I really want to sound less Russian and more American (love the US accent).

You probably should look at the 'Mid-Atlantic' accent as a goal.

https://en.wikipedia.org/wiki/Mid-Atlantic_accent

(For what it's worth, I like the Russian accent. But a Mid-Atlantic accent has more marketability.)
Wire fraud is pretty common - https://certifid.com/wire-fraud-cost-french-film-group-pathe...
Increasing vaccination rates? It shows that the potential benefits outweigh the potential risks.
Warning for potential applicants: I Applied two+ months ago and never heard back.
The calculation for CPI is not publicly available, but it has been believed for some time that gasoline is a huge part of the index. The interesting part is the relative flatlining of gasoline in unadjusted dollars since 2004 (for many logical reasons), and how the BLS could use that to their advantage to publish a lower CPI.
If only they'd beefed up defense of the beef supplier
Without antivaxxers spearheading and spreading lies, everyone else gets a much more accurate picture.
So you're advocating for a socialist takeover of the meat supply? /s
When I read your story, as an Aussie, I felt really proud that we'd "beaten" the Brits at getting pissed. Perhaps this is part of the problem.
> It's curious to me a 50%(correct me if I'm wrong) efficiency vaccine

From the article that's the lowest estimate:

> The results of the experiment could give a boost to the CoronaVac, which is being used by dozens of developing countries. There was some controversy about the vaccine this year, after clinical trials in Brazil, Indonesia and Turkey put its efficacy in a range of 50% to 90%.
Ask HN: Favorite Mobile Git client and text editor?
What do you use, and how do you like it?
What have you tried and didn't like?

I manage my notes/contacts/project as text file versioned with git. I'm sure I'm not the only one around here.
Works great across computers, but I still haven't found an app I like for mobile.

(I'm on iOS, but Android recommendations are welcome, as they may be useful to others)

Some interesting things here:
https://hn.algolia.com/?q=git+client+ios
https://hn.algolia.com/?q=git+client+android
(I'm refraining from summarizing results because I don't want to be flagged as promoting).
Big Leaf Networks | Multiple engineering roles | Portland, OR, preferred, but will consider remote for strong candidates | Full-time

We provide peace of mind to businesses who rely on the internet, by building enterprise-grade network resilience + robustness on top of commodity-grade hardware and circuits. We touch a little bit of everything: hardware, networking, Linux kernel development, cloud services, ops, VPN protocols, Python, Go, Wireguard, AWS, Azure, API development, etc. See: https://www.bigleaf.net/careers/.

I'm personally hiring multiple roles:

* Site Reliability Engineers (SRE).

* Software Dev Engineer in Test (SDET).

* Front-end UI/UX engineer.

If you're interested, see https://www.bigleaf.net/careers/. Or reach out: dan g at bigleaf dot net.
Yes. My mom was hesitant about receiving the vaccine but she still got it and thankfully encountered no side effects. Some of what she said before getting it resembled the same anti-vaxx points I saw online, but that doesn't mean she fully bought into it.

Politics is a spectrum and even people who are fully "right-wing" or whatever are still to the left of someone. It doesn't do anyone any favors to pretend that there can only be two opposing sides.
I think that’s a silly way to respond to this. If someone were to say “America has an opioid problem”, would we really sit around and play this game of pretending like that statement is incorrect, just because it’s possible to identify groups where that is not the case? No.

Something can be a problem in America without being a problem in every single instance. The point is not every single American culture is full of drunks, the point is that this is a problem that America is having.
No, just a bad joke related to the other (currently) front page story about a cyber attack impacting the beef industry https://news.ycombinator.com/item?id=27359515
While I strongly believe in vaccines, I note that the Dallas, Texas (USA) area has seen similar improvements, and we’re hardly a high-vaccination area. Vaccines surely help, but there seems to be an additional force beyond 1. vaccination rates and 2. natural immunity that could be inferred based on data-informed infection rates. Almost every pandemic measure has been eliminated in Texas the past two months, and the fatality, positivity, and hospitalization rates have kept going down. (The state has prevented local jurisdictions from extending measures.)

My guess is that asymptomatic infection rates may have been far higher than what the professionals believe or herd immunity happens at considerably lower levels than believed. I don’t know how else to explain this.

For backup, here’s various plots I’m making from official state data. The hospitalizations are probably the most reliable metric, and like the other metrics, they are just falling off a cliff. https://www.arencambre.com/covid-19-stats-for-dallas-and-tex...
You've got to be more specific than that!
Don't be so sure, there are a lot of people who are on the fence and just keep quiet. I know enough of them that I'm pushing them towards getting vaccinated with some success, but on average I find more are merely hesitant than outright anti-vax and I think the raw numbers may tip things because very few are completely anti-vax if you really talk things over with them.

The modal vaccine 'skeptic' with respect to covid mostly complies with things while people are watching and is worried about something in their life forcing them to take the vaccine and putting off the choice as long as they can.

Some are combing through VAERS data, reading stuff from scientists about how this stuff works, etc. so I think what we really know is more accessible stuff to relay what we do and do not know as factually as possible without trying to directly convince anyone, instead making an honest best effort to put the 'informed' into 'informed consent'.

Yeah, there will always be a few who don't go for it, but if you want to help the most people who are nervous, that's the best approach to take as someone who has managed to convince a few nervous people to get vaccinated.

I'm doing my best to help people in that vein, but I'm only one person.
4000mg is also the maximum daily dose listed on the label, which is pretty crazy to think about. I would, as a regular consumer, absolutely think it's safe to take that much if I felt it was warranted absent any long term warnings (which there are none on the labels). After taking even _less_ than that for a few days, you can start to show overdose symptoms.
My first job out of college was scanning books for the Internet Archive down in the basement of the Library of Congress. Their scanning machines used a foot pedal to raise and lower the glass Platen, so I'd use one hand to flip the page and wiggle the cradle to get things nice and flat and the other would snap the photo. You can get pretty fast after a while, but boy is it mindless. Older books that had been rebound a couple times already were the hardest to work with as you have the least amount of margin. There's a bunch of different sized dowels that we would put under the spine in the cradle so the glass could gain a couple millimeters of margin, just enough to avoid cutting off text. Worst case scenario the book had to be unbound in order to capture. I did get to flip through a lot of cool old illustrated catalogues like this: https://archive.org/details/illustratedcatal00keil/page/14/m...
It's not surprising, but it's very good to see an experiment confirming that prediction.
> But I don't want to use the cookies, I used youtube-dl exactly to watch age-restricted videos without signing-in.

Yes, and I want a pony. We can absolutely discuss how useful or harmful age verification on the internet is, (and your points about tracking are certainly valid) - but fact is that Google implemented it.

It is not youtube-dl's job to circumvent that. Their responsibility is letting me download the videos to my hard drive that I can already view in my browser. They never advertised themselves as a tool to circumvent access restrictions.

If the new age verification broke youtube-dl in such a way that you couldn't download the video at all, I think the outrage would be justified - but that isn't the case.
> Write offs / deductions are huge

Write offs only boost your income by the tax rate, so you'll always spend more than you get back. Which is fine if the expenditure is necessary, but it's not a free expense fund.
Mezli (YC W21) | Full-time ONSITE San Mateo, CA | Mechanical Design Engineer

At Mezli, we’re building autonomous restaurants (“auto-kitchens”) that halve the cost of healthy, convenient meals.
As engineers in grad school at Stanford, we (Alex K, Alex G, and Max) got tired of having to
either cook or spend $10+ per meal to eat well.

So we teamed up with Eric, a Michelin-star chef, to create Mezli.

Since going full-time in January, we’ve built a working auto-kitchen and launched a ghost kitchen that our customers love (Google Mezli to see the reviews!)

We were in the latest batch of Y Combinator and just finished raising a seed round.

The job: As our mechanical design engineer, you’ll be responsible for designing and building multiple subsystems of our auto-kitchen.

You’ll design and prototype components, send parts out for manufacture, and order parts from suppliers. You’ll also work with the rest of our engineering team to define the architecture of the next version of our auto-kitchen. As one of the first engineers at Mezli, you’ll have the chance to take on leadership roles as our team expands.

https://mezli.breezy.hr/p/ccb889373361-mechanical-design-eng...
Or, since no one has yet mentioned anything about a court of law, if they merely suspect Americans of such behavior.
This looks perfect for playing games with my mom.

Words With Friends is now too hard for her. Too many distractions. I've been looking for alternatives with no success.

Very excited to try this out. Thank you!
Almost certainly in large part due to "Stairway to Heaven" and "American Pie."
Python 3.9 is already installed and linked via Homebrew. I already have an issue open about this in the repo.
Hi YeGoblynQueenne,

I always read your logicy comments and posts--thank you!

> To clarify, that's incompleteness. Unsoundness is when an inference rule returns wrong results. Incompleteness is where it doesn't return all correct results. As you say, unification without an occurs check is unsound and Prolog's depth-first search is incomplete.

Thank you. Yes, I misspoke.

For anyone interested, this video gives a nice overview of soundness and completeness, in the context of logic: https://www.youtube.com/watch?v=HeQX2HjkcNo

> I wanted to ask, because you brought it up in the interview, how does minikanren (or minikanrens?) handle the occurs check? You said that you are interested in trying to push the relational aspect as far as possible, recognising that this gives up efficiency - can you quantify to what extent minikanren gives up efficiency and generally say a bit more about the trade-off between (if I understand it correctly) efficiency and relational (declarative?) purity?

miniKanren performs unification with the occurs check. This is one of the tradeoffs miniKanren makes: sound unification, but it can be expensive. The interleaving complete search is another tradeoff: the search uses more time and memory than does depth-first-search, in those cases in which DFS would be sufficient. Another tradeoff is that miniKanren avoids the use of non-logical / extra-logical operators. There are no cuts, projected variables, var tests, etc., in the pure parts of the language (which is the version I always use). If you want to perform arithmetic, you either have to encode arithmetic as a pure relation (as Oleg Kiselyov has done), or add a fully-relational constraint system for arithmetic to miniKanren (as we did in cKanren). Or, you can add a delayed goals mechanism, although this can lose completeness.

There are lots of variants of miniKanren at the this point: alphaKanren (nominal logic programming); cKanren (constraints); probKanren (prototype probabilistic Kanren); dbKanren (Greg Rosenblatt's extension to handle graph database operations, used in mediKanren 2); etc. I hope we can integrate all of the features into a single implementation some day.

Cheers,

--Will
On the flip side I would love it if everyones wifi routers had a second SSID that was open to the general public.

Why the hell aren’t we making it easy to share our home bandwidth with friends, family, and strangers needing a few mb of data?

If this makes that acceptable again then I’m all in.
Starts to ramp down at 125k, and at >=140k you cannot contribute to it. Instead you contribute to a traditional IRA, then immediately convert it to Roth and file an 8606.
Copyright is life of author + 70 years. No renewal necessary. Is that not true?

EDIT: No, guess it's not always true. That's only for post 1978.
https://www.copyright.gov/help/faq/faq-duration.html
Viruses, Vaccines, Science, and the “Progress Trap” – Daniel Pinchbeck
I still love that movie with the hobbit guy about the BBC acorn. That was great.
> The truth of the matter is that covid vaccination has its risks and they need to be weighed against those of the virus. And when you make an honest effort to perform such an evaluation, the choice is not quite so clear cut.

What risks from vaccination make it not clear cut?
> Few things are more American than drinking heavily

This sounds like particularly weird Americentrism, but fine