skysight-inc/HackerNews huggingface dataset:
Inserting A=60 into the original line of reasoning (just to show that it doesn't immediately resolve the paradox):

1. Denote by A=60 the amount in the player's selected envelope.

2. The probability that A=60 is the smaller amount is 1/2, and that it is the larger amount is also 1/2.

3. The other envelope may contain either 2A=120 or A/2=30.

4. If A=60 is the smaller amount, then the other envelope contains 2A=120.

5. If A=60 is the larger amount, then the other envelope contains A/2=30.

6. Thus the other envelope contains 2A=120 with probability 1/2 and A/2=30 with probability 1/2.

7. So the expected value of the money in the other envelope is: 1/2(120) + 1/2(30) = 75

8. This is greater than A=60 so, on average, the person reasons that they stand to gain by swapping.

9. ...

edit: If anything, to me this obscures things further, because it makes it non-obvious that we are actually talking about ratios (i.e. 2A, 1/2A) rather than absolute numbers, and so the expectation calculated in step 7 is inappropriate - a geometric mean recovers the correct answer.
For intonation, ear is the only way.

But for timing, visual cues usually takes priority. That's why in chamber music they usually do that deep, exaggerated breath in the beginning, to synchronize the start.
So it says it’s a “lossless” stream but I don’t think it really is because my Yamaha receiver “Enhancer” (compressed music enhancer mode) mode still shows active. For truly lossless streams like Amazon Music’s HD/Ultra HD, my “Enhancer” indication disappears/does not show, because it’s receiving a lossless stream (at least 16/44.1)
Yeah I think companies will push for full return to office (while making exceptions for top performers who push back) as a way to reduce headcount without having to layoff. Cheaper that way.
IRC channels are what I consider the main support for the vast majority of free software projects. What else would there be? A forum or something? There's the manual and the mailing lists. If you meet users of Guix out in the wild you can talk to them wherever you are also. This doesn't seem particularly unique to me.
Would love to work at a University as a Research Engineer. Would not love to do it for less than I made as an undergrad out of college. Universities can avoid not paying market, but they pay more like 40-50% of market.
I grew up retarded, but my life didn't turn out the way I expected.

I had speech problems. I was in the learning center. My best friend in elementary had down syndrome. Many of my friends took the short bus. I'm absolutely serious about the retarded bit as I did not do well on the IQ test... at all.

Somehow, me, an idiot became a principal engineer and is retired at 40. I spent the last couple of days playing with legos.

Life is strange and wonderful.

You are not going to survive life, so don't expect anything just do your best and play the game.
That used to be the dominant model for getting software exposed to as many users as possible, video games or not. It’s the classic shareware/trialware model. Although, with internet downloads, the “sharing” aspect isn’t really that important anymore.
In main FAANG labs this is already a constant Brain, Facebook Research, MSR and AWS. Researchers work with SWEs to deploy models and hire hybrids.
Is Star Trek's Transporter Actually a Murder Machine? https://www.youtube.com/watch?v=f-8zEkIaB0c
> You could end up being underwater on your mortgage, which could be a bad thing if other aspects of your financial situation deteriorate.

Being underwater on your mortgage is, in and of itself, not too bad. If you also can’t pay the mortgage, that’s bad, because being underwater means you can’t sell the house to get out of it.

OTOH, in a non-recourse state, especailly in a bad economy where you are very far from being alone in that situation (which, statistically, is when it is most likely to happen), there’s a sense in which that is more of a bank problem than a you problem.
>>> The trick is you need to know someone who works there.

The people at Meta/FB who are in charge of this stuff have IG models throwing sex at them to get accounts restored. I'd be surprised if those guys take action to fix the account of someone who isn't making it....ahem worth their while, so to speak.

https://www.newsweek.com/onlyfans-star-slept-meta-employees-...
"Assume scale and sometimes incompetence" means basically the same thing to me as "they don't care about you." In either case, it's "we're okay with not making things right for a number of people who have done nothing wrong."
Volcker drastically raised rates and we’re still here.

I believe my parents had a 17% interest rate on their mortgage back then.
I think a lot of that changed after I left. (In 2005-2007) It just felt petty to have to use a coffee vending machine.
Our 4th generation iPad is still kicking and used for Zoom / Google Meet / FaceTime calls. Thinking about finally getting a new one because the video can lag when streamed onto the TV with AirTime / AppleTV.
Thanks. I was looking for LICENSE or COPYING and didn't see either.
Me too. Maybe a Dutch bot created articles for every street?
I think the author is drawing parallels between enterprise and data volumes that need to be managed. While that is a way to look at it, in my pre-sales experience it revolves around the complexity in terms of system functionality expected and the ecosystem of applications it needs to play along with. I would also add the importance of different ratings and certifications a system needs to have to make it enterprise ready along with its ability to meet varios legal requirements in each country it sells in. Example: GDPR, data residency laws, tokenisation for payments to name a few that a lot of tools still struggle with.

The expectation of the word scalability changes based on who you took ot: concurrent users, througput of data managed, data stored, processing time, system maintenance, feature extension, you name it. No system checks all the boxes 100% while still meeting the budget defined by a company.
Do NOT use Google Authenticator unless every account you use it for has an alternate MFA option (backup codes, etc) that you've confirmed work. It does not sync to your Google account and there is no way to back it up (even manually). The moment your phone gets stolen, breaks or dropped in a river, you will learn a very quick lesson about MFA backups/alternates.
What really kills me is that none of the complainers have any experience designing consumer hardware let alone running a business that sells those designs. Owning lots of hardware whose design is beyond your ken is not the same thing as designing hardware and running a profitable hardware business. Everyone will be sad when Framework doesn’t make it and no one will reflect on these BS comments and the unnecessary ill will they sow.

Sometimes there is no conspiracy to rip off all ten people off who want to repair their board. Like they’re going to spend any time figuring out how to make an extra $3k. They might just be trying to keep their IP and stay around long enough to make good on the things they did promise: modular hardware.
WebSocket Framing: Masking, Fragmentation and More
> Makes it really hard to work in the tech industry

Well thankfully there is lots of work that isn’t VC.
yeah for auth is a blockchain even required? it's pretty much just asymmetric crypto at that point isn't it?

I think the 'web3' way would make it worse wouldn't it? like metamask relying on centeralized service to query the blockchain

I guess a real benifit I could see would be being able to use a blockchain to revoke your keys somehow but that's not how metamask and web3 stuff seems to work right now
Wow. Thank you. Will move everything out of Cloudflare as soon as possible.
Any Linux server with sshd installed is a git server if you want. There is even a bundled gitweb front end (some perl dependencies) if you need it. No other software needed

I've ran that set up for many years with no need for GitHub/gitlab features
The bail out tools available during the 2008 crisis is not available today. The 2008 can was kicked down the road with few safe guards to prevent what happened, happening again. You are in for a rough time. I recommend EconTalk Podcast to find out what I am talking about.
I'm not sure why this is that suprising.. wearing a medical grade mask when around other people (and them doing the same) does significantly help reduce the spread of respiratory diseases as these can be spread from your mouth/nose..
Gene Therapy Reverses Biological Aging by Six Years
Of course, there will always be someone who won't care about their users, it's inevitable. But knowing how sausage is made, there are different trade offs when it comes to authentication...

I was at google before here, and things there are much much more stricter to the point where even an internal employee cannot do much help for themselves [1] as it happened to me with my own account. That's also not good. Things do get better, but they probably have different trade offs.

I am not sure if "scale of product increases quality will decrease". I remember twitter fail whale, and seeing it constantly, I remember android bugs from google, I somewhat remember fb's own issues (but this part is fuzzy as i have been a very light user - twitter is more my jam vs fb). Also early on internet was cleaner, spam and fraud was less, crypto money scams were nowhere to be seen at the time. So i'd say things actually got much better, maybe "attention to detail" diminished, which i guess i could see.

[1] https://news.ycombinator.com/item?id=31391843
If after 12 years no one can come up with a use for BTC beyond speculation and crime, I suppose they never will.
You are free to send extra money to the government if you truly believe in it.
If you are immunocompromised, make sure you are an "exceptional contributer" to get a personal approval.
Looked at a house in the desert summer before last, and the woodwork was deep. Heavy doors, thick windows, awesome wet bar if it was 1974, and a pool that was both indoors and outdoors.

And a T1, still ticking.

Had there been a bomb shelter, I'd be in the house right now.
My worry is that we are headed into the twilight years of the baby boomers and there aren’t enough people in their 40s to fill the gap. It will be like Japan’s lost decade. Easily.
Thoughts on Moonwalking with Einstein
SPAC investors can back out for example: Buzzfeed

https://nypost.com/2021/12/02/buzzfeed-investors-pull-funds-...
Nice article.

I must say though, I hate dialyzer. Did I get it wired up at my company? Oh yeah. I made it part of our CI pipeline in my first few weeks. My team and I have liked the help it has given us. But where it falls down is when it’s errors are stupidly obtuse or when it doesn’t catch errors. By construction it is an unsound check: some errant programs will not be caught because Elixir (and Erlang) make it really hard to infer types. The creators wanted something that could check existing Erlang code, [1] so they had to sacrifice soundness for completeness. [2] So often I really want soundness checks, and I have spent many an hour chasing down stupid little type errors that dialyzer doesn’t tell me how to find. So that’s the hate. Overall, though, it does catch a lot of stupid mistakes, so I still appreciate its efforts. :)

