skysight-inc/HackerNews huggingface dataset:
> I think it's utterly silly to think that free will fits into a material model.

It isn't silly, but it is hard to discuss it with people because logic breaks down under self-reference and logical debate has been the most popular mode of our debates since Aristotle. Even empiricism doesn't save from this weakness, because it implies we ought to update based on the observed evidence. The Halting Problem and the Incompleteness Theorems are very important to recognize. They lead to a recognition of the infinite self-reference that occurs quite naturally as physics reaches its limit and is employed to model an agent which uses that model to model another agent that is modeling them. This produces computationally irreducible phenomenon. From there we start to reach into game theoretic concerns wherein evidence denial on the basis of equilibrium consideration becomes normal. When extended to imperfect information settings we end up discovering that non-deterministic policies are optimal. This optimality proof and the guarantee of the ability to confound through undecidability give us a grip on what selection and variation ought to select for through an appeal to the central limit theorem.

The funniest thing to me is that the decision to deny this corresponds with choosing an unfactored and unsimplified representation for reality as being more correct. Yet this backfires in the most beautiful way: it is slower to compute then the factored and simpler representation. Which means it is computationally reducible. Which means other agents can know your output before you do. Which makes you victim to Halting Problem attacks - or rather it makes you determined but your world indeterminable for you. But the even more amusing irony is that the entire reason we even use logic and empiricism is because we recognize the proxy relationship advantage as a function of the proxy not being the actual thing. So it is a self-refuting position, because it tries to reject the underlying motive for both the use of logic and the use of evidence. Which, well, when you see it - now that is rather silly!

What it is on the free will side isn't silly, but non-sense. As in, literally non-sensory. When you really realize that is what is happening though it is a mistake to laugh at it. After all, how many fingers am I holding up right now? You aren't sensing it. Non-sense as a belief about your sensory data is actually quite valid, because you aren't sensing it actually corresponds to your actual states. It is congruent, not in-congruent, with relevant states.

In formal reasoning about this topic we therefore differentiate between three things: world state, observation state, and information state. This is starting to get into the game theory aspects of the problem, which can end up being very motivating when you notice the proof of optimality of non-deterministic policy functions under imperfect information, but if you really want to understand the undecidability you probably are better off checking out something like https://www.wolframscience.com/nks/p750--the-phenomenon-of-f...
"Psychometrics is a soft science with serious replication problems except for IQ which is as hard as physics and reliable enough to be used to stereotype large groups of people and draw broad sweeping conclusions about politics, ethics, and sociology." - The IQ crowd
It can look like anything. Sometimes it will answer your questions, other times it will continue the question like its the one asking. I've also seen it randomly output footers and copyright like it just got to the end of a webpage.

Its makes sense when you think about how the training data is random text on the internet. Sometimes the most likely next token is the end of a webpage after an unanswered question.
> when the site first got a surge of users from hacker news, there was one poster in particular who came to the site, registered a bunch of offensive, racist usernames and proceeded to post and create threads that were just full of dumb slurs. this was definitely a learning experience because i had to act quickly, so i tried a bunch of different methods to get rid of him.

it's sad that people like this exist in the world. what could possibly motivate someone to spend their time doing this?
Good point; I forgot to mention the reliability/environmental aspect as well. Most DIY, and even pro installs, of mini splits fail due to leaking flare connections, which must be made in the field. Modern refrigerants operate at very high (400+ PSI) pressures, and getting a perfect seal is critical. Having the entire refidgerant loop sealed and tested at the factory significantly decrease the common issues and prevents dumping climate-harmful gasses into the atmosphere.

Even with more reliable brazed connections, modern heat pumps are very sensitive to contamination of the refrigerant lines. Brazing must be done with utmost care not to overheat the copper, and nitrogen gas needs to flow through the pipe at specific volumes to prevent carbon deposits that can decrease the longevity of the system. Any damage caused by improper brazing is largely invisible (inside the pipe) and the process is time consuming and precise; in exact opposition to the incentives an HVAC installer to get it done quickly.
Happy customer of Mercury, and was pleased to see the FDIC increase this morning.

