skysight-inc/HackerNews huggingface dataset:
If instead he's completely bunk, I'd love to see an analysis of further research proving him wrong.

That's not how it works. The burden of proof is on him:

When two parties are in a discussion and one makes a claim that the other disputes, the one who makes the claim typically has a burden of proof to justify or substantiate that claim especially when it challenges a perceived status quo.[1] This is also stated in Hitchens's razor, which declares that "what may be asserted without evidence, may be dismissed without evidence." Carl Sagan proposed a related criterion – "extraordinary claims require extraordinary evidence" – which is known as the Sagan standard.

That's from wikipedia https://en.wikipedia.org/wiki/Burden_of_proof_(philosophy)
I actually hadn't seen that one (I did know of the "Buffalo buffalo" family of sentences).

Regarding observation of the phenomenon, in a way I first observed the inverse of it. My first proofs of concept didn't learn probabilities, only structure. (One might say all edges had the same probability.) Yet aesthetically they performed just as well as versions which included probability in the algorithm.
> it provides a good idea of what the headphones will actually sound like, and a set of priorities and tradeoffs made in designing the headphones.

OK, I'll bite. Two headphones with the same response curve can still sound very different (as you also alluded to), so what useful information are you hoping to convey to a consumer? I'm all for objective measurements provided they actually tell the buyer something useful that can influence their decision. If we have to fall back to subjective impressions of imaging, detail, sound-stage, etc, etc, then it becomes moot, and we're back to square one.
Yes, a bit of shakeup at the top. Jassy now CEO, Dave Clark stepping into Jeff Wilke's role as head of retail. I assume Charlie Bell will step up as head of AWS.
Using HTMX with Asp.net Core: Introduction – Jerrie Pelser's Blog
Seems like there are two different things here; launching passengers and freight, and returning passengers in comfort and without neck injuries. One could easily envision a passenger only winged glider similar to the space shuttle to serve the passenger return role. Indeed, although spacex has nothing like that planned, these BFRs enable damn near anything.
The code is not a bill of attainder.
Note that there are existing codes for other industries that operate along the same lines as the proposed code . e.g. The Telecom Industry Ombudsman operates via a code. The (non-government!) TIO has the government granted right to impose costs onto those companies that are deemed 'telecoms operators'.
>When your disagreement with someone drives you to contact their employer and demand their dismissal, you've gone far beyond a right to disagree.

Sounds like they're exercising their right to free speech and you want to censor them. Looks like a case of "I only agree with free speech when its my side".
I can get behind the idea of his wife helping him to soften, but not his father, who was just as ruthless in his own profession
I wonder if this were to applied to more modern cases by some governments, would then the later governments apply new conviction or overturn the overturn... And how many times this chain could happen?

