skysight-inc/HackerNews huggingface dataset:
SmithRx | Senior DevSecOps Engineer | Full time | Remote (US) or offices in San Francisco, Lehi, Plano | https://smithrx.com/job/?jobid=6465764002

We are a series B funded company in the pharmacy benefits space. Every year, half of a trillion dollars flow through pharmacy benefit managers, with more than 90% of that money running through systems designed in the late 80s running Cobol. These archaic systems prevent our competitors from providing innovative healthcare programs or saving their clients money. At SmithRx, we're building a modern pharmacy benefit manager from the bottom up to change this.

We are looking for an Sr. DevSecOps Engineer who has hands-on experience building and managing a cloud-based infrastructure. Additionally, this engineer will be responsible for development cycles in integration/continuous deployment mode, process monitoring, and more broadly, constructing a “safety culture” within the SmithRx’s DevSecOps practice. Our user base is currently doubling monthly, and you would share the responsibility of orchestrating a reliable, sustainable, and scalable infrastructure.
They dropped leaflets stating "some or all of the cities named" would be destroyed in the coming days.
On average they seem seem to be paid quite a bit more (at least by 2x?).
Sounds like the people in your area can make enough money without tips to afford basic expenses - that's the way it should be.

In many places around here - waitress/waiter staff get paid $2.13 / hour with the expectation of decent tips.. in some cases a place will bump up your pay to $7.75 / hour if you didn't get enough tips (and many places have been caught stealing all or parts of tips for the managers or owners regularly) -

When I drove with lyft a couple years ago, I tracked it and after gas / taxes it amounted to about $6 per hour (most people do not understand it that way, I still hear ignorant people claim 'I can make $100 a day with X' (If someone will just lend me money to fix my brakes) )

The so called living wage around here is more than $21/hr.

So lots of people live in uncomfortable situations, have anxiety about no health care coverage or other safety nets.

Another problem I see a lot in the US is jealousy of the class differences - all sorts of people have a skewed idea of what other people have and what they deserve - it's only gotten worse since the social justice 'mostly peaceful protests' - and the defund police / publicizing the corporate policies of not stopping shoplifters.

That's all reinforcing this skewed thinking. It's a mess.
A bit too late for me.

I got nailed with deleting a 5gb documents folder on OneDrive. It deleted my local 25GB documents folder.

In the recycling bin was 5gb of files, the other 20GB of files are gone.

Installed Linux, which sucked for a few hours, but I'm so happy to be free of Microsoft!!!
They're extremely useful in capturing the "business rules" for a given domain, particularly when it's a restricted domain: if something can only be `A | B | C`, being able to make that explicit, have it checked exhaustively everywhere by the compiler, and be able to dispatch on it easily using `match` is really powerful.

That's because it comes with a statically-tracked "tag" (so: sometimes called a "tagged union") that the compiler can use to check you. You can write the same thing with a `union` in C or C++, with an `enum` to tag it, but you're doing that by hand rather than having it built in.

Also: Where a struct or class's relationship over its members is the product of all of the types which make it up, a tagged union/enum is the sum of them. A common example: instead of a bunch of optional fields on a single class to model the different possible combinations, modeling something as only the legal set of combinations of fields. I recommend Scott Wlaschin's 'designing with types' series (uses F♯, but applies to any languages with 'sum types') for a great intro and then deep dive on the ideas here: https://fsharpforfunandprofit.com/series/designing-with-type...
I don't buy the work culture thing, I can't back it up with hard numbers, but I think Americans work equally long hours, some even two full-time jobs. It's not unheard of that in certain corporate environments people work 60-80 hours a week.
Or is it that Japan doesn't have a "water cooler chat" culture and/or breaks are frowned upon?
I'm pretty sure they charge to use filters like that anyway. And the subscriptions are absurdly expensive these days.
The opinions are useful if you're a proactive person on the lookout for alternatives to try and have the time to spare to discover things on your own.

Though I kinda agree. The question was worded in a way to promote terse responses...
That depends on the sizes of the objects. If the objects in the union are generally small, cache coherence is better than if you have polymorphic objects allocated on the heap.
> That's true for most places.

Sorry I wasn't specific enough. Predates the automobile AND (mostly) wasn't destroyed for the automobile.

Lots of America was built before cars but was subsequently destroyed for cars. Those areas aren't what I was referring to.
I'm pretty fluent in C++ and Rust. You don't find much use for them in C++ because they're a relative pain in the ass without language support. std::variant is a sum type, but when's the last time you used it? I bet you had lots of fun with visitors and explicit type checks.

The most motivating example is Rust's Result<T, E>. Either you have a "good" type T, or some error E occurred. Want to bubble this error up? Just do `my_result?` to get the underlying T or return E early. This idiom is pervasive and makes error handling via return codes very easy to use.

