skysight-inc/HackerNews huggingface dataset:
Hope you two aren't self-promoting your own project (this comment sounds as though htahir111 has no relation to ZenML while htahir111 one talks about ZenML as "we")

https://news.ycombinator.com/item?id=25989317
Or maybe they actually need that much capital because of the volume of trades going through their platform.
Lambda: The Ultimate Excel Worksheet Function
Question about FS: I took a look at the root site, and it appears FS advertises values i have been seeking to improve. Thought patterns, knowledge, etc. They have book content, and paid podcasts.

With that said, can anyone comment on how good the content of FS is? Is their content worth buying? Is their content worth consuming?

Opinions would be appreciated. So far i like what they advertise, so i'm curious how it holds up to scrutiny.
I get what you are saying, but this was a submission on political protests and the government's somewhat repressive measures against it - so it is hard to discuss it without politics .... perhaps this submission should have been removed in and not allowed to gain traction in the first place? Can I flag such such submissions that have a political undertone?
plot twist .. use MongoDB api /drivers on Document Layer on FoundationDB ;-)
I was expecting a CGI 3D chart. This is much more impressive.
> reality has a well known liberal bias.

I can't seem to make sense from this statement. How can reality possible have a political ideology bias? Political ideologies are interpretations of reality in a constant dialogue, are they not?
>That's not a game of telephone, that's quoting a direct source

No, it's not. Not at all.

A quote is where the actual words someone said are put forth verbatim. What we got was a summary of what was said and that's exactly my issue with the statement - summaries leave wiggle room for people to come back later and say "well, that's not exactly what I said".

>Every single article published in any newspaper ever is a journalist claiming a source said something.

Yes, and there are conventions to make it clear when the journalist is directly quoting a source (the use of quotation marks) and when the journalist is giving their own summary of what the source said.
I know Lean as a theorem prover. Can someone explain why it is now also a programming language? Is it so you can write a program, then prove its correctness in the same language? Or are there other synergies?
Arena Analytics | Multiple positions | New York City, NY | Baltimore, MD | St Louis, MO | Remote (US) possible for experienced candidates | https://www.arena.io/

WHO WE ARE

Are you enjoying your job-seeking process? Can you imagine a better way? We at Arena not only imagine a better way, we are working toward making it a reality.

Resumes, pedigree, assessments, and personal connections have proven time and again to be ineffective at predicting actual job performance. These age-old processes reinforce bias. They burden the applicant and the employer with administrative tasks. And they contribute little insight and information to guide either party in determining if they are a good match.

At Arena, you can help replace these outdated processes, one client at a time.

- Help organizations increase retention by putting the right people in the right jobs.

- Remove Bias from the hiring process. Sure, lots of products say it, but ask us how we do it.

- Be a part of a stable, fast growing company where we recognize that creativity, openness, and opportunity are what lead to achieving our mission.

==========

SOFTWARE/CLOJURE DEVELOPER

As a developer, you will handle the full software lifecycle: design, implement, deploy and monitor. Be prepared to dive into all of those areas. You don’t need to know all of our technologies beforehand, but gradually learn them. We seek people that are able to get things done.

You will:

- Develop backend applications in OCaml, Clojure and Python -- we are sunsetting OCaml, but it will be around for a while

- For the occasional frontend, Typescript and React

- Develop our infrastructure in AWS (ECS, RDS, S3, CloudFormation, etc.)

- Deploy applications using Ansible and monitor them with Datadog, Sentry and Victorops

- Work in an environment that is collaborative - we peer review our changes - and has a mature CI/CD setup - we deploy to production multiple times a day. For this we use standard industry tools like Github, CircleCI, Coveralls.

To apply to this role, email us at hn-hiring-304910 at arena io, and mention you saw this posting. PS: no 3rd parties, please.

==========