[1]: Lindahl and Sagonas, “Practical Type Inference Based on Success Typings.”

[2]: I have a write up on the difference between some of these terms here: https://lambdaland.org/posts/2022-03-02_sound_complete_and_d...
(Context: I'm a VC, but while I graduated just after the dotcom bubble and worked as an engineer through the '08 recession, I was not a VC until ~10 years ago.)

Directionally I agree with the post. Relative to a few months ago, there's more fear, and a much bigger emphasis now on cash efficiency, lower burn rates, etc. That said, I'm less pessimistic than the author and have different takes on a few of their points:

Point 2: "VC funds have new investment periods of 5-6 years" -- it's more like 1.5-3 years these days. Which means that LPs can back an existing VC's new fund in 9 or 18 months, and that new fund will have lower entry prices and higher ownership. A lot of established LPs I've talked to appreciate that downturns can be the best time to deploy a new VC fund. I do agree with the author's conclusion that funds might shrink in size, and many funds -- especially less established ones -- will shut down. But I believe there will continue to be lots of capital available, especially at earlier stages.

Point 3: "The compensation for software and business people will drop commensurately" -- this is the point I'm least certain about. Startup salaries have risen quickly in response to FAANG salaries. Once Google and FB started offering $400k and $600k total comp to sr engineers, startups raised their offers significantly as well. This is part of what's contributed to much bigger seed rounds in recent years: you now have to raise $4m to pay for your team of 6 in SF, instead of $2m. And if Google stops paying $400k and starts paying $250k then I do think startup salaries will drop as well. But if Google et al keep paying high comp, then I don't think startups will have much of a choice, and I think overall software comp will remain high.

