skysight-inc/HackerNews huggingface dataset:
Lumi | https://www.lumi.com | Remote (US) | Full-time
Lumi is transforming the manufacturing and packaging industries by building tools that help brands find and work with suppliers more easily than ever before. Our goal is to enable seamless collaboration between brands and suppliers to deliver sustainable and cost-effective packaging.

We use Haskell and Postgres on the backend and PureScript/React on the front-end. On the Haskell side, we primarily use Servant and Esqueleto. We get an enormous amount of utility from all aspects of Haskell's type system, from the most basic features like newtypes and sum types, to type families and GADTs. On the PureScript side, we use our own purescript-react-basic bindings, purescript-lumi-components, and Spago.

We're looking for several roles:

Data architect https://www.lumi.com/jobs/data-architect

Product management lead https://www.lumi.com/jobs/product-management-lead

Lead product designer https://www.lumi.com/jobs/lead-product-designer
We Test PCIe 4.0 Storage: The AnandTech 2021 SSD Benchmark Suite
Maybe HN could apply itself to finding solutions to George Hart's Incompatible Food Triad. (George is father to maths/art youtube superstar Vi Hart and himself an amazing maths/artist.)

After twenty-five years of thinking about this problem I decided to write a web page about it. Here is the problem:

Can you find three foods such that all three do not go together (by any reasonable definition of foods "going together") but every pair of them does go together?

The page is extremely funny, but also serious - my favourite combination.

http://www.georgehart.com/triad.html
Fintech darling Nubank raises blockbuster $400M Series G at $25B valuation
Refreshing the Ubuntu Desktop Installer
> While intel is still officially shipping chips until July 29, 2021, it's unlikely that any such orders actually exist.

We got two delivered a month or two ago. These ones are never going to run Linux, so it makes no difference if they drop support.
They're different concepts.

Eating habits are, well, just habits. They're what you usually do. But they don't embody notions of right and wrong.

Grammars embody notions of right and wrong. Americans don't avoid eating horses and dogs because it's not part of their habit, they do it because they think it's wrong.

Habits are relatively easy to change. Grammars are not. I think food grammar is a great term.
"but the slow change of attitudes and policy in the US" as shepherded by the mainstream media. Yes, we disagree as to the complicity of the media and criminal justice system. I believe that they sold their souls for a paycheck a long time ago. We all have our price but I hope I would get a more than that in the bargain.
I haven't tried them yet, but I think it probably should. Open an Issue on the page? I can take a look from there.
Top Developer Tools
whyever? technically correct is the /best/ sort of correct.
Mental disease is a disease too. The options are either to have ADHD, which is a potentially very destructive disease, or to have a low-grade dependency on stimulants with few side-effects that can be severed in a week or two.

Of course, many medications that aren't psychotropic fit the bill. Corticosteroids, for a common example, lead to physical dependency too. Most medications lead to some kind of physical dependency after prolonged use, it's just sometimes of very low grade.

The second option is much better from any pathological point of view.

To note, perfect health doesn't exist. We're all broken in some way :)
Good information, in my opinion remote work, besides being a good solution during the pandemic, will be the new way to work. That's why we must take all the recommendations and precautions, I learned all about it at https://demyo.com/
It's called the Socratic method. The snark is in your head.
Will there be a way to turn off all of the extra library functionality? I just want a video player. Like QuickTime Player but with more format support.
Where exactly do we build them? War schon irgendwo "Spatenstich"?
Ava | Full-Time, Remote OK | https://www.ava.me/

#1 live transcription application (Mobile & Web) for the deaf and hard-of-hearing people

We want to radically improve how we humans communicate with each other. Our first step at Ava is to empower 466M deaf and hard-of-hearing people to live in a fully accessible world.

Our open roles:
- VP of Engineering https://www.notion.so/VP-of-Engineering-Ava-e0154ca38b6249b1...

- Software Engineer (Full-Stack) https://www.notion.so/Software-Engineer-Full-Stack-Ava-b90ee...

- Backend Engineer https://www.notion.so/Backend-Engineer-Ava-a6b10d40f4c04f1eb...

- Product Designer https://www.notion.so/Product-Designer-Ava-960929cc944247519...
Its remarkable to contrast with, say, GamePass; while there's not a lot of disclosure around what that entails precisely, a few small developers have suggested it pretty much floats their studio financially (and doesn't require a re-write, as Stadia does).

From a customer perspective, it gets the game on streaming, Xbox, and Windows PC.
> If you use epic's engine, they charge you less to sell your games.

Unless you have a contract dispute with them, in which case they bankrupt you? https://en.wikipedia.org/wiki/Too_Human#Unreal_Engine_disput...
Everybody needs to bank, those pay checks gotta go somewhere.

The portion of people who invest -- outside of forced investing through 401k, etc. -- is pretty small in comparison.