Unless, the case is so recent that it had some effect in modern day. I wouldn't go touch the old stuff. It is way too risky in long run...
I feel it can be an uncertain transition when a founder/entrepreneur steps down, and an employee of the company takes the place. Looking forward to how Amazon will evolve under the new leadership.
SpaceX Starship explodes in test flight crash landing
Ask HN: Why can't I run xcode/iMessage on Linux?
It is now easier then ever to get a MacOS VM up and running on a linux machine, using something like Simple MacOS Kvm(https://github.com/foxlet/macOS-Simple-KVM).

People have also got MacOS running inside docker containers and on k8:
* https://github.com/sickcodes/Docker-OSX
* https://www.youtube.com/watch?v=fBELP05oPO4&ab_channel=AltConf

There have been big moves to get windows video games to run well on linux with the help of services like Proton (https://www.protondb.com/) and Lutris (https://lutris.net/). Why not apple services?

I can run apple services easily inside of my MacOS KVM VM, why I can't directly run services imessage or xcode on my linux machine? MacOS could be running headless inside a docker container, and have an interface on the linux side to look at imessage or xcode, right?
They are diverting the attention from their core problem: lack of transparency.
I had a RH account for years and I didn't know it was a margin account (be sure: I did not signup for their "margin" service). All RH account are margin accounts even if they feel like cash accounts (but with T+0 settlement).
This is what triggered their cash problems and what drives people crazy now: a user feels they gave them 100$ to buy 100$ of stocks, while what happens is that you get a loan and they buy some form of stock in their name while committing to you for the value of one stock.
Robinhood is the facebook of finance. I moved my money out of them.
Kind of seems odd, given that you can never have 0% efficacy (unless your vaccine somehow caused every vaccinated person to get the disease instead of a non-vaccinated person). It seems like you're wasting half your "spread", basically.

If you measured efficacy as "1 - (vaccinated infections / unvaccinated infections)", it would be much more intuitive, and you could even get a bit of negative efficacy in the case where your vaccine did nothing.
Don't think that's quite right either. Pointer coarse would just refer to the device used for pointing. Using a tablet with a mouse would be "pointer: fine" but it's still a tablet.

As always, the issue isn't black and white. There is no solution that always works, because it depends on what you're targeting. If you want to scale elements to be easier clickable for people who might devices where it's harder to click/tap accurately, then "pointer: coarse" makes sense. If you're thinking about scaling elements on the website, some other solution fits better. Which one? Again depends on what you're aiming for.
My wife is very sensitive to sounds, and its linked to her autism. Not all autists suffer from this (my father was an "audiophile", yet I don't suffer from high sound sensitivity).
> This journey began some 27 years ago. Amazon was only an idea, and it had no name.

Jeff's pitch at the time (1997); so on point, so precise: https://www.youtube.com/watch?v=rWRbTnE1PEM

> The question I was asked most frequently at that time was, “What’s the internet?” Blessedly, I haven’t had to explain that in a long while.

Here's Jeff explaining the Internet (at a TED talk): https://www.youtube.com/watch?v=vMKNUylmanQ

> Invention. Invention is the root of our success. We’ve done crazy things together, and then made them normal... If you get it right, a few years after a surprising invention, the new thing has become normal. People yawn. And that yawn is the greatest compliment an inventor can receive.

Jeff speaking about innovation, invention (based on first principles), making data-driven decisions (and also when to not trust data), learned helplessness at Stanford (2005): https://www.youtube.com/watch?v=WhnDvvNS8zQ

> When times have been good, you’ve been humble.

Heh. Reminds me of this 2008 lecture where Jeff is selling AWS to startup school students: https://www.youtube.com/watch?v=6nKfFHuouzA Classic.

> Amazon couldn’t be better positioned for the future. We are firing on all cylinders, just as the world needs us to.

Not sure about that last part, Jeff.

So long, and thanks for all the fish.
Americans adopt that narrative voluntarily when it comes to entrepreneurs, he doesn't need to interfere with the Wapo newsroom for that. (and to my knowledge hasn't).
> i just can't really think of a 2021 scenario for CL, legacy code aside

I've been reading similar statements every years since I started programming in Lisp in around 2000, and could easily find more of the same going back in Usenet archives and whatnot before that.

"Against the tide of Common Lisp" (Usenet, 1986): https://www.usenetarchives.com/view.php?id=net.lang.lisp&mid...

"Considered Opinion: LISP is Terrible" (Usenet, 1983): https://www.usenetarchives.com/view.php?id=net.lang.lisp&mid...

Excerpt: "I have been attempting to evaluate LISP as a programming language for VLSI design, and after having read MANY LISP programs, I have come to the same set of conclusions about LISP as a programming environment. To make LISP usable, each particular interest group defines/modifies/extends LISP for its own purposes. The result is a set of islands of users, each with their own "flavour" of language, which they claim is the "one, true, and holy LISP. I like the LISP data structuring; As a programming language I rank it in the same class as APL: useful, highly unmaintainble, very hard to document, and VERY unportable."
Except you're missing the explanation as to why all of the actors have a reason to listen to that person. That's where things stop being simple.
A bit earlier in the stream they tried to show footage from the rocket but the feed kept cutting out. That's probably why they didn't end up showing video of the engines during the landing like last time.
Honestly, my main takeaway from this testing and Falcon 9 dev has been that we should be doing a whole lot more of that than we have been, at least until there are human passengers. The contrast in rate of progress with eg SLS is stunning.
The same as static linking any other library: it stops the library semantics from being changed out from under you by a 'update'.
Does anyone know some good books that explore the space race? I've read Carrying the Fire(which was excellent), but it doesn't touch much on what the Soviets were doing.
Quad charts are used extensively in the US military.

https://en.m.wikipedia.org/wiki/Quad_chart

Examples: https://www.rechargecolorado.org/army-quad-chart-template-pp...
Ah, that explains it. Yes, I'm running Gnome and xdg-desktop-portal-gtk.

Thanks for the constructive and informative discussion.
It really is. The challenge is it is tough to have that app support with it, everyone expects their apps to work the old way of doing things. ;)
How did you get to that conclusion?
The landing burn will relight 2 engines to slow down, then land on 1 engine.

SN8 was really close. Only a couple more seconds before the engine ate itself would do. :)
But... that's not clever. Someone with a good memory can just remember the symbols and test out each letter on the keyboard using the font.