We are also hiring for other roles: Head of People Operations, Marketing and Demand Gen Manager, Talent Sourcer, Recruitment Marketing Specialist, Sales Development Representative – Healthcare Practice, Senior Sales Executive – Acute Care Practice. You can apply to those at https://arena.io/careers/
Agree with you, the only benefit I see is that Android Auto "uses the built-in screen" or allows you to use the "built-in controls in the steering wheel." That's it.

It sounds like a $9 smartphone mount and a mini headphone to cassette adapter (or FM audio adapter) you can get 95% of the benefits in any vehicle manufactured since 1980.
Hygiene hypothesis still seems dubious to me. The notion that hygienic lifestyles can lead to a weaker immune system or microbiome is plausible, but I'd actually be pretty surprised if it translated into worse long-term outcomes like life expectancy. Being exposed to lots of pathogens can have some pretty big downsides. We're only just beginning to understand long-term COVID symptoms and it's possible we've missed long-term symptoms of lots of pathogens. I have had chronic canker sores my whole life (cause by retrovirus) that I definitely could live without. ERVs kinda freak me out too.
How much does Facebook earn from one user, $1 a year? No one would've died if they switched to a $1/year subscription model. People tend to respect companies that are honest with them. Except Facebook won't ever be able to regain its reputation, but still.
> In middle school it would go like “I’m not saying hn_throwaway is a slut, but I did see her watching Harry Potter and also saw three other boys who say they like her at the theater that weekend.”

> Both statements are true, but without some other fact they don’t matter so the only reason to mention them is to make a claim without evidence. Especially since I explicitly said I’m not calling you a slut.

Except that's not even remotely like what the Newsweek article said. Sticking with the middle school comparison, what the article said is that hn_throwaway threw a large graduation party that was open to the public, and some religious cultists came to try to recruit from among the partygoers.

There is no attempt to imply that hn_throwaway is a one of the cultists, or approves of the cultists. It is just reporting that the cultists tried to use hn_throwaway's party to find recruits.
I agree in principle, and so did I, but there's no denying that it puts a major crimp on your social life. It's wrong that people are forced to decide between accepting predatory terms or losing touch with friendly acquaintances.

Also, if you own a small business, there's a real chance that you'd rely on Facebook for a significant portion of your business, because without a presence on their platforms you had may as well not exist.
But Apple isn't selling any of that data (which is really just 'downloaded apps' - they don't have the web browsing habits that FB and GOOG have). Their financial interest here is selling privacy with the price being the ongoing commitment to buy Apple products.
Is there anything lacking from the JVM beyond tail-call elimination that Lisp needs? I know Clojure is very slow to start up but my understanding is that this is because it uses the JVM very inefficiently, and they don't seem to care much.
When I was hunting the 3090, in general I polled every 5 minutes (with some variability to look more natural). When the "official" release time came closer, I brought it down to something like 1-3 minutes. I never ran into problems with IP blocking.

Trust me, there are people sitting there refreshing the page more often than 1x per minute, and as far as I know they didn't run into any blocks either.
but back to your original topic, I'm semi-familiar with the buggy world of automation drivers and the shady industry practices after a brief foray into home and industrial automation. I'm not referring to CAN drivers, particularly. Doubtless there are industry standards and compliance etc.

You surely must recognize that having any connection whatsoever between an automotive control network and an onboard infotainment system represents a potential attack vector, right?
There are countless low-hanging fruit already on the market as far as automotive hacks, and this simply will enrich that supply...
Long, long time ago, when last.fm radio was still a thing on it's own, I loved it: instead of pre-arranging a playlist, it kept adding the next song by searching for similar ones based on the one currently playing. It kept crawling away, sometimes into terrible direction, but more often into an area I'd like to refer to as "satellite".

"Satellite" would be friends-of-friends or even friends-of-friends-of-friends in social media terms.

And this is how it comes to ads: when I bought a magazine, I got a set of ads that only had a rough idea about their audience. Those edges were the ones that allowed ads to broaden my views on the world, and, therefore, ads were useful for me. This, and the financial impossibility of ever getting one - early teen in Hungary -, were the reasons why I loved Sony catalogues in the '90s.