Point 4: "VCs will invest more in convertible debt" -- maybe. There are benefits to debt, which the author outlined, but also drawbacks. I think most investors who write big checks will still prefer equity rounds. I do think employee equity and options will start being rebased, which we're already seeing: https://pitchbook.com/news/articles/instacart-valuation-groc...

Point 5: "Some sectors will really suffer" -- I agree with this. Here's a good take: https://twitter.com/lessin/status/1531713953293668352. Basically if a business model depended on the availability of cheap, abundant capital, then that business model will be hard to raise for in the near future. I think pure software companies will continue to attract capital at healthy (but lower) valuations.

One big difference between today and 20 years ago is that you can build a real internet business with a small team. While valuations exploded in the last 2-3 years, it was not uncommon before then to see a startup raise $2m-$3m and get to $60k or $100k MRR. And that's a great run rate for a company with half a dozen people. Your burn with 6 people and $100k MRR is probably minimal, and your dependency on future funding is low.
0.1% * 1B users = 1M users.
0.01% * 1B users = 100K users.

I don't know if anyone ever designed a fool proof system with 0 bad cases, but feel free to prove me wrong.
Elaho client on iOS.
The chart you’re posting ends in 2007 at the height of the housing bubble. Housing prices already corrected from this reference point 15 years ago.