"Person, woman, man camera, TV"...
Do you agree, then, that RH should be punished, if not dismembered as an entity, for incompetence leading to billions in stock losses?
Amazon did not invent customer reviews.
The best way to motivate devs to build truly robust systems is to let them go home at 2pm when things are finished and production process is running smooth.

However most organizations would pile more work onto devs if they finish early, so devs then compensate by taking more time on their current tasks. Why finish them early, when you'll be thrown another one right away.
I think they will practice until they get the landing right all the time.

The engines with vacuum optimized nozzles are not suited for landing. They can not be gimbaled and are very over-expanded as well. I would not be surprised if the engines with vacuum nozzles destroyed themselves if they were fired at sea-level.
Not only couldn't write code to handle it but couldn't patch code which mishandled it after it failed publicly!!!

How do you have the same leap year bug 4 years later??
Should You Diaper Your Pet Duck?
people have now even began proudly owning domestic ducks as pets because they love animals and even need to have geese be blanketed inside the circle of relatives. I know this can sound a bit abnormal, however it is genuine, people even very own ducks that they hold within the residence and educate similar to some other pet that they might own.
This has nothing to do with being a margin account, it's DTCC requirements related to wanting to buy the same stock everyone else at the same broker also wants to buy.
I have mostly untreated amblyopia and while mine doesn't sound as bad as your mothers, I've always been terrible at most ball sports despite being reasonably athletic due to poor depth perception.
I like that Jassy is taking over. He really helped transform the world with AWS and Bezos’ stubbornness to keep failing is what allowed that business to grow.
Ask outside tech bubble and 9/10 never even heard of AWS,even though half of the things they use run on it. The retail front-end is the PR, while AWS is a magic money tree.
It's probably the right tradeoff though? More possibility of internal netting for the broker with batching, sounds more efficient.
You can do the converse: create a type guard asserting a structure, and then extract a type.

type Spec<T> = T extends (x: unknown) => x is infer U ? U : never;
type Foo = Spec<typeof someTypeGuard>;
> Why choose robinhood when the alternatives include some of the most well capitalized institutions in the world

The biggest reason is that none of those world class institutions can actually build a functioning smartphone app
I'm not a physicist and I don't really have an opinion there, but that's funny. One side argues that pushing multiverse is unscientific, while other side argues exactly the opposite, that pushing Copenhagen is unscientific.

https://www.lesswrong.com/s/Kqs6GR7F5xziuSyGZ/p/xsZnufn3cQw7...
>Btw the requirement to not use customer collateral is enforced by the DTCC and not at a brokerage level discretion.

No, it's an SEC rule.

Broker dealers can fail, sometimes due to malfeasance but sometimes simply due to bad management or even bad luck.

In a system with a central clearing counterparty (in this case, the NSCC/DTCC), that organization mutualizes those risks by acting as "the seller for every buyer and the buyer for every seller": the process of novation splits each trade between buyer and seller into two. i.e. the seller sells to the NSCC and the buyer buys from the NSCC. Effectively the NSCC is guaranteeing the trades.