Targeted ads are the polar opposite: they want to change me, force me to buy a certain, specific product, instead of gradually opening my interest to a lot more things in the world.
It's off topic but there may indeed be a need to say 3.0 rather than 3 for median - the use of a median is orthogonal to the choice of precision.

Consider the median of: 2.9, 3.0, 3.1 years.
Not sure what your workstation offers, but I bought myself an Icy Dock Black Vortex (MB074SP-B) [1]. It's just a case (internal 5,25", but that airflow! :D) which fits 4x3,5" drives with a 120mm fan in front. Slapped some noise damping feets under it. I then bought two low-profile eSATApd to internal SATA slotpanels [2] and 4 corresponding cables [3]. Works great so far!

And yes, you need eSATA, because the distance between cage and machine might be enough to introduce read/write errors. That's what I had, because I used normal SATA cables before.

[1]: https://www.icydock.com/goods.php?id=166

[2]: https://www.delock.de/produkte/G_61725/merkmale.html?setLang...

[3]: https://www.delock.de/produkte/G_84402/merkmale.html?setLang...
Thats not true at all. Its perfectly possible and legal to short beyond 100%
I had not known about 'font-display: optional' before. Now I wish more sites used it because there has been so many times where I started reading something on my phone with slow internet when it had not fully loaded yet. It’s really annoying to see the page jump around a while later after font loading finished and you realize that you just wasted data on nothing.

In my opinion, 95 % of websites should just use system fonts. They’re good enough for almost every need really.
The founders certainly deserve criticism, but plenty of other brokers are doing the same thing, no? is this not a black swan event?
I don’t know if the mockup is what will actually appear in production, but there is some psychology about showing a flower and a smiling black woman. The image plays first to trust (nature, a mother figure, the smile) and if that isn’t enough, secondly to guilt (I need to start trusting black women) to prime the user into accepting the prompt. Imagine if it were a cartoonish Mark Zuckerberg with his tight little smirk, and instead of a flower, a piggy bank.

Facebook isn’t stupid or random. This image must have been very carefully developed and run past some of their staff PhDs. Assuming this is real.
Yes, this really bothers me too. Title, sections, subsections and subsubsections is not too much sectioning.
I'm personally of the opinion that it's limited choices. Banks have been merging and suppressing new entries to the business for decades. Around here, there are basically two large banks and a handful of credit unions.
Sorry, I meant embedded images, like the img tag in HTML.
How does this relate to Robinhood raising more funds from investors?
Here are a few: https://github.com/Kavignon/fsharp-companies
> Plus it sounds like trying to time the market, as many do, but I disagree.

You can disagree all you want, but this is attempting to time the market. It’s literally the exact thing that’s repeatedly warned about. Trying to be the next-to-last out in a Ponzi scheme is a dangerous game, and one that many “smart” people have lost.

That’s not to say that some people won’t succeed at trying to time the market. It’s just essentially roulette: you can do well for yourself or you can lose money, but on the whole it’s a losing proposition and winning isn’t particularly correlated with skill. And—perhaps more like poker—even repeated bad plays can be rewarding in the short or even medium run.

Also like poker, taking big gambles can be profitable in the short term, but any time you put your bankroll on the table you’re risking going bust. Even a 10% chance is going to send you back to square one eventually.

Other than exceedingly rare cases, people who perform well in the markets don’t seem to be the same year-over-year, except at the rate you’d expect from random chance. Smart plays can turn catastrophic, bad plays can be profitable, and it takes a lot of honest introspection to assess whether or not a play was smart or simply bad but lucky.

I bought into AAPL early in my investing career. It was right around when Rails was taking off. I saw a UNIX system with great interface design and better stability than popular Linux distros, and developers flocking to the platform for tools like TextMate. I knew AAPL would take off in the end if they were grabbing such developer mindset.