It also makes it feasible to have types that have no "default" value. In C++ you have std::unique_ptr<T> which, for various reasons, has to have a nullptr state, or else it's frustrating to use. In Rust, owned pointers Box<T> don't have an empty state. If you need a nullable pointer, you use Option<Box<T>>, which is either Some(my_box) or None. The fact that Box<T> is always pointing to a valid object is a stronger guarantee than C++ smart pointers, and is only ergonomically possible because of the Option<T> sum type.
thanks for recommending! Looks similar to what I'm looking for. Tbh even if it works as advertised it's hard to go back after getting used to richer views.

My ideal Emacs now should come with rich GUI panels with Emacs editing experience.
ChatGPT-like AIs are coming to major science search engines
The fundamental problem:

a) Training the model involved making a non-transient copy of Silverman’s work (e.g. in an encoded form into the GPU).

b) That copy was not a fair use. The purpose of the copy was to train an ML model to generate similar content. OpenAI offers commercial access to the resulting generation mechanism, and indisputably some of what people are paying for is content generation to compete with creators like Silverman.

If OpenAI were only training models for research purposes they’d have a much stronger case for fair use.
A Union in itself is not a sum type. Rust even has unions:

https://doc.rust-lang.org/reference/items/unions.html

The unions of Rust are tagged unions that can hold data:

https://doc.rust-lang.org/book/ch06-01-defining-an-enum.html

which is immensely powerful in data modeling.
This was worth the click

A man from the country seeks the law and wishes to gain entry to it through an open doorway, but the doorkeeper tells the man that he cannot go through at the present time. The man asks if he can ever go through, and the doorkeeper says it is possible "but not now". The man waits by the door for years, bribing the doorkeeper with everything he has. The doorkeeper accepts the bribes, but tells the man he only accepts them "so that you do not think you have left anything undone". The man does not attempt to murder or hurt the doorkeeper to gain entry to the law, but waits at the doorway until he is about to die. Right before his death, he asks the doorkeeper why, even though everyone seeks the law, no one else has come in all the years he has been there. The doorkeeper answers, "No one else could ever be admitted here, since this gate was made only for you. I am now going to shut it"
agreed, came to point this out. or they monitor hn to go be the heroes of centralized internet yet again
A lot of paywalled websites won't throw up a nag screen and will let you read the whole article if you turn off javascript. You won't see the pictures (probably because they want to discourage people from turning off JS) but that's fine with me.
I don't see what I proposed as a domain specific workaround, it should be done for all domains I think.
Very frustrating article to read. The article is setting up a straw man and attacking it. He is acting like everyone else thinks:

1) edges are the only important features in images and
2) line drawings can only represent edges.

Who are these brainless absolutists that he is attacking?

Then he's acting like he is the only one with other bright ideas that nobody will listen to.

I think it is obvious to anyone who thinks about this that:

1) edges are a useful feature for recognizing objects in images but not the only useful feature
2) lines in line drawings can and often do represent edges, but there are a lot of other things they can represent. Light and shading and texture of various kinds.

It would be fine to write an article that goes in to depth on the different nuances, but it is annoying that this author pretends that most other experts have naive and simplistic views, with "uncritical certainty", and "no one seems to question it", and the author "has a hard time convincing them otherwise". It is a very condescending tone that comes off sounding like the author is presenting themselves as some brilliant but misunderstood outcast, and the only one who can see the light of truth.

we could do without the drama!
I don't think any country has a healthcare system privatized to a higher degree than Switzerland? Yet they still manage to spend quite a bit less per capita than the US.
Isn't it what "git blame" is for?
Not sure why I am being downvoted. So I won't answer any further because the HN morons are apparently ravenous this morning.
What's wrong with commentary?
Sad that your town keeps electing the same leadership with no long term vision on how to improved the community. Sad to see towns stuck in their ways to move forward
In today’s NYT article on e-bikes (i.e. electric mopeds) for teens, the maker says how motorcycle education classes saved his life, but doesn’t want similar classes for the electric mopeds he sells to kids because it would hurt business.

It’s the same all over, companies care about their own short term profits and gladly maim people and things for a buck in their pocket.
Yes, pretty much agree with this word for word. It is very, very difficult to refactor a python application in any sort of reliable way. The standard way of error handling in python appears to be to present the user with a stack trace. Very user friendly (not!). Now people will say that, for instance, mypy can help with this. That is true but since projects can be started without type checking chances are that your project was started without type checking and that introducing mypy is somewhere on the backlog and when it comes off the backlog it will be enabled only partially because otherwise there will be too many errors and so on. It is such a garbage programming environment.
>forked worker processes to handle requests