The collateral is effectively a security deposit that varies in size depending on how much risk a particular broker dealer is bringing into the system as a whole.

Does it make sense yet why this can't be done with client money?
full discussion over at this alternately linked on:

https://news.ycombinator.com/item?id=26006656
I think OP was alluding to the cash cow that AWS has become.
I use FairEmail[1] as my email client and Simple Calendar Pro[2] for my calendar needs, both from the F-Droid store.

[1] https://f-droid.org/en/packages/eu.faircode.email/

[2] https://f-droid.org/en/packages/com.simplemobiletools.calend...
Short sellers have two days to borrow and deliver shares, and if they don't do that, they can be subject to a buy-in (I think 3 days later) for failure to deliver. They don't really manage that back office stuff themselves; their prime brokers do.

Shorts also have to pay a large amount of interest to remain short, because they are borrowing the shares that they sell. Indicatively, I see the short rate at around 12.5% annually. This is not terribly high. You can look at the short rate as a quick-and-dirty, but more granular across time, proxy for short interest.

People are acting like GME is the only stock that has ever short squeezed. TSLA has squeezed repeatedly and its valuations have stayed high despite the company not turning a profit ex regulatory credits. We've already exceeded "reasonable" for GME so it's all a question of price action at this point. The main factor that makes GME's squeeze such a huge deal is that it was driven by a self-deprecating crowd of people sharing thoughts publicly, rather than some famous billionaire steering the money of several other famous billionaires.

There's no law that says every trade has to be justified on a fundamental basis. Some people trade technicals. Others trade sentiment. Still others trade volatility. The price is the price. If BTC can go to 30k then GME can go to 1k.

Another interesting factor is that, if short-sellers were reluctant to cover at $4, then there are bound to be many firms that are short stock (or long puts) here around $100. As long as there are shorts out there, it can squeeze again from shorts covering or market-makers hedging gamma. If nobody from WSB sells, then it's a question of the rest of the market participants (computers, market-makers, hedge funds, retail, you name it) pushing around the spot price. IMO it's a very interesting situation. We don't get FTD and short interest data very often -- bimonthly and on a lag -- so there's a lot of uncertainty. I share your genuine curiosity.
Check the settings on your TV and sound system. I had similar issues with my TV adding lag so it could do some sort of post-processing. Switching the feed to "Game mode" made a world of difference.
Thist
I suspect he will focus on his space venture (blue origin)... but maybe that is wishful thinking.

That said, I think it can use his focus more than anything else (and he is investing 1B/year in it)
That's a very good point. Looks like my brain also had a major malfunction ;)
IIRC Zhe Germans were pretty hands-off with von Braun as well.
Google now gives you more information about the sites in your search results
The implicit call is that the SEC should push for it and financial institutions should accept the push. I'm not sure there's much to say beyond that; the basic technological principles behind getting real-time information from the NYSE to DTCC are simple and well-understood. The industry just has to invest the time and money required to make it happen.
At some point you just have so much money that continue working full-time doesn’t really make much sense
How in the world do they say the new reviews are compliant and the previous reviews still weren't? Why even bother trying to float that?
Interestingly, it seemed at the time that books were just about the least exciting things being sold on the Internet, and the shipping costs looked fatal to the business. You could buy just about anything, and everybody was going out of business trying to compete on big ticket items like electronics and movies and games and beanie babies. Not much competition on books online (anybody remember the “Duwamish book store demo” from Microsoft?). It seems to me that he looked way out and thought about how things would be done 20 years hence, regardless of what made sense at the time, and chose to start on the piece of that future with the weakest competition.
Location: Seattle, WA, USA

Remote: remote or office is fine

Willing to relocate: Yes

Technologies: React, typescript, javascript, C#/.NET, NodeJS, GraphQL, puppeteer

Résumé/CV: https://www.linkedin.com/in/jackstunning/

Email: JackStunning9001@gmail.com