Given the vast supply-demand mismatch, housing today is generationally underpriced. The simple fact of the matter is that new home construction plummeted after the GFC to levels not seems since the 1930s and it has never recovered. We’ve spent a decade drastically underbuilding housing, while enshrining NIMBY policies making it near impossible to ever pick even get back to pace let alone make up for lost time. Against that we have the largest generation in history aging into prime home buying age.
Getting RSUs doesn’t ever “suck”, but getting 70%+ less (denominated in $usd) money in your quarterly vesting than before is unpleasant - even if you knew it was coming at some point and don’t critically depend on that income.
I just looked into it. On desktop, there's a tab after the user hits the accept button for managing consent, but the plugin removes it in mobile for UX reasons.
LGTM – A simple pull request approval system
He came on as CEO a little over a year ago. A new CPU from inception to release might take 5 years on a good day. Design tools and methodologies take many years to change and improve. I imagine the manufacturing side of it has much longer lead times, if anything. And then perhaps slowest of all can be the institutional structure. Executives, managers, even technical leaders can remain entrenched in their positions for years, decades. And it may not be that they're not doing good work or are incompetent (on the contrary they may be extremely bright and productive) so it's not like you can just come in and fire them all, it's just that they may be stuck on ideas that used to be great. Big organizations turn more like an oil tanker than speed boat, in large part due to this institutional entrenchment.

Although keep in mind they have a lot of momentum that is going largely in the right way to begin with. They have among the best logic designers, circuit designers, EDA, silicon research and manufacturing process and technologies, and software division in the world. Despite Intel having had a > 5 year train wreck in their 10nm manufacturing technology, they're able to release CPUs which are for many cases among the best if not the best in the market which goes to show how far ahead they were and how good their design capability still is.

So I think the problem is both bigger and smaller than people think (i.e., they've not completely crashed and burned, but it won't be a matter of just wiping the slate clean and ordering the engineers to deliver on the next product).
"LGTM is a simple pull request approval system using GitHub protected branches and maintainers files or maintainers groups. Pull requests are locked and cannot be merged until the minimum number of approvals are received. Project maintainers can indicate their approval by commenting on the pull request and including LGTM (looks good to me) in their approval text."
This is an excellent point! I found the disclaimer at bottom of home page:

No offers to sell or solicitations of an offer to buy securities or any other type of investment are being made or solicited by Legends Incorporated at this time.

More details here: https://www.legends.solar/legal/legal

I am very familiar with the Howey Test. From time to time, HN try to "hack" the Howey Test with various mental gymnastics, but always fail.

Real question: Could Legends Solar structure the investment like Cadence Real Estate? (Not a shill for them!) Cadence is basically mortgage-backed securities on multi-family properties for retail / mass affluent. They are operating for more than 10 years now. If their legal structure was not sound, I assume they would be enforced upon by SEC & friends.

I feel "direct green energy investment" for retail / mass affluent investors has huge untapped potential -- like 10s of billions of USD, maybe 100s. It makes me so frustrated that I cannot push ahead solar and wind projects with my own money. I want to transition power supply as fast as possible. Oh yeah, please add utility-sized battery installations to that list also. When I look at solar potential in India (see "Bhadla Solar Park"), it boggles my mind. There is SO much potential. Same for Middle East, North Africa, and Australia. All could use/export the electricity or convert water to hydrogen, then use/export.
I'm not an expert myself, but ifixit says that very few laptops are easily repairable.
There are FAR more non-ads people than there are ads people.
It’s been said too many times, I know.

