skysight-inc/HackerNews huggingface dataset:
> Support for Annex F (IEEE-754 / IEC 559) of C99/C11

> The Clang compiler does not support IEC 559 math functionality. Clang also does not control and honor the definition of __STDC_IEC_559__ macro. Under specific options such as -Ofast and -ffast-math, the compiler will enable a range of optimizations that provide faster mathematical operations that may not conform to the IEEE-754 specifications. The macro __STDC_IEC_559__ value may be defined but ignored when these faster optimizations are enabled.

If you make use of Clang, you won't find support for Annex F, and in point of fact you can't even macro check to see if it even will support Annex F.

The story with GCC is... More complicated. It guarantees it'll follow Annex F for only some operations [0].

So the upshot is... Most people can't tell when and how Annex F might be followed.

[0] https://gcc.gnu.org/onlinedocs/gcc-7.4.0/gcc/Floating-point-...
Is anyone on HN here holding GME shares? Today I said fuck it and bought 75 shares and put a sell limit of $1320. If it fills I will make a clean $78k worth of profit. If it goes to zero I lose about $20k.
You make more than them on paper*
For many, this is an investment into a name recognition and making important connections. After they retire, they are hired by law and lobbying firms, financial institutions, and companies in other industries that may benefit from their connections (famous "revolving door") as lobbyists and power brokers. This is when and where they make most of their money.
At least one Mars lander has discovered ice and evidence of briny water beneath the soil. The fact that we have not sent a microscope just baffles me.

I do get the sense that for whatever reason there is a bias against explicitly looking for life. I don't think there's a big conspiracy explanation. I personally think it's what I call the "boring universe brigade," the skeptic ideology that came to dominate science starting in the 1970s that treats fascination as a contrarian indicator. "If it really fascinates people it's probably bullshit."

If there's anything beyond that bias it's probably a fear of triggering fundamentalists.

Edit:

Here's one bit of evidence for possible near surface water at a landing site:

https://www.space.com/209-life-mars-scientist-claims.html
Well, the Mattos case was dismissed without ever deciding if the officers were justified. Unless you think it's physically impossible for an officer to tase someone inappropriately (keeping in mind that tasers can kill people), you can see why this is a problem. The courts will not even entertain the possibility that an officer has done something wrong.

> My point is that this seems like a case where the cops should have been (and maybe were) disciplined within the employment context, i.e. more training, suspension, etc.

They weren't. What incentive would the department have to discipline them?

I'm interested in your thoughts on Jessop v. City of Fresno.
Genuinely wondering here, what are the benefits people are liking here? Whenever I open up a pdf it opens up fine in chrome.

A side note if anyone is also security conscience. Over the years I have also grown wary whether safe to also download pdf's and open them with a pdf reader. Anyone know if there is a best practice how to trust the pdf when opening on your host machine, or what do you suggest?
Guh

https://www.reddit.com/r/OutOfTheLoop/comments/dyaj4v/whats_...
Astronomers are extremely interested in detecting biosognatures in exoplanet atmospheres. This is one of the hottest topics in astronomy right now. They're just not interested in idle speculation about whether or not Oumuamua is a light sail. If there were some measurement that could be done to learn more about Oumuamua, then astronomers would do it, but it's a tiny object that's quite far away now. Most astronomers simply believe that the most likely explanation for the anomalous acceleration is that there was some undetected outgassing from the rock. That's much more plausible than the idea that this one particular object is an alien spaceship - not because there couldn't be alien spaceships somewhere out there, but because there are so many rocks floating around in space.

The one thing that you really can't get funding for is SETI, but that's not the fault of astronomers. That's the fault of congresspeople who ridiculed the search for "little green men" in the 1990s and barred NASA from funding it. Almost all astronomy funding comes from governments, so a government ban on funding a particular line of research means that that research basically won't happen.
https://www.investopedia.com/terms/m/margin.asp