Question: what happens when FDIC limits are exceeded. For example, someone deposits 5M on a 3M limit.

Are the excess funds equally distributed over the underlying banks, or is there a specific allocation strategy?
OSC52 support is a major plus for me, another one with OSC52 support is alacritty
Off topic, but I always struggle between "half is below average" vs "half is below median". One is technically incorrect, understood by everyone but attacts nitpickers, and the other one is technically (more) correct (and I like it) but comes of as pedantic or even pretentious. I usually pick one depending on the audience.
Definitely lower battery consumption than Alacritty, at least while this is still an unresolved issue https://github.com/alacritty/alacritty/issues/3108
The UK's National Savings & Investment Bank, which is owned by the government, offers almost exactly this, your money is guaranteed because it's the government (in taking your "savings" they are in effect borrowing your cash to run the country) so they can and will literally print money to pay you if necessary, however NS&I is intended to be used by individuals, not organisations, maximum balances even in their lower interest generic savings account top out at £2M.
Interesting. That could be a huge disadvantage for the EU and it's companies that want to use AI and also often can't give their Data to third parties. But I am not sure a neural net is even considered a DB. Because when this was created they clearly had structured Information accessed by people in mind. There has to be some distinction otherwise I make a db that stores digits of PI in a file and if you publish part of it, that is considered substantial enough, you are infringing on my DB rights.
I see you paid attention. :)
> The system should be self contained from the start and must be able to function without a local network & internet.

Rural users often have limited or no access to Internet service, yet need technology like this to heat and cool their homes.
No, this is exactly what's supposed to happen. The FDIC wants large depositors to spread their deposits over many banks as this reduces overall risk. The limit is not about protecting "ordinary Americans" over "rich people".
I keep interesting and valuable repos in my rsync.net account and I use git to pull them directly:

ssh user@rsync.net git clone mirror … blah blah …

… which is nice because I don’t use my own bandwidth.
Speaking of blogs, I wonder if the death of Google Reader led to the death of blogs in general. It was about that time that people seemed to stop writing blogs and moved to Facebook/Twitter and their generally far shorter (and to me, less interesting) postings.
Sorry to pile on offtopically, but can you please email me at hn@ycombinator.com? I want to send you a repost invite.
Same thing with the "vinyl sound". It's a proven fact they are worse a reproducing recordings faithfully than a regular well-mastered audio CD, let alone some high resolution FLAC. Vinyl distorts the sound. But it distorts it in a way people like.
Hi Chris, good luck with your startup. I'm in the market for a natural gas --> heat pump remodel and expect to be signing a contractor's proposal today. I'm looking to put in a 4 ton Mitsubishi hyper heat system with an air handler to replace the gas furnace and four minisplits for the cold spots in the house. I live in the PNW.

The Mitsubishi remotes and thermostats do indeed look like they're going to be terrible, and their cloud-based offering is a joke whose website has been offline every time I looked at it. I still won't be considering your startup's offering. In the interest of providing constructive feedback, here's why:

1. Timing. My existing air conditioner is defunct and I need a replacement before summer.

2. No track record. This is by far the biggest issue after timing. I'm not comfortable making such a big purchase, which I expect to maintain for decades, with a company without at least a five year history and the opportunity to work out the bugs.

3. Multi-port system. My house has serious problems with hot and cold spots that can't be resolved with the existing ducting. Minisplits are necessary. I like that the Mitsubishi system runs the central air and minisplits off a single compressor.

4. Contractor. This is a big install and I'm not going to do it myself. I contacted several contractors. Each has their preferred vendor, and the one I liked the best prefers Mitsubishi.

I hope this is helpful. Again, best of luck to you. Competition in this space can only be a good thing.
Please do it, people shouldn't put up with the apathetic siloed status quo. I'm sure people will find all sorts of beneficial uses for these models they are going to run on their own hardware!
>its right in the second line of the comment