File this one under "things that UNIX systems programmers think will work in principle but end up being massive black-holes of attempting to quiesce any non-trivial application in a way that results in a sensible post-fork state".
that's actually really great suggestion. I have a fairly extensive init.el I just used to run my terminal sessions in dedicated terminals
These kinds of situations always seem like a collective trauma response to some aspect of society.

Looking at abortion statistics in the US it also gives collective trauma response vibes. For what it's worth, I'm still pro choice. But it's hard to look at the sheer magnitude of abortions and not think that maybe something is wrong with society.

Reading this article, the discussed solutions seem rather vague. I'd be interested in reading what concrete steps other HN readers think should be taken in Japan and more broadly. I'd probably recruit a bunch of reformed ex-recluses, get their feedback and suggestions and test them out in different regions, then continue iterating from there.

I don't think that the people responsible for creating existing power structures tend to have the proper context or perspective to fix the flaws, and often the ones who do have a better perspective are powerless to make changes.

As a thought excessive, I wonder how many people would end up living through a similar outcome if they were reborn in the recluse's shoes. How much autonomy do you think these people had before growing up and being psychologically crippled by societal structures and systems?
Researchers figure out how to make AI misbehave, serve up prohibited content
How did you recover?
Thank you for writing it out, I think people are sort of in denial and have been for a solid decade now.

Arguments about China’s inevitable collapse are more about comfort than about the an reality, because as you have mentioned if you think at all seriously about the demographics argument it just does not make sense.

I think the biggest risk for China demographically is if their aging population translates to an extremely conservative, risk-averse government/society that harms their technological progress, as has happened with Japan (ie. top multinationals stuck in the 80s with fax machines, paper, etc.)
World's First Hydrogen Train Will Be Replaced By Battery Trains After All
For me it worked for a while, and has broken again earlier this year.
The main difference comes with the syntax sugar that's built into the language (and the additional information the compiler has).

Sum types are also quite nice to bridge the gap from a 'dynamically typed mindset' into a 'statically typed mindset'. Sum types basically provide the ability that a variable can assume different types during its lifetime (? although I don't know if such 'shape-shifting' is allowed in Rust), so it almost feels like Python or Javascript, but since the compiler 'knows' sum types it's all still completely typesafe.

In Typescript it's convenient and frankly quite nice, in a programming language like Rust where performance matters I'd be less enthusiastic though.
It's crazy to think people actually lived through this.
Reminds me of a story: I was in college physics in fall '89 and our professor was telling us how he and his son spent the summer in Alaska prospecting for whatever material was all the rage in superconductors at the time. He was explaining that when superconductors broke the liquid nitrogen temperature, it was a game changer. He said "If you buy it by the gallon, liquid nitrogen is cheaper than beer."

To which a student replied "You buy beer by the gallon?"
Thats all you.
Most of these products are just trivial wrappers around the behemoths, wrappers whose creators either can't recognize or don't even use half the patterns rattled off here.

I'd be more interested in the sales and marketing patterns being employed to hawk the same rebranded wrappers over and over. Ultimately, that's what's really going to contribute most to the success of all these startups.
If you don't have a video card, I agree.

If you have a video card... It takes a few hours to figure it out.

But yes, then you are free from Microsoft's hold.
I've recently wondered if we are under-estimating the burdens being placed on the working age population in most developed nations. While public benefits are one mechanism to support the aging population, we have also returned higher than typical returns to capital over the last 3-4 decades. As capital is not evenly distributed across generations, and all else being equal - higher capital returns inherently means that less capital is flowing to the younger generation.

How much of the general cost increase we see in housing, education, and other fields is due to the funding needs of pensions/401k funds and other retirement vehicles?
Judge Throws Out Lawsuit over Kraft Mac and Cheese Prep Time
My English teachers always taught Kafka largely on the depressing negativity of his writing. Yet he’d hold salons to read his work to friends, and they’d all roar with laughter (Kafka too). Absurdism can also be cathartic humor.
What pisses me off is that the Powers That Be (both government and Big Business) are requiring that we keep purchasing ever beefier hardware to run all the trackers that get shoved down our throats. We're paying to be surveilled.
100% agree. I think it does so much disservice to his work. But I also don't think The Trial is primarily about bureaucratic themes either. To me it is much more about K not being able to understand the society he inhabits and the rules which govern it, and that can be extended to bureaucracy, but also obviously religion and morality, and just a blanket search for meaning.

I also have read both the original German der Process and the English translation, and I feel that, even though German is my second language, the original has so much more terror and humor than the English version, which largely reads like a bureaucratic text itself. Understanding that Kafka would laugh out loud while reading his texts to his friend, I like to imagine his works to be a kind of interwar Curb Your Enthusiasm, and I love to imagine Josef K as Larry David.
Location: India, Global - Remote

Remote: YES

Willing to relocate: YES

Technologies:

---

- Javascript-Typescript, Node.js, Python, Express.js, React.js, Redux, MobX, HTML5, CSS, MySQL-PostgreSQL, Google Firebase, Next.js, GraphQL, React-native, React-native-web.

- unit-test and E2E-test with Jest, chai and mocha across the systems backend, frontend, cloud with Docker

---

Résumé/CV: Available on request

Email: divyeshpar2496@gmail.com

Frontend - full-stack engineer with more than 6 years of experience to build, to architect and solve problems for customers that brings value to product and businesses.

- LinkedIn : https://linkedin.com/in/pbdivyesh

- Github: https://github.com/tapudp
Gonew: Experimenting with Project Templates
It used to take nearly 2 months on computers much faster than a Raspberry Pi 4, so yes it's an achievement. It's not insanely complex or anything, but there have been clever technical innovations in the the storage structures (how the database works) and in the network protocols designed to be sympathetic to the storage layout, that have sped it up a lot. Solving these was not easy, though seeing how they work is obvious in retrospect if you understand how storage and networking performance behave generally, which most people don't.

The syncing bottlenecks were mostly storage performance bound, not CPU bound, so the Raspberry Pi thing is not as relevant as it may look to someone who doesn't know the difference.
My man is using a strategy I fondly refer to called "burning the head in the sand"
You're so close. Tobacco companies used to be allowed to actively advertise their product as healthy and employed statisticians and doctors to publish fake science in order to do so. Cracking down on Tobacco advertising has nothing to do with shame. On the other hand, people with a nicotine addiction are encouraged to seek treatment in order to quit. Again, this is the exact opposite of using shame to discourage "bad choices".

Perhaps if you thought about it just a little bit more you'd understand that treating addiction and substance abuse as a normal medical problem as opposed to a shameful sin to be hidden actually results in positive outcomes.

Hell, look at Indonesia, a nation which has a huge amount of shame-based societal pressures including the death penalty for drug smuggling and in some places corporal punishment for sex out of wedlock. They have one of the highest rates of smoking. Want to guess why? Thats right, Tobacco companies have practically zero restrictions in terms of who and how they market, including to children.

How about instead of shaming people we treat public health issues as health issues and stop allowing corporations to subject millions of people to catastrophic addictions.
I'm not entirely in agreement here. While there was undoubtedly some internal motivation at work (as publishing subpar code just doesn't sit right), I believe a significant portion of it was external, and I don't see that as a negative. During the polishing phase, I had two primary goals: first, to lower the entry barriers for people who wanted to try it out, and second, to expand its capabilities as much as possible (e.g., enabling it to run on a laptop rather than a high-powered desktop, without any frame drops). I view this less as an attempt to impress others, and more as an effort to enhance utility and thus broaden the potential user base.

