skysight-inc/HackerNews huggingface dataset:
SUPERFORMULA | REMOTE | USA & NEARSHORE | FULL TIME | CONTRACT

https://www.superformula.com/

At Superformula, we use design and engineering to elevate the way people interact with the world. We are customer experience experts—creatives, engineers, and enterprise roadmap consultants flexing our skills to design and deliver world-class digital products for our clients. We are also expanding!

We’re a 100% REMOTE team, fully distributed across 14 countries, and supporting our clients across EST to PST timezones. We have been operating this way for over 10 years. Here’s a brief intro of our open roles:

- [Senior] Backend Engineer: You possess a strong understanding of the AWS Ecosystem, are highly experienced in TypeScript and Node.js, and are a natural thought-leader that takes ownership of work items and helps to cultivate new ones with a Product-first mindset. https://careers.superformula.com/o/senior-backend-engineer-n...

- [Senior] Frontend Engineer: You'll be joining a high visibility product team focused on producing a best-in-class customer experience in the automotive or hospitality industries, designing and building the next generation client architecture serving 9M+ monthly visitors. https://careers.superformula.com/o/senior-frontend-engineer-...

- [Senior] IAM Engineer: We need you to have experience building enterprise-scale, production-ready Identity and Federation solutions. This is a high visibility shared-services team with modernization goals and a strong focus on quality. As part of our team, you will play a vital role in accelerating digital transformation through our Identity surface area. https://careers.superformula.com/o/senior-iam-engineer-net-c...

You can check out our careers page for more openings: https://careers.superformula.com/?source=hackernews
A few (cosmetic) details, for example:

- They don’t support multiline item descriptions. They actually prohibit that for a specific reason, because you can’t sort the lines lexicographically anymore. In my opinion, that should be an optional feature, however, which it is in [x]it!

- Creation and completion date are featured prominently, but I actually think they are not that important, and I’m not sure they are really worth some dedicated syntax. What I do find important, though, are due dates, and these are not natively supported in todo.txt

- I don’t like the notation of just preceding `x ` to the line for a checked item. It’s simple on the one hand, but it doesn’t look very tidy in the file.
This is great news for those that take insulin, for drug manufacturers, Democrat politicians, and (in the short term) for insurance companies. It's terrible for everyone else.

If consumers are paying $300 a month they might decide to take a cheaper insulin instead, move to a generic if possible, maybe even get their type 2 diabetes under control before they need insulin, etc. Now that it's capped for them - why should they care? Their insurance will pay for it.

Because how much insurance companies can charge is tied to how much they pay out, they now get to raise their prices and profits. Because they all need to compete with each other, they normally couldn't do this all on their own. This is essentially government mandated price fixing - or perhaps another term is better?

There's absolutely nothing stopping the insulin manufacturers from raising their prices even more now. They'll want to slowly boil that frog just so they don't come under pressure, but that's fine by them.

Finally, this is good for the Democrats because most people don't realize the above and think they price was actually capped to $35. The comments on Reddit about this show it pretty well, calling out Republicans for not voting in favor of it. How dare they? In the end it'll be great for them in two ways, because insurance prices are going to keep going up to ridiculous levels until people decide that we need to move to a socialized system.

Medical prices are out of control in our country and the lack of price discovery is exactly why. I've commented before on this, but when I was prescribed testosterone I was put on Androgel. Androgel was $400 a month. Injections are something like $10 a month and work better in every way. There's now a pill you can take for the low cost of $1,000 a month. If people actually had to pay that cost up front, they might decide to go through the hassle of injecting themselves once a week or two.

We either need to making insurance in to actual insurance again, meaning a very high deductible, or we need price controls. Anything else is a terrible idea. Mandating high deductibles is probably a no-go politically, but price controls would be easy. Cap the costs of medications and procedures/visits to the average of 5 other first world countries. Bam. Done.
Sure, there was a coup in which a regime favorable to their biggest enemy was installed, and then the Constitution was changed to put NATO back on the menu, which if we're honest about it NATO = US Military (again, their biggest enemy). And then we expect Russia to trust the legitimacy of the new US-backed regime who just overthrew the government and made moves to bring the US/NATO to their doorstep, all because they later held "elections"?

If there were a coup here in the US, let's say the January 6th brigade succeeded, then they changed the US Constitution, would we then immediately start trusting the next set of elections? Or would we rightfully see that as fruit from a poison tree? That's Mearsheimer's point, you don't have to agree with Putin's response to accept that it was the obvious and inevitable response from our actions meddling in Ukraine.

