skysight-inc/HackerNews huggingface dataset:
Are there any startups or companies using F# in production?
They can boot from external drives, it's just that it's a bit buggy right now.
Addendum:

Everything that the FCC (and its counterparts in foreign countries) regulate -- are waves that are Hertzian in nature.

These types of waves follow the Inverse-square Law:(https://en.wikipedia.org/wiki/Inverse-square_law), that is, they drop off inversely proportional to the square of distance.

It's a good thing that they do, too, because otherwise everyone's radio transmitter of whatever type (cell phone, garage door opener, TV remote, Wi-Fi, etc.), would interfere with everyone else's -- and this doesn't happen.

Nature, via the Inverse-square Law -- prevents this for the most part...

But, while Hertzian waves are used by most of the devices we know and love, in Physics, there are also Non-Hertzian waves (scalar, transverse, longitudinal, etc.).

These require special equipment and engineering to both create and detect (compare to Gravitational Waves, LIGO, etc.), and they might be highly directional in nature (that is, if you're not in a very tight path, you cannot detect them, but that's a good thing, because it also means that they don't interfere with all of the radio devices that we know and love!)

You see, there is nothing in Physics that (with the right engineering) that prevents the transmission or reception of information on non-Hertzian waves, on any number of mediums.

Sunlight, the earth's magnetic field, radiation from space, and many other mediums -- could in theory be used to send and receive information... even Gravity itself could be, in theory, if it is a wave, and if it were properly understood...

Also, Quantum Communication -- the idea that you take a crystal (or some other medium), and split it in half, and (again, with the right engineering) now can communicate over large distances without an apparent medium between them -- this idea is Non-Hertzian in nature.

ESP, if it exists -- is Non-Hertzian in nature.

Non-Hertzian communications are the future (basically it's Star Trek technology).

Hertzian (which the FCC and its counterparts in foreign countries regulate and can regulate) is the present-day -- and the past.

In other words, a prediction: In the future -- there will be a disruption of Internet scale in Communications -- when Non-Hertzian communications technologies become dominant...

Also, with respect to Law -- the root of all Law (all human Law) is human agreement -- which is also the root of all man-made contracts.

Congress (or any other governing body) cannot change Natural Law -- that is, no act of human agreement will change the nature of Gravity, nor any of the Laws (pure laws, natural laws) that govern the physical universe...

Or perhaps as Star Trek's Scotty would so eloquently say:

"Ye cannot change the laws of physics!" <g>
New Tree-Loving Robots Could Plant Entire Forest of Seeds Daily
What type of company pays for the house other than the military?
"something people are used to getting for free with few or no ads"

This is why they need some exclusives, so people can't get the same for free elsewhere.
> With normal shorting the number of shares being traded is no greater than the float. Only with naked shorting can there be more shares traded than float, as in the parent's example. Interestingly, in both cases the short interest can be greater than 100%.

Why?

A owns a share, loans it to short seller B. B sells the loaned share back to A. Then A loans the share again to B, B sells it back to A. Now repeat the process a million times.

You can get arbitrarily high amounts of shorting without any naked shorts. (And usually, A and B don't know each other. It's all done via exchanges and clearing houses etc.)
>functional messes are an order-of-magnitude worse than imperative/OO ones

Why so?
Yes, no, maybe.

The media portrayed the binary view of the situation that this is a retail trader vs hedge funds situation. I think that more actors are benefiting from this situation on each side of the trade either by shorting the position and waiting for the dip to happen or simply riding the wave without making noise about it.

Most of the core community of /r/WSB is clear about not to making it a habit and on the other side, you already see some actors trying to exploit it by trying to replicate the meme stock trend on other stock either. Moreover, we will see on the 9th of Feb how the short ratio may have moved or not. Even if it does not have moved that do not mean that the same actors are holding their short, it can be different players shorting the position.

The good news, from my point of view, is the raised interest about the situation in the media and the society questions it raises :

* When hedge funds decides to over-short a company, is it no a way to force the hands of the market on a specific view of how the society should work?

* If your money is managed by a hedgefund (pension, 401k, etc.) could make them accountable on how they use it in the market?

* Does the playing field need to be level for retail traders have the same access to the market that others economic actors? Or will we see a stronger "Leave it to the pro" mentality emerge where retail traders are shut down or really restrained by their actions in the market?

* In our current world, most people are loosing money by stacking it in savings account due to inflation and extremely low interest rate, how that can be leveled? Day trading may not be the solution, but when you can not increase your wealth in another way than working more and trying to be the unicorn, how could you do it?
> Only with naked shorting can there be more shares traded than float

Why? Imagine there exists one share of GME, owned by Alice. Bob borrows it from Alice and sells it to Charlie. Now both Alice and Charlie own one share, and no naked short sale ever happened, as far as I understand that term.
Well i think Email Calendar and Contacts have to be one product, otherwise Outlook will be always on the winner side, but VPN...well it brings probably more money in than the other Products combined, my biggest critique is the storagespace (hey Protonmail, storage should be non of your concerns, it got really cheap in the last 10 years)..and the prices are a bit high.
I prefer Qubes OS, where you run various distributions in VMs. It has a great UI hiding the complexity, still allowing full access to everything.
I'm entirely sympathetic with your situation, yet I cannot stop thinking "that's just capitalism working normally".
“Mom, I'm on Spotify”: How I Produced My First Music Album
Typically it is, but for heavily shorted stock, the fees go up.
And the apps are still not very good. E-trade, one of the classic ones, works fine on the web but the app was still problematic the last time I used it.

UI/UX matters. RH's core demographic is also more likely to be app first. In some ways this is a standard HN response that completely dismisses the UI/UX.
Can't believe this nonsense is upvoted on HN.

Short-selling helps to correct market prices of capital, which is good. It even directly helps the average retail investor because when you buy an index, you want the prices to be as close as possible to the "actual value".
People can just NOT buy these things. We vote with our money, if we keep buying then they will keep invading our privacy.
> In reality, you probably wouldn't even try to write such a function in a typed language because of how awkward it is.

In reality, you probably wouldn't because of how contrived and completely removed from any conceivably realistic practical goal this example is. In what situation would I actually need to solve this problem for every type in my program?
>You can absolutely sell 5 bananas 500 times.

But that is not the point. The point is you had 5 bananas to sell and 500 people who bought 1 banana each. Now all 500 monkeys wants its dinner so please deliver. If you can't it is fraud.

The mental gymnastics in the stock market are insane. More shares have been sold than exists. That has nothing to do with the amount of times they were sold.
Now...

If only we had the chance of using is as a normal computer...

Take Raspberry Pi 400 - Now, that was what i was expecting from a today ZX Spectrum!!!

If only we could connect the Pi 4 to it and be able to use it as a "normal" computer...

with the Pi4 connected we could have a kind of dual-boot where we could choose to boot the ZXOS or the Linux Distro used with the Pi4.

We could have a ZX Spectrum that could be useful for something else than gaming...
So they can’t have a surcharge, but they can just raise everything 10¢/gal then “discount” cash purchases. It’s the same thing, so why is one illegal but not the other?

Not to mention that many government services charge an outrageously large “processing fee” (in the multiple dollar amount) for card purchases. They literally would rather I write them a check and go in person than just go online and use a card. How does that work with the law you cited?
Which "elsewhere" is there for someone developing an Apple Watch keyboard?
How does naked (or any) shorting reduce the value of real shares?

Shares are worth the present value of their future dividend cash flow. Shorting doesn't change no dividend payment at all ever.
> I once had "systemctl restart unbound" reset my volume

That's fascinating, do you have more information on this particular bug?
If we ever needed any proof that Australia's Liberal (conservative) party was a puppet for News Corp, its this law.
> Which most companies don't.

and some companies do, that is the point.
Trump was alleging fraud since the beginning, because it's a common belief among Republicans that the Democratic Party takes and maintains power primarily through fraud and criminal activity. Remember the narrative in 2016 was that the mainstream media and social media were all controlled by the globalist left taking orders from the Democratic Party, collaborating to "rig the election" for Hillary Clinton. Trump didn't mean that as a metaphor, he was literally accusing the Democrats of doing what he would accuse them of in 2020. Trumpists believe that it was only through the revolutionary power of their populist uprising that Trump was able to be elected at all... but it could happen again. Remember, people were literally accusing Hillary Clinton and the DNC of committing treason and claiming Trump was going to lock her up as soon he got into office (note the throughline between the DNC email leaks, Pizzagate and eventually QAnon is "Democratic Party/leftist/liberal corruption.")

Populism like Trump's is always driven by a persecution complex, the belief that the populists have been humiliated, wronged or cheated from their rightful destiny by some nebulous enemy within (be it Jews, immigrants, socialists, Democrats, what have you) and the promise from a strong leader of just retribution against that enemy through revolutionary action (and often violence.)

Of course, this is just a means of control. The Democrats didn't try to rig the election in 2016 and they didn't steal it in 2020 but people driven by irrational fear and hatred are easy to manipulate, because once you know your enemy is pure evil (literally they drink the blood of the children they rape for their satanic orgies and they're Marxists!) and that the system is always rigged against you and enemies within are everywhere, all decisions become simple. Trust God, trust the Leader, trust the Plan.
Nice that you did this video and still a very nice speed. Every test is different re difficulty, so all good.
Posting this throwaway because I don’t want my residency canceled. That should give you a hint that I might know way more than the armchair experts. And I claim that parent is just spreading "Western" propaganda here, whatever that means. Do you believe me? In any case, I just demonstrated that posting under a throwaway is hardly "a hint that I might know way more than the armchair experts."
> When WhatsApp came around, it wasn't free.

For me, the fact that WhatsApp wasn't free was a plus.
"Hey, maybe for once I am not the product".
How naive of me.
If you ever interact with law enforcement in a non-friendly way, even something like being depressed and someone doing a invoking a wellness check, or getting SWATted, you'll know very very quickly how invasive cops are, and how they give themselves uninvited access to everything in your apartment, smartphone and anything else they find. Doesn't matter if six months later it's admissible or not to court, the damage would have already been done, if not legally, then mentally and psychologically on you.

The "I have nothing to hide" is similar to the "I don't need a gun" or "I don't need a car" that people living in big safe cities with plenty of police/transit say, ignoring the fact that the other half of the country is living in areas with nearby forests/wild animals and less law enforcement and plenty of crime and everything is far apart. Plenty of people out there have issues in their lives and they do need the privacy to keep themselves sane.
you (rightfully) don't understand because nix doesn't really fit in this discussion. actually, i'd say that nix is off-topic here.

nix is a package manager, that is going to install packages in its own way.

the discussion here is about bedrock linux, that answers a specific question: what if, for any reason, you need packages from two (or more?) specific, very different distros?

what if you need packages from BOTH ubuntu and rhel?

to that question, the answer is not "install nix".

which is really bad because i see the value in nix, it's a very nice system, but nix fanboys are getting really annoying with mentioning nix in any discussion where package management is even tangentially related. it kinda reminds me of that old video about mongodb being webscale.
NVDA also enabled freesync on their graphics cards, so realistically you can swap between the two without any issues. I really don't think NVDA will become complacent in the way INTC became. Nevertheless, the last generation of GPUs seemed to close the gap if we ignore DLSS and raytracing. In the former NVDA has a non trivial advantage, and that is their cards have been the backbone of DL research. It'd be interesting to see how the NVDA+Arm partnership continues.
That's what margin requirements and clearing houses are for.

Even during the heights of the last few financial crises, clearinghouses did not fail.

(Option writers and people trading futures are in a very similar situation to short sellers. They also have clearing houses.)
Why should we only vote with out money. We have other means to vote why are they vilified?
Very much indeed. But this reality is created by ecosystem of our society. If you suppress highly creative individuals who don't want to deal with BS, it's gonna suck for you too. We live in a highly connected world. Changes take years, but even from purely egoistic point of view, to say that suffering of a group of people does not affect you is plain wrong if you think about it long enough.

What do you care about people in North Korea? If the country was doing well, maybe they would have the biggest semiconductor fab. Or maybe you would be using some great open source that came from there.

I agree that there is no point shouting at the clouds when there is no action that you can take to fix the problem. But in some cases you can take some action, even if it's as little as discussing the issue here which makes it slightly louder which could fix the problem, or deciding that you don't want to use Apple because of it etc.

Personally I keep thinking about decentralized web of trust which could make app stores deprecated or at least create a market of app stores. http://comboy.pl/wot.html - I'm working on a better version and a github repo.

And yes, impact of your actions, unless they are really great, is likely very small, so you can just be completely egoistic and world won't be much different. But this works on all scales. If you are not trying to make people around you happy then you live surrounded by unhappy people. So I guess what I'm suggesting, is that this approach will not make you happy, and I'd like you to be. And while internet stranger words have low value for you, it's an input that may affect later output.

You may not necessarily be optimizing for happiness, but if your utility function is not aligning with the most popular one in this case (people seem to want great work to be well rewarded), it would be nice to give us a glimpse of it, to put your statement in a context which makes sense.
That would surely place too great a burden on authors to do it and to get it right.

Reading, as a discipline, is hard at the edges, and lots of humans don’t get it right either!
Seems like the simplest fix is to allow the user to ask the screen reader how a word is spelled.
Why would the economy collapse?

If anything, it's very good to have short sellers, because they are the only market participants who have an incentive to expose bubbles. And expose them early.
Naked short selling is allowed by market neutral market makers, but it does not function as convention short seller. Under current regulation, a naked short seller is not looking to make a profit from a future decrease in price, but instead ensuring market availability of the stock. E.g., if there is a sudden increase in buyers market makers continue to make good on their obligation to always be willing to buy and sell a certain stock. Market makers are required to buy a share back from the market sometime in the future to replace the phantom share that they sold.
So there's way more shares held long than there is actual shares. This must lower the share price then? There's way more "supply" (people that can sell a share).
It doesn't inflate the supply, because the amount of people who own the share is equal to the number of actual shares, plus the number of people who are short the share. All the people who are short the share have to buy it back in the future. So the additional supply has exactly been matched by additional demand.

What you are saying is like saying that lending money to your friend creates inflation by expanding the money supply, because you still have $10 (that he's holding for you), plus he also has $10. In fact, since he knows he owes you $10, he's going to have to cut back on his spending at some point in the future, to pay you back. (Your mileage may vary with actual friends.)
I don't thinks this interpretation of 'owns'is accurate, but if it were, it would be even worse than the original allegation!
> Who are the 99% who don't invest but are regularly very negatively effected?

Literally anyone that never interacted with the financial markets voluntarily, with a speculative intent. I include for example, people with IRAs.

> It's like the mysterious "elites"

There's nothing misterious here. It's banks, hedge funds, financial institutions. It's all the actors that caused the 2008 crisis, among the others.

We have names, patterns and everything needed to analyze the issue, but I don't certainly require the average person to have to understand the financial markets in order to be able to be aware that something is deeply wrong in the way our economy is structured.

Hedge funds themselves don't seem to fully grasp how the market works!
Maybe electric blankets and a last cup of tea before bed?
Can Smart Data Visualization Help My Business Users?
Problem is, people have unrealistic expectations of privacy from the marketing these companies do.

https://www.youtube.com/watch?v=gqFWcI7TcTs
> Even one of the best known and oldest F# library FParsec has it's high-performance parts in C# - that's telling.

To be more specific, it has a C# library so it can use _unsafe {}_ blocks to perform manual memory management. This is one key performance-oriented feature that F# lacks.

Other than that, you _can_ write F# that's about as fast as non-unsafe C#, although it means giving up most of the nicer and safer features of F#. Use mutable structs and classes instead of immutable records, for/while loops instead of higher-order functions, magic values instead of option/result types, etc... I've done it in a couple of hot paths where it made sense, but quite reluctantly.

Inline functions are still fine though for writing zero-cost helpers, and I don't think C# has them (there's an <AggressiveInlining> attribute but IIRC it's just a hint, the compiler isn't required to actually obey).

Ironically, F# _could_ become the best language for high-performance .NET programming, because it supports directly inlining IL instructions intermixed with regular code (whereas C# has to go through the ILGenerator class). Unfortunately it's considered such a niche case that it's not planned to be expanded beyond the standard library, and to use it in your code you have to enable an undocumented / unsupported compiler flag.
Developing the EMobility Service Platform with Event Storming
I just looked it up. It appears the "stop people from playing cop" was my interpretation.

It is all about privacy.

Germany has very strict privacy laws. Probably because of our recent history in East Germany and the Stasi who systematic monitored the people. Similar to the NSA, but the state collapsed and people could read their own record. And a bit more "personal" because people where extorted to spy on their own friends and family. Movie suggestion: "Das Leben der Anderen" / "the lives of others"

You also can't film / take photo of people in public or put a camera in front of your house if it has view of the public street.
You cannot terminate older sessions from a newer device immediately. There is a waiting period to delete the other sessions or delete the account.
The rasterization performance of AMD is often better than NVDA's, only raytracing and DLSS are lacking, but nvidia has significant advantage in the two domains. The next few years will bring an interesting GPU market.
KeePassXC 2.6.4 released with Apple Silicon support
Yeah, especially when they're saying it's calculated on a calendar month, so you can't even "draw down" on previous months with 100% uptime if you have a serious outage.
Like what? How can you "vote" against what a giant corporation does?
OT and for those into keyboards: The keycaps do look nice, IDK if they're good to type on but they are a nice, modern interpretation of the OG ones.
The undergraduate portion of physics is the most general and therefore the most helpful for what Elon does (really broad scope systems engineering with an ability to go fractal deep into any technical detail). And I actually do think the physics degree was majorly helpful in the approach Elon takes to solving problems in new fields. Elon is smart, sure, but not the smartest person ever. You have to credit the physics approach for much of that (and a combination of tough life growing up and extended family that provided a safety net that enabled risk-taking... the latter part could be scaled but the former shouldn’t—and may have contributed to some of Elon’s flaws). The good thing is that undergraduate physics education can be scaled to a lot of people (and aspects of its approach to solving problems adopted by other fields).
Sorry but I don't see how this analogy fits the situation in any way.
You can also try Artix(arch minus systemd).
Exactly. The police should have to ask for every single piece of footage and present a case for it in front of a judge to get a warrant. Their job should be hard, so they only do it if they really have to.
This one does https://resoptima.com/