Well that's embarrassing, thanks for the reinforcement!
Is it an alternative to shellinabox ?

https://github.com/shellinabox/shellinabox
In most cities, rents are lower than mortgage payments, because rent is a multiple of when the house was purchased, usually not the price to purchase the house this year.

If I buy a house in 2009 when the market is depressed, and by 2023 the value of that house has gone up immensely, but my mortgage is still based on my 2009 purchase, I can charge less to rent it out than it would cost someone to buy it. Or I can charge the going rate, and hope I find someone willing to pay it.

But if I'm on the other side of the table, it is usually cheaper and easier to rent a house from someone who bought it years ago than it is to buy a similar house myself.
Finally a game dev thread on HN that's more than an engine announcement!

> I am making a procedurally generated world simulation game

That's so awesome. Procedurally generated worlds and systems are so powerful, and they'd only going to grow more so with AI advances.

Would you or someone in this thread be interested in part time contract work at my AI startup? We're doing a lot of procedural generation and AI animation in Unreal Engine and I'd like to have more hands on deck than just me.

https://storyteller.ai

https://twitch.tv/FakeYouLabs
As opposed to decreasing trust in the government, which will now be seen as an institution that takes money from normal people and allocates it to those who confuse real money with Monopoly money.
It looks like YADRO is making server hardware. IPMI is just enumerating server hardware in the linked GitHub.
Hofstadter: Esoteric programming language with concurrency, regex, web requests
The End of Tech Exceptionalism
It was fine when it hurts regular people, but if the investor class is going to be hurt, we need to do something!
ChatGPT and Chegg for all your classes
Hey! I made a website over the last two weeks that lets you upload your notes, textbooks or any pdf and ask questions about it. It even summarizes the document for you and creates a set of questions for each note you upload, quizzes you and evaluates your answers. Think ChatGPT but it knows what's in your notes. Give it a try and lmk what yall think
Stanford Alpaca, and the acceleration of on-device LLM development
I don't think people read "macOS" and immediately think of the Macintosh apple.
And just as an aside - keep in mind Greg Becker was not only the CEO of SVB, but also on the Federal Reserve Bank of San Francisco [0]. It also appears he very well knew the loophole he was abusing [1]:

"Silicon Valley Bank Chief Executive Officer Greg Becker sold $3.6 million of company stock under a trading plan less than two weeks before the firm disclosed extensive losses that led to its failure.

The sale of 12,451 shares on Feb. 27 was the first time in more than a year that Becker had sold shares in parent company SVB Financial Group, according to regulatory filings. He filed the plan that allowed him to sell the shares on Jan. 26."

...and...

"“While Becker may not have anticipated the bank run on Jan. 26 when he adopted the plan, the capital raise is material,” said Dan Taylor, a professor at the University of Pennsylvania’s Wharton School who studies corporate trading disclosures. “If they were in discussion for a capital raise at the time the plan was adopted, that is highly problematic.”"

Apparently the new rules go into effect on April 1st. How convenient, and ironic.

[0] https://news.bloomberglaw.com/bankruptcy-law/svb-ceo-no-long...
[1] https://www.bloomberg.com/news/articles/2023-03-10/svb-chief...
Well 1.2% of your SP500 fund is in JP Morgan and 1.36% is in Tesla.
I'm fairly certain that's how a bank run operates, and what we have here is a bank run. Each individual person who withdraws isn't to blame, but it's the collective actions that cause the problem. In fact, all that is needed to cause a bank run is just the idea / notion of instability. Once it gets into people's heads that something is unstable, it will be made to be so, even if all that was needed was calmness. Probably hitting the panic button wasn't the best move.
Maybe you missed the part where the insurance stopped paying anything. If you do nothing, the insurance wins while you still have to eventually pay or suffer other consequences.

The only trick here is tricking yourself into thinking you've won until proven otherwise.
https://t.co/kw7ykC3763