Try this analogy - If I walk up to Mike Tyson at a bar and start talking shit to him, spitting on the ground, taunting him and challenging him should I not expect him to punch me in the face? Wouldn't most people acknowledge that I had it coming, even if it was unnecessary and disproportionate to my actions? Does pointing it out mean I'm tacitly approving of his actions, or am I just being logical and saying if you mess with a bull you will get the horns?
Thanks for your reply. Not providing numerical estimates is fine with me, my opinion is that they're not productive anyway. It's like the Drake equation but worse, or trying to estimate the probability of divine creation vs. a natural origin for the universe. Too many unknowns, no ability to test counterfactuals. We are not even close to inventorying all relevant natural coronaviruses, so we don't have a good estimate for the number of "draws" to assume against the natural origin, and we don't do the routine monitoring that would allow a good estimate of probability for potentially pandemic pathogen → actual pandemic. So an armchair analyst ends up with a solid "maybe", with massive uncertainty intervals, for any explanation.

I completely agree that WIV's practices were dangerous and irresponsible, and that they are a plausible origin at all is a crushing condemnation. There's an old piece of advice: imagine that what you're doing ends up on the front page of the newspaper, and consider whether you would be proud or ashamed. If the latter, do something else. WIV clearly didn't follow that advice.

The facts in your post are all correct to my knowledge, I only quibble with the emphasis on infectiousness. The uniquely dangerous aspect of SARS-CoV-2 was its several-day period of transmissibility in the absence of symptoms, not its infectiousness, which for early strains was not that remarkable. Without asymptomatic transmission it would probably have been contained and quickly forgotten, like SARS-CoV-1. We need to adopt methods that will detect and contain viruses like SARS-CoV-2 so we're better prepared for when SARS-CoV-3 shows up.
FYI, and this is in the article, the law used to prosecute the man was written to prevent you from saying offensive things over the telephone. This distinction between a voice and a megaphone doesn't apply to this particular situation because the law itself makes no such distinction.
Not sure there's any benefit in using the state monad for an interpreter.

My first thought is to model a cycle of the interpreter as a function of old state into new state.

I guess the state monad could be used to thread the state dataflow through the interpreter, but it would not make the copy-big-buffer any more efficient. Code using the state monad is still pure and uses immutable data.

Now if you have to use a mutable buffer (only one fits in memory?) then you could use techniques like the IO monad to deal with it.

Disclaimer: Am more Clojure than Haskell person.
That is a very good question. The discussion often circles around pro- and against FP. Proponents of "pure FP" seem to suggest that it is the best solution for everything always. Is it?

If not it would be nice to find discussion about when it is and when not and why? What is Haskell NOT the best solution for?
If you told me ten years ago that Giant corporations would be fighting to protect individual liberties I wouldn't believe it but here we are.
I was more talking about how you approach solving problems, not the execution model. You can still get tight imperative loops in FP, it's just approached differently than in a traditionally imperative language.

Everything is a tradeoff. FP gives you a lot of flexibility in how you trade space and time of the execution of your program. It's also not a magic wand, just a really powerful tool.
This bill doesn't actually fix prices charged by manufacturers, and thus won't cause shortages. It fixes out-of-pocket costs for patients, with insurers (and employers) picking up the difference. We can expect medical insurance premiums to increase as a consequence.
Not sure for PC or Linux, but the keyboard works in the newest Chrome on my older Intel Mac Mini. I just had to go to Apple  -> Control Panels -> Monitors -> scroll up -> Black & White before launching. For new players, the keys are under the Options button at lower-right: AWDS (move), Q (action), E (duck), Space (jump), using the mouse to aim the arm up and down and clicking to shoot. The Info button explains: keys 1-4 to choose the door in the beginning, Tab (pause) and Command-Q (quit, but quits the browser..), some keys can be held down.. good luck!
As someone fascinated by all creole languages and cultures, especially micro regional ones, Gullah is a forgotten and rich gem.

It pops up in watered down version in pop Southern culture (e.g. Oh Brother, Where Art Thou) as the old Southern version of a "Fortunate Son"-esque touchpoint, but the reality is much more interesting.

Turns out, if you mostly geographically isolate people on barrier islands, they develop a unique culture. See also Tangier Island off Virginia.

Vice News did a Gullah segment: https://m.youtube.com/watch?v=SqDTJogdWmA&t=22s

And here's some spoken word: https://m.youtube.com/watch?v=iCd5W4gwJsI&t=12m6s
Huh, apparently I've already starred that. It must have been posted on HN at some point.
Do you think white people who lived during the time of segregation or redlining had white privilege? Because there's plenty of those people still living today. The kids shouting slurs at Ruby Bridges are still alive.

Now yes, obviously white privilege is not the only axis of oppression and both in the UK and US class privilege is overlooked to a massive degree but pretending white privilege is a racist term is stupid.
Charge Robotics | Robotics Software Engineer | Full-time | Onsite | SF Bay Area