I do see the tradeoff between spending more time discussing the project vs perfecting its technical aspects though. This can be tough for us techy folks who don't really like evangelism. In this respect, I believe academics and technical founders face quite similar challenges.

On another note, the feedback in the replies here has been incredibly uplifting, and I want to express my sincere gratitude for that.
Looks like ai.com now redirects to an Elon Musk site. Perhaps OpenAI never controlled the domain?
You left off a term: F(x) = x + S
Neat! I worked at a big Sun shop for a while, one of my first jobs out of college. We had Ultra 5 and 10's on the desktop, E450's and E3500's for servers, various huge fiber channel attached storage arrays, etc. I really loved Sun hardware. Too bad they were absorbed by Oracle.
America is eventually going to move to a socialized healthcare model like the rest of the developed world. I hope.
Precisely! I also find it interesting how, from an information theory standpoint, audio processing and image processing are effectively the same thing (audio resampling is fundamentally 1D image scaling for instance) but because humans process sounds very differently from images we end up doing things pretty differently.

For instance when we want to subjectively make images more attractive we tend increase contrast and sharpness, whereas for sound we tend to compress it, effectively reducing "audio contrast".
Its the same things, they are just selling the concept and the product, not just the product.
Insisting that a browser or device be attested by the manufacturer locks out smaller firms or indie developers from developing alternatives to said browsers or devices, as they would be in a catch-22 situation, where they'd be seen as illegitimate till they get a broader audience, and unless they attest their devices they can't get an audience.

The same situation exists in other areas as well. Trying to bootstrap a search engine? Well tough luck, because what are you trying to do with a headless version of Chromium?

This in turn creates a cartel where only few players can compete, and the members of said cartel can enter new markets without ever having to compete.
There is one key difference between reality and simulation. In reality you have to spend energy to remove noise. In simulation you have to spend energy to add noise. Or perhaps more accurately, all objects interact in reality and energy needs to be spent to prevent interaction, while simulation requires energy to make objects interact.

But it’s even worse than it sounds at first, because you need to spend energy not just on calculating the interactions which is super linear with the number of objects, you must also spend the energy to make it possible for the objects to interact in the first place.