skysight-inc/HackerNews huggingface dataset:
Regarding "socializing" I should point out that silicon valley bank had about 34 billion more assets than deposits at the time they were taken over by the FDIC. In percentage terms their assets were 119% of their deposits. So not only are they not in the red, there is a 19% cushion.

So I am not sure there even are losses to socialize. There is the uncertainty with marking to market instead of marking cost of purchase but even then I am not sure the assets will shrink to the point where anyone is losing money.

Furthermore, from everything I have read about it the assets of the safest type. They are either US treasuries or Fannie and Freddy issued mortgage backed securities. Even if marking to market would make these be worth less than they were initially purchased for, there is little doubt that they will be paid back in full if held to full term, and thus eventually make more money than they were purchased for. The problem is that it will take a while for that money to be paid back, while all the depositors want to withdraw their money now.

So I understand that people are still feeling anger from the 2008 bailout. But this is not the case here (as far as I know). There has been no excessive risk taking, there are no hidden losses. It is just the well known case that even the best and best run bank will fail if all their depositors decide to demand their money at the same time.

The FDIC should take over the assets and pay the depositors as soon as possible. If necessary, the FDIC should take a loan from the FED against the assets. And no, it does not seem that there will be any cost to the taxpayer.

It may help to call your congressman, to urge the FDIC to move fast and make people's money available quickly. It may also help to try to nudge your congressman to urge the FED to stop this interest raising cycle which is obviously affecting the health of the banking system.
A6 paper is easy to find even here(I'm in the US), the problem is finding an true A6 binder for less than $30.

Filofax personal and A5 are in the $10 to $15 range, which is about right for something that's only getting used a few times a month.

Plus I like how A5 is big enough for RPG character sheets, scripts, and the like, so I can kind of standardize and use A5 for almost everything
This is awesome! I'm currently learning programming NES in assembler with FamicomParty[0], and this look like a great next step!!

0. https://famicom.party
> Real rates were negative for 10+ years (and still are on the short end!). That's everyone paying for trillions of dollars of wars, speculation and bad investments. The bill has to be paid.

They sure were, and fortunately humanity took that free money and invested it in sustainable energy technology so that at least we got a bunch of infrastructure out of it.

Oh actually wait we just had austerity for some reason.
Go figure, one singular bank failure could wipe out so many startups. Pretty remarkable how fragile the ecosystem is if that's all it takes.
You're probably trying to say something but I don't understand what.

The way you 'have' infinity in math is by postulating there exists an inductive set (axiom of infinity in both ZF and NBG), and constructing other infinite sets using that as a building block.

Your first point is a definition of an infinite set (there are a bunch of equivalent ones), your second point is a statement of the axiom of infinity I assume?
One of my greatest thrift store finds ever was banker boxes full of unused vintage (80s?) grid paper engineering/architectural design notebooks and sealed packages of sheet grid paper including legal paper sized sheets. At my current burn rate they should last me until retirement.
Yes.

Rather, it is illegal to not pay wages timely. It is more illegal to do it intentionally/wilfully vs. not, but it is illegal in any case.
This[0] is a berry farm I was just at. As you can see it’s already covered to protect from extra sun. No tractor could fit anyways.

This[1] is one version of agrovoltaics. The solar panels act like window blinds. They can be configured to follow the sun but also can be configured to “provide optimal shade/cooling throughout the day”.

[0] https://images.app.goo.gl/mSbtJjtSQRukBQqK6

[1] https://images.app.goo.gl/9kakPW8uRHLGp3yJA
Outside of weird edge cases (like mushrooms), how does this work when the plants use the sunlight and so do the solar panels?
How many researchers can and will pay $42k per month for access? What's the market size here? Is this anything more than a drop in the bucket for Twitter?
Realistically this encourages immediate furloughs, layoffs, firing or bankruptcy proceedings. There isn't a world where the companies actually get to the stage of "unpaid wages", there are many steps they can take to avoid getting into that legal boondogle.
> will see many startups fall in the next few weeks + months

A lot of start-ups avoiding down rounds just got a great excuse to raise operating capital under the veil of liquidity.
Many bank's terms are if you get a loan from them, you need to use them as your only bank (or only accounts receiving deposits, or something). It is negotiable but it is the norm.
Can anyone describe the pro's and con's of tilting trikes vs non-tilting trikes vs bikes vs quads vs tilting quads?

It sort of seems like tilting trike is a good middle ground in terms of battery efficiency to driver comfort/stability but then why don't we see them more often in this new personal electric vehicle revolution?
That's.. Delusional. It's barely budged.
People need to know. Also I'm not promoting my research in this port, I'm promoting Hopf algebra.
Bonds have a duration until maturity. Savings accounts can be withdrawn at any time. The bank normally pockets the delta by taking up the risk of this mismatch. In this case the risk became too much.

Think about it from the other end. You have a mortgage. But the bank needs money now and asks you to prepay your mortgage. What do you do?
It means damages are owed. In many states unpaid wages must be compensated at a multiple of the missed wage, like in Oregon it is 3X.
During my first round of COVID I suddenly developed Terry's nails and extreme exercise intolerance.

The tips of my fingernails were bands of dark red and the rest of my nail bed was completely white. I showed it to something like 5 different doctors and was shrugged off every time. I also started to develop skipping heart beats that got so bad it was happening hundreds of times a day.

Prior to COVID I was highly active 6 days a week and had been for nearly a decade. After COVID I was finding it hard to exercise once or twice a week. This went on for years, all the while I was trying to figure out WTF was going on with me. Eventually I started supplementing copper and my heart issues went away completely within a week. I then started to supplement Iron and my nail beds started to fill back in.

After a month of supplementing I got my Iron/Copper levels checked out of pocket and my ferritin was below range and my copper was just in range. I don't know if I was susceptible to this and COVID kicked me into this territory or what but man was it a shitty ride.
Can't they just issue some crypto? :-)
> That said, US corporations definitely don't avoid "paying taxes."

Multinational corporations definitely do. They'll register themselves in a country with a cheaper corporate tax burden then argue that their income / sales is generated from that country rather than their actual country of origin. Thus reducing the amount of tax they have to pay in the US (or UK, etc).
I run my own MTA for some 23+ years now. Google (supposedly) reads only my emails sent by their users and same can be said about other similar services.

> The Simple Mail Transfer Protocol (SMTP) relies on MX records in the DNS to identify which server(s) it should hand the mail off to.

Not necessarily (this statement is corrected later in the post). One of my domains have no MX records and I use it for email extensively. As per RFC2821, SMTP falls back to A (and AAAA which have not existed back then) when the FQDN does not have corresponding MX record [1]. I have only found it to be an issue with one web service which utilizes hunter.io, which marks my email address as invalid due to lack of an MX record. Real mail services work perfectly fine. They (hunter.io) have the following untruthful statement in their FAQ [2]:

>> We check if there are MX records on the domain. If there aren't, the email address can't receive emails.

Linked post reflects lack of requirement for the MX record correctly:

> As it turns out, no explicit MX record is indeed the most widely found configuration: almost 119 million domains (58% of all domains) are lacking any such resource record. Of those, 76 million (64%) do have an IP address and thus could at least theoretically receive mail

[1] https://www.rfc-editor.org/rfc/rfc2821#section-3.6

[2] https://hunter.io/email-verifier
For Pete's sake, 1 month Treasury bills are yielding more than almost every bank account. Just set up a TreasuryDirect account and be done with it.
Sure, but we should only automate the tasks that are of net benefit to society. Automating robocalls freed up lots of schmucks from having to manually bother people all day. But that didn't make the world better. It made it worse.
I think BruceS warned us all about this at south by about ten years ago [0]. Forget exactly where it happens in this talk but he basically tells the audience that if they want to live by disruption, they will die by disruption, and that they have built their castles on shifting sand. Great talk imho

edit: this is actually a long now talk, will edit later if I find exactly the talk am looking for, but should be close

[0] https://soundcloud.com/longnow/the-singularity-your-future-a...
I know this is (was) downvoted a lot, but I understand this sentiment. If you read the comments above, it's a "sky is falling" situation for many startups in the Silicon Valley sphere of influence. How is it that the silicon valley tech ecosystem could be in a position where one singular bank failure could wipe out so many startups? Pretty remarkable how fragile the ecosystem is if that's all it takes.
One common failure mode of previous visual code editing projects has been forcing the program to be grammatically valid at every moment, and maybe even that each identifier is defined at all times. This doesn't always match how people like to initially write or edit programs.
Predicting words != LLM. There's different methods of doing it, current LLMs are not necessarily the most optimal method. The paper states this as well,

> This computational organization is at odds with current language algorithms, which are mostly trained to make adjacent and word-level predictions (Fig. 1a)

I feel like you're suggesting because humans != LLMs then humans cannot be doing next word prediction.
https://twitter.com/DavidSacks/status/1634292056821764099

Looking at the comments here, it's possible that this may trigger a run on banks.
That article doesn't say it was just the supply shift, it says it was a combination of factors including panic buying. And other, later sources put a larger share of the blame on panic buying [0]:

> However, because grocery stores and other retailers usually only keep several weeks’ worth of toilet paper in their warehouses, the sudden increase in demand — largely fueled by panic-buying and hoarding — has quickly depleted stocks.

> “Consumers are experiencing nervousness and they are buying more than they should, depleting inventories of an industry that is very lean,” Gonzalez said. “It will take a couple of weeks for people to understand they have enough, and the inventories will increase on the shelves.”

Again, there are similarities to SVB. There were legitimate concerns about SVB's solvency that triggered a run. The same goes for toilet paper: there were a few legitimate hurdles which were made many times worse by panic buying.

[0] https://cnr.ncsu.edu/news/2020/05/coronavirus-toilet-paper-s...
They too, thought that the world had fundamentally changed as a result of the pandemic.
Damn, people need to get a life.
Yup! We can totally automate the citogensis process: https://xkcd.com/978/
Of course the VCs who told their portfolio companies to pull the money were doing the right thing, by the people they are obliged to do the right thing by. They want to protect their companies and their investors. They'd be mad not to, and they are legally obliged in many cases.

I think you'll find a lot of the people complaining are people who got hit and are bitter about it.

e.g. some CFO's seem to be complaining about VCs - the CFOs likely didn't do their job, one part of it is "treasury/cash management". Some VCs are complaining about other VCs - probably they weren't paying attention and their portfolio companies got hammered.

Remember - SVB dusted ~$15 bill on their long term bond bet, it was almost their entire equity base. Pulling your money out was the only sensible action.
> Why do people like him think copyright laws are bad and made by rich people, but also support open source software, which relies on the same copyright laws to exist.

Because they have more nuanced thoughts that you think ?

"A copyright law" is not a one thing.

DMCA doesn't touch OSS software for example. It could entirely go away.

Length of copyright protection could be 5 years from creation instead of 70y from authors death and it would do near jack squat to OSS software. Ye you could use 5y worth of unfixed bugs and ignore OSS license but that wouldn't exactly hurt most projects.
Something else that time-travel debugging helps a lot with, is that in an awful lot of cases, what you have in the crash dump is a broken state, with no way to identify how that state happened to be. Like "why the hell does this variable have this value?". Sure, you can do the whole digging work to find what can possibly change that variable, and try different scenarios to hit them in a debugger at the moment the problem might appear in a new session that is not even guaranteed to produce the same crash. But with record-and-replay type things, you just set a watchpoint on the value, continue backwards, and there you go, you find where the value comes from.

Now, imagine you did do that manually and spent a lot of time finding that location. In many cases, that only gets you one step closer to the root cause, and you have to repeat the operation multiple times. Yes, you _can_ do that without record-and-replay, but do you really want to? Do you want to spend hours doing something that could take you minutes?

(And that's not even mentioning even worse cases, where the value you're tracking goes between processes via IPC)
I don't think anyone think's that all the money is gone, so borrowing $1m against $100m IOU shouldn't be a major issue.
Ah thanks, I thought they are yet to be made.
Labor law generally applies where the employee lives. Otherwise companies would just incorporate in <fucked country> and be able to do whatever they want.
sed -i does work in bsd-type environments (in fact, freebsd and gnu added the -i argument around the same time, in early 2002), the main difference is that bsd variants follow strict getopt shortopt parsing (i.e. no optional values, and -i always takes a suffix, with -i '' being equivalent to just -i in gnu) while gnu sed -i is quirky and reliant on its own getopt extensions (in gnu, sed -i '' does not work, but sed -i'' does)

the common portable invocation is something like `sed -ibak`, which works in both variants, and then remove the backup file; as far as i know, there is no way to portably invoke sed that does not backup
BBS networks (eg FidoNet, PC-Relay) were pretty great too.

FWIW, I believe, but cannot prove, that content moderation on Internet accessible "open" messaging systems (aka store & forward, decentralized) is not feasible.

Back in the day, I was hub for a small BBS network as well as moderated a forum on CompuServe. It was manageable, but a lot of work, esp for volunteers like me. These days, there's no way I could do a reasonable job.

I guess we'll see if I'm correct with the Mastodon experiment.
Heyo, this newsletter has some interesting stuff! Nice work.

I'm not sure how interesting my studio setup is, but LMK if you're interested: https://rx1f.com, email is there.
Normally I'm sad to see old hardware support removed, but the last time I actually used a PCMCIA card was CF card reader on a G4 Powerbook. Newer laptops I've owned have had them but why would use it? Everything is built on or a USB dongle away. Good move in my book.
Ah dang I missed that I was still using the 8bit mode, I'll look into that thanks!
SVB Impact on Starups
I think the idea is to use this on the handful of crops that prefer the shade. Think small artisanal alfalfa farms with minimal mechanization.

But all in all I agree that it adds considerable complication for little gain. At least in the US we are in zero danger of installing so many solar panels that there is not enough acres left for food. That kind of concern is orders of magnitude away from reality. Especially if you start displacing corn-for-ethanol acres with solar panels used to charge electric vehicles. In that case you actually increase the available acreage for food crops because the solar panels are so much more efficient than corn ethanol.
Couldn't agree more. For a long time, I'd be one of the last people to quit when a shitty manager was brought onboard. I'd give them their due time. Other senior engineers saw the writing on the wall and jumped ship. So far they've always been better off for leaving than me for sticking around.
Similar questions still apply.

Do the laws allow for retroactive changes?

In most places, probably not.

A license agreement is agreed to by both parties. If the terms of the agreement change, neither party is required to "re-agree".
I can't argue with your points about not having evidence, but I refuse to brush it off as "merely anecdotal" as well.

> I think of system design as something that is tediously hard. It's not something that requires a massive amount of skill. But it does take a lot of time to come up with a design.

Well, zoom out a bit, and imagine that this tedious and hard work where you are documenting and explaining things with arrows and boxes actually takes up most of your time. That's the birth of the explicit role.

I am also sure you can imagine people you have worked with that you would never want to have above yourself in such a role when you are in an IC-role, because they for example always come up with crazy ideas that won't work, or don't come up with ideas at all, or just brush over everything with simple arrows and boxes and assume someone else will figure the hard details of the overall picture out, and in fact in doing so will find no use for the arrows and boxes they got handed other than being some picassoesque requirements input from which you have to make real investigations and conclusions.

That's the people that aren't mature enough for such a role and I claimed many never will be.

But yes, I resonate with a lot of what you are saying.
Show HN: Created a ChatGPT Fiction Book Pitcher
Say hello to WouldYouRead.com!

So, last weekend I decided to give the new ChatGPT API a spin, and I came up with a seriously fun project. I decided to use ChatGPT to come up with book pitches, and I created a website called WouldYouRead.com to showcase them.

Now, I don't know about you, but I barely have enough time in the day to sit down and read. But even so, I absolutely love books, and I'm a sucker for a great back-of-the-book pitch. So, I decided to combine a bunch of AI prompts that I had been working on, and in less than 10 hours of coding, I had a working concept up and running.

Okay, maybe I spent a bit more time than I should have deciding on the perfect presentation style, but I ended up using a similar "typing" style to ChatGPT, and it looks amazing. And now, thanks to the incredible power of ChatGPT, WouldYouRead.com is creating about 120 book pitches every day.

I have a lot of UI work to do on it, but my goal was to get it launched before the end of the weekend and that was a success!

Let me know what you think!
Same mechanism.
Absolutely love ggerganov's approach with models like this and Whisper. It's just awesome being able to experiment with (what I consider) complex models without needing a billion python/c/cpp dependencies!
Yeah, and remember that this particular bank has a very, very well-connected set of customers (in the graph theory sense). So once the run starts, everyone tries to get in, causing the actual run.
The FDIC has taken control of the bank. In their last bond offering SVB lost 1.8bn$ from a 21bn$ sale. 8.5% seems like more than a haircut... and 8+% to get the money you need now is a steep cut that will result in larger consequences.

8% might seem like a stubbed toe, but these are _bonds_. You aren't suppose to lose anything. 8% inflation, 8% from bank failure and add-on the additional losses from non-bond related issues... S&P500 at 1% for the year but from mid-2021 it is down nearly 10%.
Every now and then you can see glimpses of that. After Muslims went for George W. Bush in 2000, The New Republic of all places wrote an article accusing Grover Norquist of having ties to radical Islam because his wife is Arab: https://newrepublic.com/article/83799/norquist-radical-islam...

If Hispanics and Muslims were coming here and voting their social values instead of their economic ones you can bet the narrative would be different.
ChatGPT itself does that, AFAIK, by increasingly summarizing past conversation and using it as context for the next prompt.
It's all about the brand and previous owners. Personally, I only buy used from Honda and Toyota. They have a reputation to uphold for reliability. Buy a carfax. $20 well spent to know the history of ownership. It's not foolproof, but generally good enough. Check with your friend group and extended relationships to see if they are selling cars. If they know you, even through a friend, hopefully they have enough shame to not try and screw you on a lemon.
Agreed that it's very much only a plus for some people, and may be more of a plus in theory (when people are picking professions) than in practice (when you're actually dealing with children).