Hi HN! We’re a YC-backed startup building robots that build large-scale solar farms. It turns out that construction companies literally can't build solar fast enough, so what we're doing is a crucial part of switching the grid over to renewable generation. We're funded and are looking to bring another talented software engineer onto our small team. Check out our Launch HN from last week for more info: https://news.ycombinator.com/item?id=30780455

You’ll be a key contributor, helping bring our first prototype to life: an autonomous, 25,000 pound outdoor mobile robot. You’ll have the opportunity to work on every part of our robotics stack including localization, planning, perception, control, simulation, and more. You'll have a lot of input on which problems you decide to tackle.

Our founding team has experience growing companies and building robots like this. One of our founders was the second employee at a robotics startup that recently announced a $1.1B public offering.

Come work with us if you love:

* Fast-paced prototype development with software and hardware components

* Making a positive climate impact through your work

* Hacking on massive construction equipment!

Apply here: https://chargerobotics.com/careers.html
Doesn't a person get more EM radiation from living under high tension lines than from a phone anyway? If there are no cancer clusters around them, I don't see how this idea ever got legs in the first place.
Also Grist isn't limited to the grid visual model https://twitter.com/dsagal0/status/1509924813837635593 (disclaimer1: grist employee) (disclaimer2: April 1)
That is significantly incorrect. Facebook is safely the number two AI company in the world. In addition to all of the basic AI research Facebook does, they also have numerous ML components built into their products such as translation, ads, photo recognition, moderation, feeds and recommendations. Plus, with their strong pivot to VR/AR/Metaverse, they use a lot of computer vision and object detection capability, much of which is built into their current VR offerings and running on commodity cameras.
Curious why this made HN front page.
This is a spammy ad site. Please flag.
Qualia | Fulltime | SF/Remote | Fullstack developers | https://www.qualia.com/careers/

Qualia’s category-creating digital real estate closing platform has transformed home buying and selling into a quick, simple, and secure experience for all. Our engineering-led culture and passion for building community, empowering others, and curating well-calibrated beliefs creates a welcoming environment for our team to move forward with unlimited potential.

We raised our Series D in late 2020, hit over $1B in valuation, and we're growing! We're looking for full-stack software engineers at all levels—no need to have any prior knowledge of the real estate industry. Most of our engineering team is based out of San Francisco, but also have remote and Boulder-based roles available.

To learn more about who we are, our engineering culture, and whether this is the right place for you, read our Key Values profile: https://www.keyvalues.com/qualia

Our open positions:

* See All Open Roles: https://grnh.se/035789f71us

* Software Engineer II: https://grnh.se/2336d9aa1us

* Senior Software Engineer: https://grnh.se/8e96b6c11us

* Senior Software Engineer (Remote): https://grnh.se/478160b91us
On the flip side, I know a ton about cars and actually own a german sports car of roughly this vintage and this rings incredibly true (and also hilarious). My car can't be locked due to fear of it never opening again, starting the engine requires a delicate balance of the right amount of throttle and prayers the battery has enough charge, and selecting first is a preposterous mixture of a delicate ballet and sledgehammering it home.

The fact this essay works for someone with limited domain knowledge and someone with lots is a testament to the quality of writing.
I'm oversimplifying. The interesting bits are in (2), which typically takes contextual information into account with regards to policy.

But sure, AAA is an extremely broad term that absolutely could encompass ZT. Just like SOA encompasses Microservices.
Not only is the UltraFine 5k’s chassis creaky, it can’t handle the heat the display produces and has an extremely high rate of cracking with pieces flaking off. The whole product is abysmal in terms of quality, I don’t know how LG thought it was ok to release.
Bitnomial | Software Engineer, Devops Engineer | REMOTE | Full-time | https://bitnomial.com/jobs/

We’re a CFTC-regulated derivatives exchange written in Haskell and React/Typescript. Our first products are physically-settled Bitcoin futures and options. We use ansible and terraform for our operations automation. Trading industry experience is a plus.

We've also got a bunch of open source projects: https://github.com/bitnomial

Tech stack: Haskell, React/Typescript, Postgres, Ansible, Terraform, AWS

Compensation: $100-200k base salary depending on qualifications + equity options

For US employees: 4% 401(k) matching + healthcare benefits

Contact: jobs@bitnomial.com
Old Skool Demo in Awk
It's pretty fun to try writing a toy codec. It's not too hard if you don't have to worry about all the compatibility and generality stuff. Try to make something that outperforms the standard but only on a specific video. :)

Also I learned a lot by messing with the ffmpeg source, it's pretty readable.
Why are the names hard coded like that? Database or config file, or like...a regex?
Has it 100% been confirmed that Adam == Sharp? There are certainly allegations that Sharp talked with the media, but on breaches like this there are typically multiple people working them with detailed knowledge. The timing is suspect, but with cases like this, you have to prove that someone did it out of malice.