Those that are using an investment application to speculate on stocks on their phone are a smaller yet demographic. And I'll bet that, dollars to donuts, they're more informed about everything, and more willing to shop.
It's true, I'm ex-FAANG and although I don't have much saved (worked in Europe), having it on your CV pretty much guarantees you a job in tech.

That being said, it doesn't mean:
1) you should stop reading just because he worked at FAANG.
2) you can't take risks because you didn't work at FAANG.

The risk/opportunity cost is the same if not more: if he makes $300k from a product, it's less than he would have made at his previous job at Google perhaps.
Of course cookies can be dunked in milk. Once on a plane, sometime around her first birthday IIRC, my daughter tried dunking Biscoff in Diet Coke. I was so proud of her because clearly she was a culinary genius! Until I tried it.
This is a super-edge-case but if you happen to want to be a pilot (either small planes all the way up to airlines), the FAA considers ADHD and other attention-deficit conditions to be disqualifying. If you're taking medication for ADHD or similar conditions and want to be a pilot, you're dead in the water until you get off them and can show that you don't have some kind of attention difficulty. FYI!
Why is that sort of game only possible with cloud rendering vs some dedicated server architecture?

I think you'd need to go much higher in terms of how many unpredictable, latency dependent objects are needed on screen before you'd start hitting issues with client side rendering.
Correct, I was disputing the point that you can freely code without being mindful of the architecture even though the selling point of cloud providers is "focus on code, leave architecture to us". I'm not disputing in this case AWS was at fault: as the customer, Slack did everything right.
How do you increase revenue/stock price in meaningful way without expanding into other markets?

Google does these half ass attempts with minimal risk. They could be a major player in cloud computing, IoT etc. Amazon is dominating these areas with Ring and AWS.
Yeah, admittedly typically when I do video conversion, I use ffmpeg nowadays, just because I am comfortable enough with the command line and it's easier to script.

That said, whenever my dad needs my help with any video stuff, trying to talk him through ffmpeg command line args is tricky, and while VLC's interface is a bit weird, I've managed to talk him through how to use it. It's not ideal, but considering that it's free, works, and supports basically every format imaginable, we forgive it...certainly better than when I was using AutoGordianKnot as a teenager :).
and I'm sure there would be an incentive (financial) to using all amazon services/storefront etc.

The reason they started with lumberyard was because amazon does platform thinking. Unlike open source they can't just take it, so they bought cryengine to start with.
As someone who has to manage sites across the country, sometimes it behooves us to draw out own layout maps for various reasons. Finding decent overhead imagery is insanely difficult. This sounds ideal. Just give me a decent resolution overhead image and call it a day. Too many companies want to get deeply involved in the process.
Not enough people have consistently fast internet without data caps for this to work. Can you imagine the backlash when everyones tv with "included game console" turns out to be a stuttery laggy mess?
Google is shutting down its Stadia game studios
Amazon Services | https://sell.amazon.com/ | Seattle, WA | ONSITE | Full-time | Senior Salesforce.com Developer
My team is hiring a Senior Salesforce Developer to continue to customize and enhance our Salesforce CRM sales and marketing clouds using Lightning Web Components (LWC), Apex, Pardot, and many AWS Services (Redshift, SES, SQS, SNS, CodeCommit, Glue, Athena, AppFlow, S3 and Lambda).

You will join a team of Salesforce Admins and Developers, Technical Program and Product Managers, Business Analysts, Data Scientists and Data Engineers working to invent new ways to engage with our Selling Partners. We are working on new technologies to support our Consumer business in order to help grow the businesses of our selling partners and improve the customer experience worldwide.

For more information, see https://www.amazon.jobs/jobs/1318578 or email me at stmich at amazon dotcom
Having been approached by Google for these kinds of projects, I 100% believe this. I was leading a team approached by them to do something similar for Google Glass. There was no real incentive there except the privilege of being an early glass partner. The entire process of working with them was a nightmare and we decided to bow out.

I'm short on any attempt Google makes at being a media company.
> Devastating loses but nowhere near enough to threaten the existence of a country