margin trading overwhelmingly refers to paying a percentage as a collateral, not a stop-gap loan to cover ACH transfer delays. Yes you have to have a margin account to trade with immediately deposited funds (thanks ACH), but that's not the typical usage of the phrase and as such isn't what you'll find being described when you look up the term.

Particularly since you can trade with unsettled funds using a cash account in some circumstances, see situation #3 here: https://www.sec.gov/oiea/investor-alerts-and-bulletins/ib_ca...
> As I understand it, Robinhood had a cash problem because of the various collaterals required for high-risk securities during the clearing process. When each share traded needs a high amount of collateral (1:1, even), and you have a high number of those trades happening, you might not have the cash to pony up.

Something like that. But note that it isn't related to margin trading - Robinhood has to post their own cash as collateral with NSCC/DTCC, they can't use their customers' cash. So if a customer wanted to opt out of the margin account this wouldn't actually help.

(I don't know what this rule is for, but it's in the rules.)
> I can’t count how many times this conflation wasted my time and introduced various bugs

Could you give examples of this? I'm of the opinion PHP could use more strictly typed arrays/lists, but I haven't run into any issues with PHP arrays myself.
Not an exact answer but the Railroad Tycoon games often have a stock or commodities market aspect to them.
The README says it’s been available since 2009.
It is already illegal for anyone to lie to the cops.
There is precious little explanation in the article you cite on how this is actually implemented on the back-end.

Banking plumbing is notoriously harder than most folks realize, and I wouldn't be surprised if there wasn't very hard (and very small) limits to how big of an amount / how many TPS you can actually execute with this system.

I might be wrong, but I'd be surprised if you could move 10M pounds instantaneously with this.
> There is a strong argument that being good at that isn't required for most SWEs (including at FAANG)

Algos/data structures are used as a proxy for problem solving and how fast someone can learn. Plus every decent CS program will have a few courses on it.

Also, internal codebases are, well, internal. You won't get a nicely formatted Stack Overflow response on how X works if X is deep in the Google Source tree.
This logic needs to die. People said the same about Facebook in 2011 and Amazon in 2010. Nowt saying that this is going to be the same as those, but up is up, gains are gains. This is a hugely liquid market. Someone can liquidate $1 billion of GME or hedge it without too much problems.
Schadenfreude, making me feel glad that I'm not you.
https://www.youtube.com/watch?v=nCQGQ5qBQTA
That copy of VS Code seems to be starting very slowly, even taking the emulation into account. Lots of extensions, maybe?

For reference, it starts in around 3 seconds on my 2013ish laptop. (actually, more like 2014 - Haswell i7)
On wsb u/deepfuckingvalue showed he still holds 50,000 shares and 500 deep ITM call options. He has secured a profit of $13.8 million dollars, and his remaining open position is valued at $45 million.

I would caution people to not quickly fall into the "if he's still in, I'm still in" meme. He has secured a $14 million bag, regardless if the stock goes to zero he's already secured a life changing amount of money, he can afford to weather the storm. If you're holding because he's still in and you haven't taken any profits you are nowhere near in the same position as him.

A hodling mania has overtaken the subreddit that would make btc blush. Know that we don't know what kind of deals are happening behind closed doors in these two last days of manipulated activity. A sustained short interest does not necessarily mean that the shorts are holding their initial position, they could have closed and reopened at these elevated levels.

The narrative has changed so quickly from this being a value play, to a short squeeze, to now militant activism via buying stock as a means to sticking it to the man. The rhetoric is as volatile as the price. The overall market is stressed, things are getting weird and I would not be surprised if this is the beginning of another stock market crash.
I think it is safe to say they will come out with a WiFi version. The 40nm will be beneficial then.
They're all in a precarious position. If they sell their shares too quickly it will pop the bubble and cause panic selling, crashing the price. They have to slowly trickle them out while generating a constant stream of HODL memes in order to not be left holding the bag.
That's unrealistic of course, but I do wonder what GME's CEO is doing right now. Could they use the current high stock value to pay off debt by selling off stock or would that potentially collapse the current market value. Is there some way for them to take advantage of this whole thing?
Not just that though, it makes it much more expensive to say create 1M signal clients to try to spam users, deceiver users, or create a DoS. Phone numbers/sims create a limit on the feasible number of accounts an individual (or even a company) could control.
Git aliases to the rescue:

pr !open "$(git remote -v | grep origin | grep push | cut -f 2 | cut -d " " -f 1 | sed -e "s|git@\(.*\):\(.*\).git|https://\1/\2|")/pull/new/$(git rev-parse --abbrev-ref HEAD)"
Advocating for a complete and utter disregard for human life and human experience in the quest for money was the most egregious example.

What you're doing here is called Argument to Moderation.

https://en.wikipedia.org/wiki/Argument_to_moderation

> is the fallacy that the truth is a compromise between two opposing positions.

...

> Vladimir Bukovsky maintained that the middle ground between the big lie of Soviet propaganda and the truth was itself a lie, and one should not be looking for a middle ground between information and disinformation.

You see it a lot on this site. People want to pretend to be reasonable, which is why we get things like you telling me that you don't know what I consider vile, as if I'm just being unreasonable and the truth is somewhere in the middle.
Very true. I have a single rack mount server in my HVAC room, and it's still so loud I had to glue soundproofing foam on the nearby walls:)
Because he works there. He has the most information possible. He is not guessing. The SEC is quite clear about how this has to be honest disclosure. He has been rebuked several times for this. It is not unreasonable for companies to miss targets and when the forward looking information they provide at investor briefings may be less trusted and this would normally be reflected in the stock price change.

Experienced investors make long term investment decisions with this sort of thing in mind. Not everything goes to plan but if this was fabricated it would be illegal and is very commonly pursued by the authorities.
I bought one of these when they first dropped. I haven't messed around with it too much yet, but battery life for the stock/demo program is not good (like ~30 minutes of active use). I suspect the wifi is mostly to blame, though.
The vaccine basically would not exist without the UK government helping putting together the organisation to make this, before AZ even got involved, plus the academic research funding. This vaccine is sold at cost and is allowed to be manufactured elsewhere such as in India. It seems perfectly reasonable that the UK can fund a facility to guarantee supply after all the investment and effort.
An index fund is constrained by its charter, not by market liquidity.
Because it's technically true? Regardless if it's likely to happen or not the actual squeeze - the closing of shorts when there's no available stock to buy - hasn't happened (and maybe never will) yet.
I'm not addressing guilt, but to your point, it may be but one way to demonstrate their market dominance (even if the consequences are beneficial for consumers).

If you spent illicit funds on a good cause, it can still be used as proof of your control over the funds.

So Apple's position and influence over the market may raise antitrust concerns, but that doesn't mean I don't want privacy protections (I do!).

As an example, a drug dealer can give money to their community and while it's going towards a good cause, that doesn't change who/how they are donating. Companies can have similar conduct in hopes that an enforcement action would be perceived as harming the consumer/retail investors.
Can someone explain how more than 100% of the float can be shorted? How is this even legal?
The MRNA vaccines were tested prior to the existence of the variants. The Jansen vaccine efficacy was likely affected by the existence of these variants, so I’m not sure we can assume the MRNA vaccines are better.
https://money.cnn.com/quote/shareholders/shareholders.html?s...

It looks like 10% is GME is held in FDMLX, a mutual fund that tries to invest in "undervalued stocks." Since Gamestop isn't undervalued anymore, they're probably in the process of selling right now.
>can someone elaborate

Well there's - for starters - :

https://www.investopedia.com/terms/c/counterpartyrisk.asp
> What you just suggested is so illegal that no professional trader would have had the nerve to even mention it.

Why is it illegal?