I was right, but for all the wrong reasons. AAPL took off, but it was pretty much just because of the iPhone. It had nothing to do with what I thought it was, and in the end I was just lucky. That’s a lesson that stuck with me.
Cars already do this. Most Hondas made around 2016+ are running Android 4.x. Most Hyundais/Kias from 2015+ are running running Android 2.3 or 4.x (including my 2015 Genesis sedan). Meanwhile, most other vehicles are running proprietary embedded OSes (QNX, Windows Embedded) or very old versions of Linux.

So Android Automotive OS is an improvement over this, since Google will be updating the system (or mandating some updates) and system apps will be receiving updates decoupled from the OS. Cars are already insecure and connected.
I wonder if it is trivially hard to detect or not.

For example, if the app reviewer’s touch interaction with an app were recorded and the resulting screens diffed with the same pattern after publishing, there should be no changes.

This is a method used as part of some UI testing with selenium.

There could be apps this does not work for, such as when content changes or conversion type UI is shown.

But I imagine there is some amount of low hanging fruit here. And even that once a “scam” app like this one is reported, Apple should want to review past diffs to look for the example of the violation.

I also agree that for the price, this is what apple should be preventing on behalf honest developers

It is also worth noting that DMCA is embraced ITT whereas with Github’s response to DMCA recently it did not get the same treatment.
I want personalized ads when I’m searching for product. I really don’t get the fetishization of sticking ads next to unrelated content. Like I get the whole brand mindshare aspect but that’s not exactly a small-business type of ad campaign.

Like Jesus. If a company had good ad targeting I would actually pay to access it and use it as my product search. It’s remarkably difficult given the type of product you want to buy to survey the market and find different people that sell it. I’m currently going through that hell trying to find a water filter dispenser/pitcher. All of the search results are garbage. I know there is more out there than just the 17 models of cheap plastic crap from Brita/Pur but it’s an absolute slog to actually find anything.
>It's not supposed to be possible to go over 100% any more since 2008, by the way.

This is fundamentally untrue.

Abusive naked shorting with the goal of driving down prices is illegal. >100% short interest doesn’t require naked shorting at all.

If person A borrows a stock from person B then sells it to person C, they can borrow the stock back from person C and sell it again. No naked short involved.
It is very rare for a company to not pivot in some way over the course of the year. Those interruptions as often as not are not only taking you away from your tasks, they are also your notice that your tasks need to change.

Note that I used the word "tasks" not "goals"! They are NOT the same and I suspect you have mixed them up. Tasks are what you do to meet your goals, and can be interrupted. Goals are where you want to be, not the tasks you do to accomplish them. Goals can be accomplished in many different ways, and often take years.

I have a goal to help people out. I have another goal to see if we can port some of our software to a cheaper/slower CPU. The second goal might or might not be worth doing this year - CPU prices are coming down (as always), and there is a cost to inventory of the slower parts so I need to always keep my ear open to the possibility I should give up on the second goal because it no longer makes sense. However helping out other people in my company is generally good, so it is the more important goal in general even if the cheaper CPU might - if it works out - be what it takes to stay ahead of competition.
(A defining feature of the Gopher community is wanting to use something other than HTTP)
Yeah I know, i was being 50% sarcastic.

The other 50% is my incredulity that someone thought putting JVM in more real-world products is a good idea.
One of the two main web-to-Gemini proxies can already do this and the gmi2email script I wrote does it too. I think other clients probably can too.
Have you ever talked to someone who works in adtech? They do sincerely believe that ads are helpful to people.
The “value” spotify is optimizing for is for itself, not for the user. The greatest trick tech companies have pulled is convincing us that their metrics are our metrics, when they’re often independent or at odds with each other.

Edited for clarity
I'm the opposite.

I spend 8+ hours a day in the tech world; if the "tech toy" is any good chances are I already know about it and/or have it.

If I absolutely have to see ads (which I don't - haven't seen online ads for years) the last thing I want is more tech. I'd rather see ads for stuff I don't actually know about.
This is also good to know. Thanks, I was unaware that 2.0.x had been released!
> Do people who use facebook actually care about privacy?

Many people probably both use Facebook and care about privacy. Many probably would rather quit Facebook but think they can't because a part of their social life they think important is there. Or even a part of their education is (many students have a Facebook group for their class).