That's why I put quotes around "get"!
Nice advice for future pro cheaters :)
I've gotten great q&a / conversational results from llama 7b and 13b using https://github.com/oobabooga/text-generation-webui.

],
[
"How does the Schrodinger's cat thought experiment relate to the principles of quantum mechanics?",
"In this famous paradox, a cat inside a box is simultaneously both alive and dead due to the nature of subatomic particles. This demonstrates that at the smallest scales of reality, we cannot predict whether something will happen until we observe it happening."
],
[
"What are some of the potential consequences of climate change on global food security?",
"According to researchers at Stanford University, rising temperatures could lead to crop failures and reduced harvests for staple crops such as rice, wheat, corn, and soybeans by midcentury."
],
[
"Can you provide a brief overview of the history of political philosophy, from Ancient Greece to the present day?",
"Absolutely! Political philosophy is a branch of philosophy concerning the role of government in society. In ancient times, Plato and Aristotle were among the first thinkers to consider the subject in depth. Since then, other influential philosophers such as Thomas Hobbes and John Locke have expanded upon these ideas. Today, contemporary philosophers such as John Rawls continue to debate the merits of different political systems."
]
This has nothing to do with MBS in particular, it is a fundamental aspect of the fixed income market.
And the statement is, "We all proclaim that we have the right, supported by the other two countries, to exterminate the populations within in our borders that we abhor. So bugger off and stop whining about human rights. Thank you and good night."
There is no evidence of this