At least from the outside, it doesn’t make sense. If I transfer money to RH to buy stocks, I expect that money to be used to buy the stock, when I buy the stock, whatever that process might entail. So if my purchase requires collateral because settlement happens later, then I would expect for my money to be used as collateral for my purchase and then be fully paid out once settlement occurs. Why wouldn’t it be that way? (if I’m not borrowing money from anyone).
You are 100% right. Of course it doesn’t matter.

> Does an over-reliance on documentation indicate a lack of critical expertise that will ultimately result in considerably lower job performance?

Technical research is a skill. I love working with teammates who understand how to find, evaluate, and apply proven solutions. Most projects can spare the time to do a reuse trade study before writing something from scratch.

Use (and authoring) of documentation is also a skill. Professionals use documentation to communicate with teammates so projects can scale efficiently.
Why do people constantly have to re-invent the wheel? :(

Freenet [0] has been providing censorship-resistant, anonymous, decentralized hosting for 20 years - and is still in active development!

You could upload it to Freenet without any server whatsoever and it would stay online for as long as it is popular, even if your machine goes offline.

And you'd be anonymous while doing so!

[0] https://en.wikipedia.org/wiki/Freenet
> But why do this on HN also?

I have never seen HN comments get as bad as the past few days. There have been multiple 1000+ comment threads. I've seen oodles of comments that are just sentence fragments barely more coherent than "to the moon". Righteous fury and conspiracy theories abound. This has clearly struck a nerve and bridged the gap between HN and reddit more than ever before.
In the docs they described the naming convention for the processor, which suggests there are more under development
Not free (or 'free') but there is a commercial app that does this very well indeed - Stardock Groupy. It was bundled in with something else I bought years ago and I just leave it running as it's quite handy.

https://www.stardock.com/products/groupy/
Super happy to hear about your experience! We'd love to hear more about your experience: https://scena360.typeform.com/to/pFCwAtOZ
You’re confusing margin trading with leveraging. Margin trading is just using loaned money to execute the trade.

The “dangerous” part of margin trading is taking a loan for more than you have equivalent cash collateral of.
> I am surprised to see it being tolerated so much by the administrators.

I think its been a tough month for the administrators and they're more interested in policing more... serious... politics that keep coming up around here.

Standard "HODL" or "Bitcoin hype" has been around Hacker News for a while. Hell: remember that this site is ultimately owned by YCombinator, a venture capitalist group. Hyping $$$ talk is tolerated a bit more around here not necessarily because the admins agree with it... but because its adjacent to what they do.
Oh, I gotcha now. I am going off of this story: https://www.wsj.com/articles/robinhood-raises-1-billion-to-m...

Reading closer, they supposedly got ~$500 million from its banks as loans and $1 billion from existing investors. My issue is in not knowing when this was all initiated and how long it takes for the money to go from its current place(s) to Robinhood.

Regardless, I am still learning all of this so thank you for replying and adding clarity.
Just reflecting out loud here, as I struggle with this as well.

The way you said it makes me think that at $4/month, you might actually be competing with free, as the prices seem so close. If it's $20/month, they may not say "oh but why isn't it free" or even more so at $50/month.

At low prices, maybe it just seems too much of a hassle to sign up and pay, ie, "Ugh, just $4/month? And I have to go thru the burden of signing up and giving my credit card and all that?" Whereas at $50/month, the paying process pain may feel relatively smaller.
None of them are selling. This is just silly clickbait.
Why in the world does ACH take so damn long to complete? Do the electrons move slower in the ACH network? I make a request to purchase, the funds availability in my account are verified, the withdrawl is requested, then, waiting, waiting, waiting. Why? This is the area I would love to see "distrupted". Force the banks to honor the requests in order they are received (not in the order they choose that is most lucrative to the bank). If a transfer request comes in for a value greater than my account has, decline the transfer.
That's theoretically true but not true in reality, ask one of any of the thousands of new (in the last ~8 years, since FB launched lookalike targeting) businesses that grew to millions of dollars of revenue off of FB ads. I personally know at least 10 whose primary early growth mechanism was Facebook ads. They work.
There is the "technically true" way of looking at this, and there's the non-legalistic, subjective judgement of these companies.

FB, their business model and modus operandi is filthy. They really moved the overton window on what is morally normative in terms of advertising... and then applied those norms to everything... content, not just advertising.

Apple do stuff you might disagree on. They normalised demoting applications to "apps," which exist inside a walled garden, pay rent and play by Apple's rules. This might not be a good vibe. But, the app store isn't their product.

Monopoly, by and large, is not Apple's business model. Apple are big enough that they do monopolize markets, like the app store. But the app store isn't the product or business model. Selling phones is. They don't generally pursue dominant market shares, prefering to cream the high end.

A business model that isn't inherently monopoly seeking at its core, isn't mostly about data, advertising or somesuch... that basically makes Apple a shining example. Everything is relative.

That said, despite hoping FB lose generally, I do hope that antitrust builds up to something meaningful. I'll be hoping for a guilty.
Phel: A language inspired by Clojure that compiles to PHP
Somebody has to be selling to everyone piling in.
Pentagon Information Technology – Expand your global reach
I wonder if the entire process was "astro-turfed", as in agitators were placed in the right place, right time with the right messaging to generate a mass delusion.

That would be fascinating to untangle, just as a psychological experiment and its results.
3 of the top 4 on that list likely can’t sell at all given the way their funds are incorporated. The remainder is a member of the GameStop board who probably will unload some of it, but would almost certainly need to pre-announce that he was doing so.

The rest of the list are private individuals or hedge funds so can unload whenever they want. One of them, MUST already has.
I AM a techie and even I would take RH on their word when they say 'instant'. When I send money to India from a US bank account via an intermediary (so that neither the US bank nor the Indian bank are first-party to the transaction) it is removed from my US account (in USD) and reaches my Indian account (in INR) within seconds, and I can see the balance in my Indian account and spend it right away, so I have no reason to believe it can't happen domestically when it doesn't even involve a currency change.

It's like this in most parts of the world. It's only the perversity of the American banking system where money transfers in this day and age routinely take 2-3 days and no one thinks there's anything bizarre about that.
GME is not really profiting or having a direct access to more money unless they issue more stock which is not so easy and unlikely. The ceo has made money as he certainly has stock but that's his personal holdings.
It says as much in the article. He literally just thought GME was undervalued on its merits. He had no intention of creating a squeeze or punishing Melvin.
I got my daughter to buy one GME share in her account using her money. We closed at $130 giving her a profit of $40, easily paying for her copy of Minecraft she wanted.

I don't think there was any valuable lesson in this for her or us, just a bit of fun. We are trying to teach her about gains in the long term, i.e. reality.
On Gitlab isn't possible even to read the Readme without javascript enabled. Too bad!
Ahead of their time in breaking the desktop analogy.
Baking with machine learning (2020)
For me it didn't really simplify programming, it just added mental overhead. Every array I used was either strictly sequential or strictly a mapping, and the language did nothing to help me keep track of that.

It also makes some potential niceties impossible. Python can give a special meaning to a negative index into a list, because it can never truly exist, but PHP has to treat it like a key and do a normal lookup.
The term is capitalized, which means it is defined in the first section of the document, more precisely on p. 3 in that case:

1.9. “Best Reasonable Efforts” means
(a)
in the case of AstraZeneca, the activities and degree of effort that a company
of similar size with a similarly-sized infrastructure and similar resources as
AstraZeneca would undertake or use in the development and manufacture of a
Vaccine at the relevant stage of development or commercialization having regard
to the urgent need for a Vaccine to end a global pandemic which is resulting in
serious public health issues, restrictions on personal freedoms and economic
impact, across the world but taking into account efficacy and safety; and
(b)
in the case of the Commission and the Participating Member States, the
activities and degree of effort that governments would undertake or use in
supporting their contractor in the development of the Vaccine having regard to the
urgent need for a Vaccine to end a global pandemic which is resulting in serious
public health issues, restrictions on personal freedoms and economic impact, across
the world.