Without paywall courtesy of FT twitter post
>I've got no love, nor much respect for venture capitalists, but I don't see that wanting, or expecting, to get your money out of a bank account to be corrupt or hypocritical.

Of course we all want that, the issue is that there are long-established, clearly-defined rules for how much of your account is protected that somehow don’t apply to the rich.

For you or I it’s $250,000. Need more to be whole? Too bad, suck it up, that’s the law. But VC accounts? 100% recovery sir, sorry for the trouble!

>I also don't blame them for whining and complaining, likely anyone would do the same.

Except until last week most of these guys were crowing about PERSONAL RESPONSIBILITY and living with your choices and how handouts and bailouts were evil in response to workers and consumers asking for anything

Curiously though, when it became about their money, suddenly it’s GOVERNMENT HELP
"Death panels" sounded absurd in 2009, especially given who is most famous for introducing us the term. In 2023, when I look at Canada's ever expanding MAiD programs, it doesn't seem as absurd.

If you're a government bureaucrat tasked with reducing healthcare expenditures, in a society that's made the determination that suicide is an acceptable medical treatment, you are incentivized to increase the practice.
Have you considered the covid response openly violated the Constitution's 5th Ammendment? The gov shut down businesses for the public good (took private property) without just compensation. And what marginal compensation was offered was done so through PPP and was corruptly incentivized.

I would describe the covid response as anything but working out well.
Are you paying for Sentry? What type of monitoring does it provide? I'm working on a project I'd like to add some monitoring so I'm on the lookout for a good solution. Looking for something free though until there's a need to have better insight than I can get without paying for it
I always enjoy seeing your posts on HN; I'm honored that you played the early versions of SA (and admittedly a little embarrassed at how rough & unpolished it was back then).

Really appreciate the kind words, means a lot coming from you -- thank you!

I don't remember if we actually shipped it or not, maybe it was only on a beta branch (or maybe it's sitting on a git branch still), but I actually implemented an "infectious disease" concept at one point. I think the idea at the time was for it to be a holiday "easter egg" maybe, but I don't recall for sure. I do vividly recall testing it one morning, though, and I had the "contagion" values (way) too high. I'm pretty sure the concept was wholly taken from Theme Park, where I recall one post-coaster puking agent could yield a rapid mess. The day I was testing my copy, I ended up making a video of the hilarity that ensued when a single infected passenger deplaned and suddenly there were hundreds (maybe thousands) of agents (passengers) all "stumbling around" spreading the ultra-contagious disease like wildfire, making a disgusting sound & leaving the floors covered with ick. I'll have to search the repo history -- maybe it's worth revisiting!

A disease tycoon, eh? Like SimAnt, but on a wholly different scale? =D

Would love to connect if you're ever in Vegas! Thanks again for the kind words, makes my day & sincerely means a lot to me. :)
Not a huge Tesla fan, but they did release the Model Y. Then the pandemic hit. I cancelled my Cybertruck order last year when it was clear it wasn't going to show up till 2024 or later and pricing was likely going to go up.
You're right this produces risk but you're wrong about exactly how.

Any bank call pull in deposit and use them as capital. But being a customer also doesn't give one any particular upside - you just get interest on the money you deposit. And if you have a special bank with only large deposits and paying extra high interest, then regulators look at you and quite likely see something not to be protected in the same way.

The way you get risk is basically the way SVB did it. Share holders can lose at most their entire capital but they can get to play with all the money the depositors give them. If they bet on something that pays off big, they get that payoff minus the modest interest they pay depositors and if they lose, they lose at most their capital.
I know scrot as a screenshot terminal tool. How could it help here, or do you mean something else?
Well, I don't hear you offering an alternative interpretation that sounds plausible.

And critically, the person I was responding to, responded back to me, and didn't disagree with my interpretation, so...