After WW1 the average height of a french soldier dropped by an inch or two (don't remember the exact value). This was attributed to the slaughter of the fit men. It also became fashionable to marry old men and foreigners.

I know in Germany after both wars there was the same effect on marriages, but I don't know about the height.
I actually think the effect of all of this hype will move people past the Excel/Access era. There are simple analyses every company could do with R or scikit-learn that would save or make them money, and they just don't know how. Someone with AI expertise is over-qualified to do this, but they are at least qualified.
Fundamentally these big tech companies just don’t understand game development.

AAA games cost a lot of money, so these companies think that if you come with a bunch of money, you will end up with a AAA game.

My company was pitched by both Google (for stadia) and Amazon to create games for them and it was totally clear they had no idea what they were doing, and no idea what they were even trying to achieve.

The funny thing is that in both cases we felt that their attitude was also “These guys have no idea what they are doing” about us too.

It’s just a total ideological mismatch.
2021 Myanmar Coup D'état
Can theorem proving languages actually prove that crypto code doesn't have side channels? That kind of thing isn't in most type systems. The only project I know that has thought about is Cryptol.
Location: USA (currently NYC)
Remote: yes, potentially
Willing to relocate: yes
Technologies: Python, R, SQL, C++, GIS, machine learning
Résumé/CV: https://drive.google.com/file/d/1Vxs1FDEgNI66LXl7fvIvR7usJRijfYaG/view?usp=sharing
Email: hn@larskouwenhoven.com

Master's student in Information Sciences looking for a summer internship. I have a bachelor in CS and a year's worth of experience as a Data Scientist in a financial data services startup, as well as a research project applying machine learning for geospatial analysis. Would ideally do an internship in a data science/machine learning role related to urban technology, but also open to other areas of work. On F1 visa.
There are extensions that add youtube ads to vlc?
Tavis Ormandy made a Reddit NNTP gateway (so he can read discussions with slrn)
A lot of Italian food rules tend to be more regional than most italians think. Even the classic heretical example of spaghetti and meatballs pretty closely resembles traditional dishes from Abruzzo - https://www.lacucinaitaliana.it/ricetta/primi/spaghetti-alla...
> The only gripe I have is the possibility to introduce ASCII diagrams, which usually aren't accessible.

CAD software exports .stl files which can be processed into instructions for machines. That is, there is already software that can take lines on a screen and convert it to instructions for a machine. There's probably a way to annotate ASCII images of drawings (schematics, architectural) and output text "text* drawing of an object 14 centimeters by 5 centimeters, ..." Stuff like vinyl cutters (and even the proprietary cricut) can take vector graphics and convert them to instructions for a machine. so it, in theory, might be possible to just paste the ascii drawing text into some software: render ascii as .svg/vector, convert to 2d stl ("a layer"), convert stl to descriptive text. Since the software renders, you don't need OCR for the annotations, which are mostly instructions.

if there's no annotation, assume the '-', '_', '|', etc are to scale, and just use "units" as the dimensions instead of centimeters or whatever. |----| = 'two verticals separated with a 4 unit line'

Am i crazy?
Not the OP, but _When Genius Failed_ by Lowenstein was a good book for understanding what happens in the asterisk ("if done right").
> formal rigor has been established.

There's the best practice. It's such a strong and useful one that it doesn't feel optional any more.
Makes their controller promo video look like a joke now: https://www.youtube.com/watch?v=xYDSZnjvSH0. Looks like they spent $10 million to create a PS3 controller in 2020
Russia Is ‘Ready’ to Disconnect from Global Internet
For most things that are traded they are liquid enough that individual short positions aren't meant to effect the price. They are basically bets based on research that indicates the thing being shorted is overvalued and will fall by itself. Of course people try to help it along by publishing their position and research, but the catalyst is not the short trade itself.

Gamestop went up because people discovered a fairly unique short squeeze opportunity. People piled in enough (through options) which caused a gamma squeeze exacerbating things as market makers needed to buy more stock to hedge their positions.

The 'price' of things is, simply put, the price between the bid and ask order books, so everything being traded has a list of people that will buy at a certain price and people that will sell at a certain price. For example, Stock A's price is 1$, but has people that are willing to buy it at 99c or below and people that are willing to sell at 1.01$ or above. When you buy, you actively fill the order of the guy willing to sell at 1.01$. Say he was the only one willing to sell at that price, the next person willing to sell is at 1.02$, so the spread moves up. If enough people buy, they will fill out the orders and move the price up. Others that were originally willing to sell at those prices may move their orders to a higher price because they see that people are willing to pay more which helps move the price up further. Selling is the same. This way the price is determined by how many people are willing to sell or buy at a certain price, the spread between those prices. Usually things are liquid enough that they are the same price and price movements are gradual.
Snap Inc ML Platform | ML Infrastructure Engineer | Mountain View, LA, Seattle ONSITE | https://snap.com/en-US/jobs

My team is currently building out Snaps' ML Platform - handling the training of thousands of ML Models and evaluating trillions of predictions per day.

In particular we are looking for engineers with C++/CUDA performance and/or distributed systems expertise to optimize and scale our ML inference services and feature store.

Feel free to reach to me directly at samir.ahmed@snapchat.com
(or via linkedin link in profile) if you are interested
VLC is how I listen to music on Linux.

For the longest time I have been a foobar/winamp user on Windows.

But on Linux, the music player situation is atrocious. I surrendered to VLC et voilà. It bugs me to no end that I use a video player to play music files but that's life.

It plays everything, it doesn't need an insane backend scanning framework, it doesn't randomly crashes, its controls have been consistent for years and I can easily select the output device. I hate using it to play music but I love that I can use it to play music.

Oh, and I can't wait for someone to release a VLCMedia distro with a keyboard/kiosk mode to get rid of XBMC/Kodi which has an insane amount of incoherent keybindings and defaults.

edit: I also use cvlc to create an RTSP stream from pi-0, those streams are read and converted by a pi4 to HLS files in ssh shared folder with a VPS that has an index.html file with a js player. Works flawlessly. Only downside is when wifi gets flaky. How cvlc is the easiest and fastest option to do that on a pi0 is beyond me but thank you.
Neat! I would qualify that this is an ASL fingerspelling classifier, rather than a general classifier for the ASL language.
eBay | www.ebay.com | New York | NYC | Full Time | ONSITE | wsalle@ebay.com | VISA ok

We are hiring engineers to change the way eBay does advertising. We are building new recommender systems to help sellers, on eBay, promote their eBay items. This team is directly responsible for a large portion of eBay revenue and is one of the major company initiatives for 2021. If you want to make a big impact on eBay’s customers and this company you’ve come to the right place. Seeking experienced (5+ years exp.) engineer. Our interview consists of two phone screens. Then you do a virtual onsite to meet the team and do a code exercise.

Ask for Adam or Wendy wsalle@ebay.com
Google has ADHD.
Oh no...that's like...the cost of an ugly pleather wallet!
> The measured approach is a problem too. You see it in marijuana legalization, where some state’s are so restrictive about licensing sakes outlets that legal weed costs more than illegal.

I don't think this is as big a problem as people make it out to be.

In NYC, there is a black market for smuggled cigarettes because of the large taxes on them. Most people buy them from legit places regardless because it's much more convenient.

There are high alcohol taxes in Oregon and Washington, yet very little modern bootlegging. People prefer to buy legal alcohol in spite of the fact that moonshine is cheaper.

The risks of dealing with illegally manufactured substances are worse than the increased cost of buying from legitimate sources.
They are human traits when they are relatively easy to overcome, not easy at all with ADHD.
I get all the doom and gloom about this announcement, but it's exactly what I would be doing if I ran Stadia. Don't waste money trying to build first-party games when you don't have scale, spend all your money on scaling. Specifically:

- Spend budget on getting more AAA titles released on Stadia on launch day. (like they did with Cyberpunk)

- Spend budget giving huge discounts on AAA titles to attract more users.

- Spend the money to get integrated into every Smart TV platform (Roku, Google TV, LG Web OS, Tizen, Apple TV, ect.). TV Boxes should include a Stadia controller in their box and a few months free.

- Advertise that you can play AAA console games on the TV / Streaming box you already own.
Yes, Oracle open sourced its entire JDK project, i.e. OpenJDK, but while anyone can offer builds under the GPL's license, Oracle and its licensees can publish builds under a proprietary license. Oracle hasn't stepped back from anything, and, in fact, has only increased its investment. OpenJDK is the Oracle implementation. We've just shifted branding focus to the OpenJDK brand rather than the "Oracle JDK" brand, which is now the name of a support subscription.
IMO, it would be better to take the Nintendo approach and build out a couple generic games that highlight the best features of the system. Wii tennis and wii bowling ended up being my favorite Wii games.
Just to answer the question about what metrics are included, you can write and read any kind of custom metrics and log data from your applications, and have to build useful dashboards yourself. When first deployed, the user tenants (you can create any number of tenants to partition your data) are empty (you start with a clean slate) and ready for you to send any metrics/logs to it. You also have to add your own dashboards to interpret the data you've sent.

Opstrace does ship with a "system" tenant designed for monitoring the Opstrace system itself. This tenant has built-in dashboards that we've designed to show you the health of the Opstrace system.

Incidentally, having sharable "dashboards" across people/teams/organizations is something we are also working on, so people don't have to re-invent dashboards all the time.

We also have some guidelines for you to ingest metrics from Kubernetes clusters (https://opstrace.com/docs/guides/user/instrumenting-a-k8s-cl...) and are building native cloud metrics collection. Feel free to follow along in GitHub: https://github.com/opstrace/opstrace/issues/310.
I didn't know that! That's so awesome!

See, my point stands...there's still a ton of cool features that are available in there if you dig around.
> I still remain amused to guess what kinds of programs were included in the architecture simulations that led them to want so many integer units (12?) and so few floating point ones.

If I had to guess, SPEC Int.

I one had a frank conversation with a CPU designer at a chip company. I was looking at a CPU that was fairly wide superscalar, but had super tiny caches. I observed that this chip was probably only efficient at running Dhrystone. His response was "We win and lose 7 figure CPU sales based off of Dhrystone benchmarks. DMIPS/Watt is the only benchmark that matters for the majority of our sales in dollars"