I sympathize with you but it would help to try and understand people who care about privacy but still use Facebook if the goal is to solve this problem.

I've had luck so far I haven't got trapped in Facebook though.
Awesome; despite having read some of this authors work before, somehow the TinyPilot had escaped my attention, despite my keen interest in Rasky[1], which didn't seem to ever leave prototype.

So I guess blog post working at intended.

[1]: https://www.nexlab.net/product/rasky/
Chronicle describes extreme weather events that hit Bristol 400 years ago
so don,t. find an alternative. you,re a fucking hacker, it is your calling and duty.
Thank you for this simple explanation. I've read a lot on this the past week or so and it wasn't clear what was going on other than the surface level info about shorting.
> I had a supercharger 1 mile away, and 3 more in a 20 minute radius.

Its worth noting that regularly using superchargers is murder on your battery, long term. After 600 charge cycles with no fast charge, you will still have 90% battery capacity, as opposed to 80% capacity if using super charging 30% of the time. If you use super charging 50% of the time, you will reduce your capacity to 75% after only 300 charge cycles. [1]

[1] https://evannex.com/blogs/news/debunking-3-myths-about-elect...
> When I purchase a stock, I do it in the express belief that I will get a physical share of that company

When you put money in a bank, acquiring interest, you no longer control that money, the bank is free to invest it, though obligated to return it. This is part of your agreement with the bank.

When a broker buys stock on you behalf, there are often similar arrangements in the T&Cs. Your stocks therefor, cannot be borrowed, or sold, without your consent; but you need to read the terms to see what you are consenting to.
The idea is you are always shifting rebalancing.

If you are 45 you might be at 50/50 (safe/risky growth) by 55 25/75 by 60 90% is safe.

If something happens at 60 where you lose 50% of the 10% in growth stocks stats show that a 5 year recovery to base levels is likely.
The money quote is buried a bit down in the article:

"
With LAMBDA, Excel has become Turing-complete. You can now, in principle, write any computation in the Excel formula language. LAMBDA is available to members of the Insiders: Beta program. The initial release has some implementation restrictions that we expect to lift in the future.
"
Ditto. Sheriff of Nottingham sounds much more apt.
I believe pg_repack can do that.
That may be simple but it is neither elegant nor effective.

The estate tax is a joke because it can be avoided through tax planning.

The theory is that Richard Rich dies and then little Richie inherits the money but would lose 90% of it to the tax.

What happens in practice is that when Richie is 18 years old he launches a company with a loan from his parents in the same line of business where they have expertise and contacts so that 20 years later he's a billionaire in his own right.

Meanwhile all the usual tax avoidance strategies are happening with jurisdictional arbitrage and transfer pricing and self-dealing so that by the time the parents retire they still have all they need for a lavish retirement but the bulk of their assets have already been transferred to their children at a low tax rate.

The problem isn't inheritance. It isn't taxes at all. It's market consolidation and regulatory capture which yields regulations that favor big businesses over small ones and incumbents over upstarts.

Because small business and competition are the ways growth flows to the little guy.
If ads weren't clickbait, obnoxious, or misleading (and didn't violate your privacy) you may find yourself more open to seeing them. Even if they're not always super relevant to you and only you.

Respectful advertising will always have its place whenever the buyer has a choice. It's when the companies selling those ads learn how to manipulate their audience that the 'respectful' parts of the equation get dropped and consumers start to push back.

My Kindle shows me ads. I could pay to opt out, but I actually like the way it handles them. My (former) Alexa on the other hand was IN MY FACE with ads whenever I wanted to even just set a timer. That is grossly disrespectful of me as a human being, so it was shown the door.
"The graph shows peaks in the winter and dips during warmer months."

I found this interesting, as it is the opposite in my area. During the summer, the electric use is much higher with the need for A/C, with a significant drop off in winter as people heat with natural gas.
In my experience these things are usually scheduled during working hours as a meeting, and optional.