Startup culture's brand of charitable interpretation glosses over a lot of anarcho-capitalistic sociopathy and I'm not interested in participating in that. Perhaps if you were more interested in actual charitable action such as making sure seniors' medical expenses are paid rather than charitable interpretation, this place would be a bit less toxic.
I already have one. Seems like a Elon-simp signifier. I think the real ones are like bronze / silver or say "legacy blue check"
> I understood that the bond assets can not be converted to enough liquidity to cover withdrawal demands, but it's not the same thing. If you own a house worth $1M, and I ask you to give me $1M tomorrow, you couldn't do it - but that doesn't mean your house is worth less.

The same bonds can be held in two different ways MTM (Mark to Market) and HTM (Hold to Maturity), the underlying bond is equally liquid (in that they would be sold to the same pool of buyers) but the way they are tracked in accounting differs.

It's like if you bought a house for $1M but then the housing market crashed and prices dropped by 20%. Regardless of whether you value the house as still worth 1M or $800k on your balance sheet, that doesn't change the liquidity of the house.

> What's "real value"? Is it the value of the income stream when held to maturity?

The market price of the bond.

> Then I never encountered any mention that these bonds were bad (in fact, some of them were Treasuries which are as good as any bond can be) - could you provide a source for this claim? If you mean "fire sale" value then yes, of course the "fire sale" value was low - but that's not because the bonds were bad, you can not value an asset by it's "fire sale" value.

There are two types of risk for these bonds. One is the risk of the bond issue defaulting on the bond. You are correct that this risk is extremely low for Treasury bonds (thought not for the MBS bonds that SVB also owned a lot of).

The other risk is due to interest rate changes. The reason the bonds are worth less on the market now is because interest rates have gone up. You can buy a 5 year bond with a higher interest rate than the 10 year bonds that SVB owns. Thus, if you are selling those bonds, you have to offer them at a discount so that buyers will see a comparable return to new bonds sold with higher interest rates.

The lower price has nothing to do with the number of bonds SVB needed to sell vs the size of the market for those bonds, but rather that the market values those bonds as lower given the current interest rates, regardless of how many of those bonds SVB needed to sell.
The result is the same, so it's a moot point.

Why post this to such a large community like HN if they're adamant about exclusivity? Why not post it somewhere smaller like Indie Hackers or a reddit sub instead?
I guess you could argue, that most places suffer from that, as everyone has a boundary, at which they don't understand things. But the effect itself, is probably more relevant in an organization, as it was used to describe management.
Ask HN: What loan terms were offered to SVB affected startups?
Many startups affected by SVB worked to secure loans over the weekend. What were instances of the terms for these loans?

The context of the question is to guess if the loans were generous or predatory, and to have a rough idea of the type of financing that is available at that scale, in those circumstances.
The Mitsubishi thermostats aren’t that bad. And you can buy a locally-controllable system from Cool Automation for an egregious price to control them, too.
I'm not talking about 12 months. Ha! I'm talking about over years. My spreadsheet model focused on the 5-year and 10-year returns, where capital gains is factor. What I found was counter-intuitive, but looking at historical returns on index funds and housing, the stock market almost always delivered higher returns. If you have to hire a property manager and pay for repair services, that gap widens.
Which part, specifically?
Damn this looks pretty useful. good work
No you shouldn't have to do anything special, external libs should work as normal when used in event handlers.
I wonder when we'll get to a point that it'll be against the OpenAI TOS to 'fine-tune' your own model with their model's outputs since it really lets you cut down on the hardware requirements to bring up a competitor.
> The rent you pay covers all the landlord's costs, and then some.

That's not true at all. Most landlords are cash flow negative for the first 10 years.

What a landlord can charge is based on what the market will bear, not their expenses. And market is made of all landowners, including the ones who have no mortgage and can afford to charge less. Also, in California, the landlord who has owned for 30 years pays about 10x less in property taxes than a new buyer, so they can give a discount for that too.

In almost all cases, if you were to purchase the house you rent, you'd pay significantly more in mortgage+taxes+maintenance than when you were renting.