It also doesn't mention anywhere in the indictment who Sharp spoke with, so until it goes to trial... unless Krebs confirms that it was Sharp that contacted him, these are just assumptions/allegations and not something that have been proven one way or the other.
I am far from alt right but I use woke-ism all the time. I believe in liberty and the first amendment with as few limits as possible. Woke-ism is an attempt to control thought and language by a minority of people, no matter how admirable their reasons are, it's wrong to try and control people through authoritarian systems of belligerance rather than education. You will never get the bigots to bend to your will and then there are people like me who don't mind using gender neutral terms when requested because I don't care what gender you want to be or who you want to have sex with or identify as, that's all cool with me, I think we're human first and foremost and equals, I will push back every time when someone tries to control me and says "this is the one and only way". I think LatinX was another one that is great way to prove one's point on this. It's fall from grace was kind of cathartic if you dislike woke-ism.
I live in Wisconsin.

Your wife is 100% right. I don't think I'd necessarily recommend it to people who are not from here.
In other words, you need a copy of everything that's ever happened on Ethereum because it makes you personally feel uncomfortable that the internet eventually forgets things, but you want other people to host it for you for free because you don't feel like buying a new $200 hard drive every seven years to store a copy yourself?

I'm blindly guessing. You didn't actually say in your first comment why you care about having a copy of all historical data. Unless you're implying that in over a year you may need that data to personally mete out vigilante justice to the Axie hacker or something.
Why is:hover:after valid CSS but not:after:hover?
Who would have thought Vitalik would have been the first human(?) to pass an Intellectual Turing Test of mimicking his ideological opponent? Laudably, he seeks only to remove the beam from his own eye [0], and turns criticism not only on his own public persona, but his own team's legacy and design decisions, and even steelmans the more "seedy" aspects of bitcoin culture.

It's hard not to see the massive influence of Scott Alexander in the way Vitalik presents his ideas and structures his essay. One SSC meme that kept coming up in my mind as I read the essay is that "ideas are soldiers" [1] is certainly in play with the blockchain wars. It's refreshing to see we have leaders in this space that can recognize the bravery of the enemy's soldiers. At least for today!

[0]: https://biblehub.com/matthew/7-5.htm

[1]: https://www.lesswrong.com/tag/arguments-as-soldiers
clang-tidy via brew (brew install fmenezes/tap/clang-tidy)
WHOI | Robotics Engineer | Woods Hole, MA

The Scibotics Lab at Woods Hole Oceanographic Institution develops autonomous underwater vehicles that help scientists understand the ocean. We invented the SharkCam, an AUV that locates, tracks, and films marine animals like the North Atlantic white shark (great white).

We are seeking a robotics engineer with mechanical and systems engineering experience for our current ambitious project: protecting the arctic from environmental damage with an AUV capable of detecting and mapping out oil spills under ice.

Learn more: https://careers-whoi.icims.com/jobs/1681/robotics-engineer/j...
SCOTUS has had relatively quiet justices (both historically and recently), but Thomas stands out even among them for his paucity of words[1].

[1]: https://www.npr.org/sections/thetwo-way/2016/02/29/468576931...
Size of wave matters.
When companies cap their pay increases for existing hires to a 3-4% pay increase a year and inflation on goods is close to 10% yoy and housing is jumping 20% yoy in most markets it makes sense to look for higher pay increases than what your company is locking you in at.
Looking at the contribution history of that bot's repos, I believe you're correct. Appears to just be a single student attempting to pad their resume by issuing PRs to the largest repos on GitHub.
It's weird. But also IMO not "totally" weird.

I've sat in a meeting and had everyone ask my questions anyway, better to let them do it. Sometimes I learn more that way.

Not everyone operates in a 'let's hash this out verbally' manner, perhaps they do even less so in a crowd of folks already doing that.

Granted I often find Thomas's opinions kinda absurd... so I'm talking more generally about "not talking" and less so about Thomas. I just wouldn't hold 'not talking' against anyone. Different people operate differently.
I made an entire OS that only runs Tetris
He talked a lot, just not into the microphone.

It's hard to get into the Supreme Court to watch oral arguments live because of the mismatch in supply and demand. But if you can, please do. It is really interesting to watch.
Commodities are eventually consumed or used. Traders don't buy wheat futures for the joy of collecting wheat futures, they buy them because eventually some business wants to buy and use the actual wheat.

The "and use" phrase is what differentiates commodities from cryptocurrency.
Court allows Waymo to keep ‘incident’ data under wraps, so what are they hiding?
Interesting. Have you thought of adding a way to show off the wins? Like people do with wordle?
That will help in growing fast
The Alpha may have only been using 8 bits per pixel, it all makes a difference.
"... with justices talking over each other and pontificating more than questioning..."

lmao all workplaces are the same
You need to upgrade that book to "PHP Brilliance" which has a lovely diamond on the cover. It will complete the look!

/s