skysight-inc/HackerNews huggingface dataset:
Elm doesn't have asserts. Instead, what you'd do is to have the function return a potential error (what in Elm we'd call a Result).

so instead of

function a(b) {
assert(b > 0);
return b + 1;
}

you'd do

a b =
if b > 0 then
Ok (b + 1)
else
Err "b was not > 0"

To then use the result of the function call, you'll need to unwrap the result, by handling the case where the function returned Ok, but also the case where you return Err

case a -2 of
Ok b -> -- display the value b
Err errorMessage -> -- display the error message

THis is the kind of technique Elm uses to ensure that you'll have no runtime errors in your code: by forcing you to handle the error cases. The nice thing is that the types can indicate whether something can fail or can't.
Lenovo's development really is sad - each generation has become less serviceable and maintainable, and increasingly static/locked in.

Even if you follow along models with a similar physical footprint as each series has incrementally shrunk over generations (say, compare the 2020 T14 to the t440s).

I've had enough Thinkpads that I lost counter over the years but my next laptop will be of another brand.

Hopefully I won't need a new one until one of the more open alternatives come with a decent 13-14.5" model with 2k display.
Please do reach out to us, we just got started and are happy to discuss.
Not really - the point of the article is that we don't know which conditions are on spectrum and which are discrete and it looks that the data we have is just bad.
I’m not keeping my money with a financial institution that lies to me. End of story. Transfer initiated on my cash, and I’ll deal with moving stocks in the morning.
It's a microcosm of the entire stock market, in one sub-Reddit.
502 bad gateway. Please fix it
And that is exactly the reason why the tool from the article asks you for confirmation at every step. So that you can actually go and say "oh, no, I want to keep and use that".

But even if you do blindly accept each fix, the behavior of the program won't change.
It all happened remotely, so they could make it now while we are socially distancing.
I have tried that in my work at my startup and failed. Alternating days did not work either. Jon's recommendation about alternating weeks is what I am going to try next.
Smart smaller countries that can't get supplies should approve this now and have all the supply to themselves. Or maybe the EU can do that instead of trying to get the UK supply...
So can one buy standings on the HN overview now or how is it that those Apple news are always right on top?

This thing has only 190 upvotes and ridiculous 12 comments atm and is on top.
Do your own research! /s
I think that it makes it worst even for new investors... maybe better for computer-illiterate people, but that, I don't know if it is still a thing.
Please reach out. We are happy to talk about it and find ways to accommodate other use cases.
The Squeezed Short

Edit: If you haven't watched "The Big Short" yet, watch it! Tonight!
All of the features you mention can be done without JS using server side rendering.

It would of course be more convenient to use JS for advertisements, but logins and comments used to be implemented without using JS for many pages, even if JS was available.

HN is an example of such a site. This site does not have scaling issues due to login not using JS.
Clarity and brevity are good, but when everyone is focused, no one is talking. Silence is the sound of everyone working. Talking can be a symptom of mismanagement.

Also, better English won't help when the goal is to dodge work or responsibility, which is often what's behind miscommunicating team members. A well spoken excuse is still a poor excuse.
When you put some billionaire guys, some of them happen to be have multiple roles such market makers, brokers, hedge funds that short GME and even the investors in the brokerage platform where GME is traded on one side and some poor retailers on the side side you don't need a big brain to figure out who wins.

Maybe you are not aware but Melvin lost almost 3 billions and was bailed out by Citadel and Point72 and probably they will loose even more and go bankrupt if they don't stop people buying GME.

Do you think these guys want to leave all that cash on the table and play fair? If you look at Point72 owner(Cohen) you see some really "interesting" things.
This is the equivalent of a negative research result that looked into whether there's anything more to explore here to produce the really juicy result like a true compromise, but instead shows that there's nothing that a set of highly qualified researchers can prove, at least. I applaud more of this, although it is not an infrequent practice among the top security engineers, I feel it sets a precedent for research broadly.

Nothing to be found here as far as we know, is still a result that deserves publishing. Let's make it more of the norm.
The only thing faster than an Apple post to the top, goes a comment questioning this weird pattern. -1 in one minute in a 12 comment post.

Not bad
Would you have kept it with a near insolvent one?

I suspect they lost you as a customer either way.
Isn’t that manipulating the market by selling shares so the share price drops even more?
We need a Michael Lewis book on this.
How do I copy them in the clipboard?
Thanks again for the insights here and in the other thread!

> In the implicit paradigm, it's not necessary to evaluate the smoke ahead of time since sphere tracing can reduce to marching adaptively when we are within smoke.

Makes sense. The SDF is separate from the density grid for the cloud/smoke. We need both, one to detect the boundary (SDF) and another to actually render the volume (density grid).

In offline rendering we usually just have some primitive (sphere, cube etc) that acts as the boundary but that obviously isn't as adaptive and doesn't let you easily reveal arbitrary slices of a volume.
Rebuilding Companies as Communities
Hard to tell. We're calling it beta because we may change how the feature works, not because it doesn't work properly yet.
I liked this critique of the history in one of his books (Better angels …): https://talesoftimesforgotten.com/2020/07/24/steven-pinkers-...

Here are other links that concern another one of his books (Enlightenment …): https://historyforatheists.com/2016/11/the-dark-ages-popery-... (I haven't read any of these reviews though).
Not sure I understand:

High volume causes sudden operating expenses up to a billion? Like, they're launching more EC2 instances?

Or is that because they suffer from slippage? And if so, why don't they adjust the spreads?

And if it's slippage, why would they still allow selling but not buying?

Color me skeptic, but this makes no sense.

For now I believe they just come up with some story to mask their obvious, IMO criminal, market manipulation by being a victim themselves.

The billion is probably for the lawsuits.

Can someone with a deeper knowledge chime in as to what could have happened so that it fits their narrative?
Grab is going IPO, and they are serious about it
Friend works in finance at a major alcohol/wine company not too far from SF(I'm guessing people can guess). Said prior to the pandemic there was no way they would have hired full time remote workers for their department. Now, they have no plans to go back after the pandemic due to how it has worked out and the fact they can get talent from all over the country and from cheaper COL areas.
They did.

Trading places.
>I suspect they lost you as a customer either way.

yes
PC was the exception to the norm on the 8 and 16 bit home computers, Apple as survivor of this vertical integration philosophy has showed OEMs where the profit comes from.

So naturally OEMs are making laptops as extensible as Atari, Mac, Acorn and Amigas used to be.

Want to extend it? Plug an external device, for everything else buy a newer model.

This seems to be the future as classical desktops fade away replaced by cloud instances and NUCs.
They’ve had a number of technical issues over the past year, and I’ve given them the benefit of the doubt. This is the last straw for me personally.
I don't know - in 2003 we have learned that flashmobs are possible - eighteen years later we see flashmobs in politics (Capitol Riots) and financial markets. They are still funny and entertaining - but now they are disrupting more than a retail store for a few minutes.
They should have disabled at some point new sign ups maybe? Why they didn't do that instead, probably tons of people first time to sign up with them to join the banter.
Tunguska Event
SEC scrutiny delays Roblox stock market listing
"You can buy candies". We don't have candies. How's that a problem? Obviously it's a logistics problem. It seems like the anger being driven to the wrong people.
Not sure killing competitors is the main reason for FB’s behavior. Their stock price is somewhat linked to their userbase. This alone creates an incentive to buy competitors.
I think this is a good thread that answers some of those questions - https://news.ycombinator.com/item?id=25951475 . Also curious if there were other ways though.
Lumping in the phone companies with social media companies is fallacious. The phone companies and ISPs control a finite resource in the physical environment to the exclusion of other companies. Websites are not like this, they are decentralized nodes on a virtual network, the popularity of one node does not impact the capabilities or accessibility of other nodes. Arbitrary standards of popularity aren't a good metric for applying regulations, individual users make their own choices to visit various sites based on their own capricious preferences, nothing is forcing an individual to use a particular site except for their own perceptions on what they site might have to offer them.
Forget About Cables and Charging Stands with Mi Air Charge Technology
This is some material for Internet Historian
>This was one scenario were the shorts really did have it wrong. GameStop's financials were and are pretty solid.

Honest question: do you really think that rational analysis of the viability of a stock is relevant at this point?

It seems to me that gme just happened to end up being the battlefield in which the wsb people acted
WSB proposed "the retarded short" (they affectionately call themselves retards)
Moving forward, can anyone with the expertise comment on what is the right way to evaluate an exchange? why was Think or Swim and ETrade okay and insulated from the issues these other exchanges had?
How do you feel about purging minority voters? Are we allowed to complain about that?

https://thehill.com/homenews/state-watch/514813-georgia-accu...
This is happening everywhere. It took me around 2 hours to sign up my parents for the vaccine (in an EU country) on a website that was impossible to figure out. Add details here, then you have a list of details, but those are not the actual people that you can sign up, then you need to go somewhere else to actually be able to schedule someone. It's as if they made the scheduling website so complicated that only the people that really want the vaccine will spend 1+ hour to try and register. For a 65+ person, it is almost impossible to navigate through that. And for the icing on the cake, it's all a react SPA that they build in a hurry, probably, that when you got a server error back for one of the requests, the whole multi-step process crashed and you had to start over. After all the frustration I ended up completing the process with Postman.
Markov Chain Monte Carlo: Burn-In Is Unnecessary
> "Oops, next time, make sure your pension hires a more careful trader, I hope you've learned your lesson" isn't very helpful advice to a retiree who's now out on the street.

It's really not, isn't it? Almost like the dependency on human carefulness compromises the integrity of the whole system.
My vote goes to "The Big Squeeze" ... although, it kind of sounds like an adult entertainment movie.
The same "final state" of a fake can potentially be achieved by many different patterns of interaction between the system under test and the fake.

We don't really care about those patterns of interaction as long as they end up doing the right thing: allowing the SUT to affect his "outside world" as intended.

Making assertions about the exact pattern of interaction (that is: using mocks) is too high granularity, and will make the tests break on valid refactorings. Because we don't care about the pattern itself—it's just an implementation detail—but about what it achieves.
So you’re putting a theory about pedophiles that run the world so they can drink the blood of children is somehow on par with the theory that billionaire hedge funds would try to exert undue pressure to preserve their wealth...
Get the fuck out of here with your false equivocation
And BCPL was desiged as very thin language just to be good enough to write the CPL compiler, it was never planned to be used to write full applications.

Bootstrap CPL.
I feel like you are claiming researchers do not do it.
India would go for it without even noticing I guess.
When George Mallory was found on Everest, scavengers had eaten his internal organs from one hole in his (frozen) skin. He was like a human-shaped shell.
Worth noting is that this article is almost 15 years old so the "need" for this article probably was a bit different back then.

That said, much of this still is valuable to think about and this article, to me, is not just word soup but I'll give you that it's not very focused. And I get confused since "mockist tdd" isn't really talked about explicility anymore. But I would argue the concept is very much alive as a natural part of behavior-driven development which encourages outside-in development with a focus on writing acceptance test first. So my question is if Fowlers worry from the past, that using mocks and asserting behaviour is focusing too much on the implementation. But like Fowler I haven't done BDD "for real" so I haven't seen how it plays out in the long term.
I read it as GP arguing we don't do enough of it.
Honestly, I'd say a lot of time there aren't any "legitimate sources" to prove the claims being made. That's a good chunk of the problem, because it seems that legitimate investigation and "linking" of said facts to prove the claims is next to impossible without serious government-level powers of acquiring evidence. So inference needs to be used, unfortunately. And once you start inferring without direct evidence, you start sounding like a conspiracy theorist, which is now being used to shut-down dissent and questioning.

It's not like a journalist right now can tell Robinhood "give us all your internal emails so we can verify the reason you've stopped trading these stocks". Or "Hey Discord, let's look at your internal slack comms so we can figure out what evidence you had to conclude that the WSB chat rooms were filled with hatespeech." Or "give us a data-dump of all the users and comments you identified as hatespeech".

How about some regulation in that regard? Hey EU? Here's an idea for a possible scenario and how it could look:

1. Public company makes contentious claims.

2. Curious individual (maybe journalist) makes formal request for data to confirm.

3. By law, company above is obligated to provide access.

4. Individual gets given a secure-room, no-data-copying-allowed physical access to inspect and analyze said data.

5. Individual is allowed to report on said data.

Edit. Formatting.
From someone who went to a community college and then a famous world-class computer science research school, the biggest difference is that the world-class place has the following important properties:

(1) enthusiasm of your fellow students: students are very enthusiastic and you learn a lot from working with them in your class; this makes a huge difference; so you really want a school that has a community where people live near each other and hang out together after class; this is huge; you do not want to go to a commuter school where everyone drives somewhere else after class; that is, the fewer parking lots, the better, that way people have to live nearby and you can work together on projects;

(2) implicit belief that amazing new things can be done and that you can do them: if you say you are going to do something that has never been done before, most places say "no you are not", but at a world-class place they say "when?"; it's an amazing feeling the first time someone else believes in you more than you do, believes that you can change the world, when no one else has ever spoken to you like that before in your life;

(3) irreverence for the status quo: the students and faculty are always looking at most of what has been said/written about a field, the conventional wisdom, and saying "really it's all just this <simple statement> and the conventional wisdom is all junk"; no respect for "argument by authority" at all; they are willing to just throw everything out and start again in a field from scratch;

It is mostly how people see themselves and what can be done in life. Is life something that happens to you, or is life something you are creating?

The good news is that you really could create that for yourself if you put enough effort into it. Further, if you work hard enough and you are respectful enough, the people at the world-class places will collaborate with you. Just read what they are doing, ask competent questions, and offer them something, even if it is that you do the reading they ask you to. If you are a strong enough coder and you keep showing up and doing the work, a grad student at a world-class place somewhere would likely be willing to collaborate with you.

You can even go to classes at famous places even if you are not a registered student and the faculty will help you learn. What they care about is that you are putting in the effort, which is what you would have to do if you were a student there anyway. It is really up to you.

If you behave like you are world-class, others will start to respond to you as if you are. One day, someone will call you up and say they have some research apprenticeship or some opportunity you never even thought to apply for. I've had people invent jobs and research initiatives just so I could apply for them. The world moves according to how you act every day. You are creating your world.

If you are afraid, just ask yourself this question: "how long am I going to be dead?" Goethe: "Whatever you can do, or dream you can, begin it; boldness has genius, power, and magic in it."
As I understand it, even for executing regular buys, the settlement houses require RH to maintain a large deposit of dollars as collateral.

This collateral requirement goes up when a stock becomes heavily traded, or more volatile.

Because of the insane volume & volatility of GME, RH's cushion of collateral was exhausted (And they've now replenished it, by borrowing & raising money.)

The reason that sells were permitted to execute was because each sell by one of their users reduces the collateral requirements in their settlement accounts. (So the settlement houses allowed sell orders to go through.)

The tl;dr is - when you are trading through a discount broker, you get a discount service. Serious brokerages, that are used by institutional investors don't have these problems, but they also charge a lot more for their services.
Social platform X is good when it bans the group i'm against. It's power and influence of free speech is in check.
Social platform X is bad when it bans the group i support. It's power and influence of free speech is not in check.
Supposedly the FBI has Epstein's home surveillance recordings. Been wondering when those might make an appearance in trial proceedings.
> compared to most of Asia that actually got this virus under control

Japan and South Korea had relatively big late December/early January waves. Not US-big, but enough that I wouldn't call it "under control."

China is controlling it, but with another round of strict lockdowns.

Taiwan is doing well. So is Singapore. I'm sure their policies are part of the reason, but I suspect the climate helps, too.
Retail investors lost millions because of an inability to buy?
Yeap I think that is the feature I would like. I still think it’s fine they rate the whole thing by the way, just sad for me!
The vice piece was better imho https://www.google.com/amp/s/www.businessinsider.com/highly-...
Its money and echo chambers. You just need a small audience who will fund your patreon, buy your merch, and look at your ads. Being in that environment creates an echo chamber which feeds back into selecting for a specific audience.
Is it just me, or did that article end... weird? Like, scrolling more, expecting it to continue. I'm sure we've been conditioned to such articles having a typical arc, that this one... didn't?
Why would you even bring in partisan politics? Sounds like lack of principles, and total ignorance how moderation, admin rights, privatization and rights of association works.
I read something like "The dogs on main street" and thought it was funny.
This sounds a lot like you live in a sunny climate.

A Model 3 in Europe works like this:

- Three presses for fog light control, where you might need it immediately due to weather and altitude changes

- Utterly rubbish rain/drizzle sensing and wipers that can only be switched on for one motion via stalks. Only way to get them constantly going manually is A SWIPE and button press in a moving car when visibility has already dropped.

That's just two of the worst, I won't go into the problem with their new UI (last big update) which has completely ruining the minimal ergonomics that existed for figuring out your speed/regen/etc.
Can you point to any above average, or dare to say, good brokers?
I mean, you can say that, but, it's all mixed-use highrises around there. There are new thirty-story buildings going up all the time. I don't think there's much more that could be done policy-wise, it's just a desirable area -- and there's condos half the price ten minutes away by metro.
Clash of Clans – Gems, Coins and Elexir Online Generator
140/100 isn't going to call time on you tomorrow. There are people on that who go rolling along for years. I'm sure neither you nor your GP like this rating but its important not to catastrophise. If you have some specific co-morbidity that might be different: e.g. leaky blood vessels in the brain or atherosclerosis.

Not a GP, not giving advice.
You may be right. The KORG multi-engine SDK uses a subset of C++; perhaps it uses an embedded CPU or DSP implemented in custom or semi-custom silicon rather than on an FPGA. Or maybe the synth's microcontroller has enough horsepower (and a real-time monitor with some sort of isolation) to run audio code.

Certainly it's easier to write C/C++ rather than Verilog or VHDL. ;-)

I still think digital audio is a killer app for FPGAs though.
Do users actually lose the stocks, if something that happens to the Robinhood itself? I live under assumption that it is not happening. In any case stocks should stay belonging to the folks who purchased them.
Did anyone else look at the embedded .js file? It's clearly just a load of junk cribbed from elsewhere... but this bit made me chuckle:

"__SECRET_INTERNALS_DO_NOT_USE_OR_YOU_WILL_BE_FIRED"
Algolia acquires AI platform MorphL
Is it really a “flash” mob if it’s planned months in advance from people organizing publically on Facebook or Reddit?
Its UI seems cluttered to me. Texts on menu items on the right clipped which makes it hard to read. Also every graph page has button screen at the end of the viewport which also hard to locate at first. Color scheme is good though.
As I understand it, stock trades take days to settle and the brokerage is on the hook if the customer doesn't pay for some reason. When the market is so volatile, Robinhood's trading partners demand more collateral.
Reddit frenzy pumps up Dogecoin