You’re the product! When the product is spoiled, you throw it away! Recovering spoiled product doesn’t do anyone a damn bit of good.
From thread

> Some very cool things happened. He recovered from injuries faster, had a greater appetite for exercise, slept better, had higher testosterone, some arthritis symptoms cleared, cholesterol improved, heart rate and blood pressure down, and eyesight improved.

Original paper

https://www.gwern.net/docs/longevity/senolytic/2021-hanley.p...
Do good for others. Not much meaning in serving yourself although do learn to be wisely Selfish. Use what you know to help others. Get out and physically hep others. Start easy say help old person across the road, feed a stray, but a Starbucks for random stranger. Whatever works for you but meaning comes from having a purpose. Only you can find that but try anything you can and something will click for you. At worst being in tech you can probably get paid well enough to regularly donate to help those less fortunate.
I also use porkbun, also because of cloudflare registrar not supporting some TLDs. One thing that really impressed me was porkbuns phone support.

When I transfered in some domains I had some questions about their UI so I gave them a ring, and immediately I was chatting with an extremely competent product engineer.

No phone system to navigate, no filtering through L1/L2 "support", no bullshit. I can't remember the last time I've had such a pleasant experience contacting support for a service.
> We Elixir programmers usually don’t think in terms of sum types.

This person speaks.. for themselves only.

> perhaps I'll make an exception for dialyzer

If your opinion is to disregard Elixir, then dialyzer shouldn't change your mind. It's pretty ineffective and painful to use.

That said, I'm a big proponent of Elixir; it's a great language and makes me happy to use it.
I know the people involved.

This work is actually legit, and it's really just insane the amount of chaos this one jerk was able to cause. This is not some snowflakes who can't handle criticism. This guy actively destroyed business value left and right.

What's really surprising is how long it took the company to fire this guy.
> then AFAICT there's no way to tell that the server is done sending the file."

This is incorrect. See https://gemini.circumlunar.space/docs/specification.html section 4:

As per RFCs 5246 and 8446, Gemini servers MUST send a TLS `close_notify` prior to closing the connection after sending a complete response. This is essential to disambiguate completed responses from responses closed prematurely due to network error or attack.

> There is no version number in the protocol, and the response layout was carefully constructed to make extending it hard

I think if you want HTTP, you should use HTTP.
> what i find the most interesting is how most are just nice people.

This is my experience too. Which is a testament to the human spirit, given how shunned they are.

> a lot of their mental issues stem from lack of sleep

I lose it after a few nights of bad sleep in my comfy bed, in my warm secure bedroom. I'd be such a wreck on the cold hard concrete.
I love the idea of a data notebook. Have you seen Franchise? It's a lovely design for something similar, though its implementation (which stopped in 2019) didn't go beyond querying and visualization, rather than manipulation. But the stying and component design are lovely, and it may be possible to pull that from their code. https://github.com/HVF/franchise
P.S. the software is absolutely mission critical (responsible for a non-trivial % of total company profit), hence the reason it's not going to get rewritten without a very, very compelling business case.
Scientists discover ‘biggest plant on Earth’ off Western Australian coast
Spinlaunch as a concept actually has some merit, as it would be one of the cheapest ways to get enormous amounts of mass off the moon’s surface. They’re a couple decades early for that, but I’m still interested to see if they can make it work on earth.
Inclusive Chromium Code
Would also go so far as to put forth any college town with a climate where a bicycle will get you around most of the year without dying from freezing to death or heat exhaustion.
If you need them then pay them.
Aggressive rebalancing of portfolios in face of global uncertainty (supply chain, war, interest rate hikes/QT).

Lots of handwringing, but sell-off of last 3-4 months has been extremely localized to growth tech. All the rest pretty OK. It's just that wall street whales no longer have an appetite for speculation, and they pulled out fast and hard.

This speculative money is going to return at some point (6 months, 2 years (?)), ironically likely to the same companies that saw 50% valuation cuts this year.
The plan is for immigrants to solve that problem in America, just need to get the proles on board politically.