I am a new software developer looking for my first job in the tech industry. I am looking for any entry level position preferably front-end or full-stack.
Retiring at 57 is pretty risky. Hopefully his savings hold out. He's looking at 30 more years of life. Personally I would be too cautious to leave this early.

Edit: risking -> risky; fixed life sentence
How that compares to the announcement from https://www.ema.europa.eu/en/news/ema-recommends-covid-19-va... where they state the the efficacy is 59.5%?

Is it a different dose or different timeline?
Navalny Sentenced to 2 Years and 8 Months in Penal Colony
That opening shot with one spaceship launching while the other was still on the pad was priceless, though... and they are iterating so quickly that much of the value from SN10 was already gained in the manufacturing process.
Hopefully this will precipitate a change in how engineers are treated? Maybe they’ll be nicer to their employees and/or stop the practice of arbitrarily culling large portions of engineering talent..
The Case Against Anthony Fauci
Solve crossword puzzles with your friends, collaboratively: https://squares.io/

(Also great for solving solo.)

I built it because I wanted it to exist, and it's been fun to build. There's a small group of regular users, and I use it regularly myself. There's no monetization, though I have some thoughts about how that could happen in the future.
I have no problem with conditional investing. If I owned a media company, I would like to be involved.
> Your company should endeavor to put you face to face with the "customer" making the request

Strongly prefer the current system over that :)
I still have the very first book I bought from Amazon when they were a very young company. Not too many choices. I bought "Relativity : the Special and General Theory" - Einstein.

Decades later. We see in fact they are "to the moon" financially and with Blue Origin. Well played. Well played.
Silence Is a Commons (1983)
Love him or hate him, Jeff Bezos has been a legendary figure in the world of business for over 25 years now. His focus on the long term has led to the tremendous success Amazon has undergone.

When he started selling just books, he was laughed at by some people; but he had a why behind starting off with books. One thing is certain, Bezos has stayed consistent on his principles. His annual letters to his shareholders contain a lot of business wisdom.

I wrote about him covering the theme: Thinking as a means of leverage in https://leveragethoughts.substack.com/p/jeff-bezos-amazon-an...
I agree about barriers to entry helping Google maintain their monopoly. We disagree about whether monopolies themselves are illegal as you say.

From the wiki page laying out the US law in this (feel free to correct me if Aussie law differs?):

>The courts have interpreted this to mean that monopoly is not unlawful per se, but only if acquired through prohibited conduct.

>When enterprises are not under public ownership, and where regulation does not foreclose the application of antitrust law, two requirements must be shown for the offense of monopolization. First, the alleged monopolist must possess sufficient power in an accurately defined market for its products or services. Second, the monopolist must have used its power in a prohibited way.

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

I don't think Google meets the second requirement. I believe we agree it meets the first?
Did you consider the Unihertz Titan? I actually loved my Nokia E71, but I cannot say I was very productive with such a small keyboard. Hence I'm aiming for a keyboard with larger keys and more travel, ie. like Planet Cosmo / Planet Astro.
Woops unscheduled disassembly <3

SN10, we're waiting!
GitHub adds ability to upload videos to comments and gists
I've been mostly happy with the Charles Schwab app. They also don't charge any fees.
The takeover of tech by MBAs continues. It has now happened at the top 4 largest tech companies in the US.

We will have Apple (Tim Cook), Amazon (Andy Jassy), Alphabet (Sundar Pichai), Microsoft (Satya Nadella & Steve Ballmer) all taking over from non-MBA founders. Facebook is next in size and has Sheryl Sandberg as COO but don't know if Mark Zuckerberg would ever hand over the reins.

Why don't non-MBAs manage to get to the top?
I’m just going to piss into the wind a little. After seeing what happened to Microsoft and Apple after they lost their founder CEOs, I don’t welcome this news as freely as others might. We’re not necessarily likely to see the company go directions that are for the better. (Maybe though this is really a rant about Cook. Amazon has lots of room to improve. Looking at all those forged brand names, for instance.)
I'm not sure that's more simple than different groups taking different actions for their own reasons.
AWS Chief Andy Jassy to Succeed Amazon Founder Jeff Bezos as CEO