skysight-inc/HackerNews huggingface dataset:
In Europe the Kona is being marketed as a SUV, and as someone who semi-regularly drives a rental one I have to agree. It is definitely not something I would describe as "small".
I have a couch that's moved twice and it is as good as it was when I bought it.

IKEA makes many products that are metal(I have a couple carts like that) and even some of their particle board furniture(two large dressers I have) do fine if you move them carefully.

My moves were from SoCal to the Bay Area and back, so not cross country, but not local either.
See It, Say It
Didn't look at a lot of long-term vacant properties during & after the '08 crisis, I take it?

Modern houses aren't meant to survive in most climates, without heating and air conditioning. They grow mold from trapped humidity, and the finishes fall apart from expansion/contraction.

And this is assuming they were properly winterized before being abandoned, and that they don't suffer any damage that allows outright water infiltration (say, wind damage or a tree branch falling and letting water in through the roof or siding) or vandalism.

I've seen some that were starting to have serious problems less than a year after being abandoned. Thousands of dollars of damage already accrued.

[EDIT] Now, keep the heating and AC running at minimal levels and have someone check in on it every few months, then fix any problems that are developing, and that's another matter—but that costs money, and isn't something I've ever seen done with long-term-vacant institution-owned properties.
Disaster Recovery Options in the Cloud
A couple months back I was ready to give up on my passion project (Recall) but after receiving a ton of encouragement on my last ShowHN post, I decided to persist. Today I am releasing my first paid product for Recall which is a browser extension that summarizes, organizes and finds connections in the content you consume online. It works well for Youtube videos, blog posts, news articles and recipes. Excited to hear feedback from the HN community.
>> You can point to any instant, and even any decade in time, and point major inaccuracies in the public's collective financial thinking.

Examples: today Halliburton and GE Health both posted numbers that be the market and saw big drops in value, while Spotify missed big time and swung to a loss, yet saw their stock price go up. Everybody points to potential but totally dismisses today's reality.
Regarding the first point: Their current offerings are based on more current Pixel devices (6a, 7, 7 Pro), which use Google's chips, which in turn IIRC are mostly Samsung Exynos with a sprinkle of Google. That way they are only shooting their first product into the foot.
I don't have access to it, and I'm guessing neither do the 40 ChatGPT Plus licenses that Congress got.
> Coalton [1] is an OCaml-like dialect of ML: it's strictly evaluated, has imperative features, and doesn't force a purity-based development philosophy.

OCaml is also strictly evaluated, has imperative features (e.g. ref), and doesn't force a purity-based development philosophy.

What makes you call Coalton a "dialect of ML"? ML's module system is its defining feature, beyond that there's really not much unique about it (by design). Would you call any language with algebraic data types a "dialect of ML"?

EDIT: I'm picking on this one sentence, but the rest of your comment is a good overview of the language, thanks.
It’s a question of internal consistency. The video you linked skipped that by starting with actual actors, but “generate a 30 second video” means no shortcuts.

There’s a common issue in AI generated still art for dynamic shots like someone dunking a basketball to have extra arms. This doesn’t show up in pictures of people standing still because the training set is completely dominated by people standing with their arms to the sides. But in dynamic shots either seems fine and it doesn’t understand the underlying limitations the way a human does.

I don’t think it quite needs AGI to “make a 30 second clip of a fireball fight” but it’s much much harder than a still image of a “wizard holding a fireball.”
Most of the things that have improved the human race have been done commercially, and those motivated by profit have done a hundredfold more for humanity than those who were motivated by idealism.
I didn't consider a directional radiators. Maybe that's more possible, but still you'd need to move a huge portion of what the sun is hitting the earth with and reflect it back into space.

Looks like the oceans have been heating at a rate of ~0.5 - 1 W / m2[1], and there's 3.61e+14 m2 of ocean on the planet, so potentially we'd need to radiate 361,000,000,000,000 W into space just to break even (assuming we're not generating heat to move the heat)?

[1] https://e360.yale.edu/features/how_long_can_oceans_continue_...
This is a crazy amount of power for a single request.
Or: You saw it last week? We’ll, too bad. We have a completely new set for sale today.

I say this as a huge Costco shopper and fan. Serendipity and spontaneity is the name of the game at Costco.
Their argument would be: the App Store has a home page and search results, both of which do have an advertising model, and competitors to Apple applications appear in both these locations regularly. They promote competition by allowing competition into the app store.

Yes, it is the absolute bare minimum, but you also have to remember that the standards for anti-trust enforcement in the united states are extremely low.
In my experience, the trick is to move them without disassembly or with minimal disassembly (removing only moving parts like shelves that are planned to be removed) like any other furniture. Nothing weird with that: Most traditional furniture items made by a carpenter would be equally incompatible with disassembly.
Yes NEON works on recent Pis. RPi CPU tuning: https://github.com/ggerganov/whisper.cpp/blob/70567eff232773...
After five years of beating my head against the wall, and making a good number of friends in the process, but having zero concrete change, I think that the problem is the system.

Our system is set up for maximum local control to prevent any non-car infrastructure, but with top-down enforced car infrastructure that's unstoppable.

Local advocacy has been pointless, instead, state level laws that limit cities, and pull back undemocratic local control processes is the way to go.

Nobody pays attention to local politics except a few wealthy homeowners, and so politicians only respond to these very few opinion makers. It's a losing game unless you're in your 60s, retired, and loaded with money. State level legislators have broader constituencies that try to serve every one.
The IRS has to approve any e-file provider or software. So you can generally assume that any unofficial tools will be unable to e-file.
Likewise, if you're not planning on moving then you can make Ikea furniture much stronger by adding wood glue between the pieces during assembly. That way it stays tight and nothing comes loose or flexes.
Debugging a Mixed Python and C Language Stack
I use SLRN daily.
> - unallocated corporate losses are 3B higher YoY

$2.5 billion of that is charges related to the layoffs.

> - all their expenses are way up (cost of revenue 1B up, R&D expenses 2.3 B up, sales and marketing costs ~0.7 B up)

Likewise half of this (i.e. you're double counting). See the table on page 3.

> - ad revenue is down (that's 80-90% of all of their revenue)

78% is not 80-90%. It's impressive that you managed to quote a ridiculously large range, and still get it wrong, in a discussiong about the earnings report.

The ad revenue from Google properties, not from the display ad network, is up.
I like self-hosting when I can, too, but I certainly wouldn't recommend it to the "average person". Especially if they would come back to me for tech support.
This is a huge opportunity.
EMH doesn't say stock prices reflect your feelings.
Naive question, but gotta ask: can Gröbner basis get over the "in general, a polynomial of degree >=5 can't be solved algebraically" hump?

Given that the above is a theorem (from Galois IIRC) I'd assume the answer is no.

And given that any system of polynomial equations in multiple variables - even of low degree - eventually subsume to a univariate polynomial of very high degree , then ... what are Gröbner actually useful for?
basically, making ikea products fall apart in two years instead of 5 years. What a shame, just increase the prices slightly.
I'm not 'arguing', I'm trying to add some nuance.

I'm saying housing is a unique form of 'investment' for a variety of reasons. For one, it's an 'investment' that most people can't exit from because you have to live somewhere. It's also an investment that is relatively illiquid. It's also an investment where the majority of Americans wealth (about 70%, I believe) is tied up in, from which they borrow against. It's also a necessity.

These all combine to create an incentive for a bunch of wonky policies that can have negative societal consequences, like artificially inflating the price of housing. So, yes, the fact that it is considered a good financial investment is also part of the reason it creates societal problems.

It would be like artificially constraining the production of food so that those who have 'investments' in food companies can make more profit. Obviously good for the investors, probably less so with society as a whole. Now add a bunch of constraints like the friction of buying/selling those assets etc. and the problem gets worse.
> high quality furniture that will last a lifetime

Other caveat being high quality furniture rarely last a life time, restoration / repair can cost more than normal furniture. Another consideration is some luxury furniture / design pieces don't perform that well to heavy every day wear. There's a lot of pieces in big homes / spaces that gets very occasional use.
You can only copyright something if it is made by a human.
Everyone living in cities does want one.

Larger cars rarely provide a significant tangible benefit, and in return you'll constantly have trouble trying to fit it into spaces designed for far smaller cars. American pickup trucks simply do not exist in Europe for a reason.
There used to be much more abundant old growth forests as well, so sourcing hardwood for furniture was much more practical.
The dots when used in English are called a diaeresis: https://en.wikipedia.org/wiki/Diaeresis_(diacritic)

Otherwise, except when discussing German, I think "two dots" is much more common: https://en.wikipedia.org/wiki/Two_dots_(diacritic)
Will try this route thank you now that she has died.
How is AWS growth now? I realize they are a much bigger gorilla, but these economic conditions are also much different.
If you want to start from "first principles", I thought this book [1] was good for getting right to the meat of accounting.

It seems like there's a new edition that came out. [2]

[1] https://www.amazon.com/Financial-Statements-Step-Step-Unders...

[2] https://www.amazon.com/Financial-Statements-Step-Step-Unders...
It was just a matter of time until he got caught
Just use sshfs, or rclone mount, and use the old

cp -r

to get your files. MC can connect to ssh/ftps too, and you can copy files and dirs from pane to pane.
The rescript-reason split killed both IMO. ReasonML was a very tiny language to begin with. Splitting it into two split the already tiny language and community into two minuscule ones.

And for no good reason (pun not intended).

And they were doing quite well, and influencing OCaml in good and meaningful ways (like improving error reporting).
> Yeah, they had to do layoffs.

> revenue only grew 3%. while they had increased costs via massive hiring during the pandemic.

The operating margin is still 25% up from 20% in 2019Q4. So compared to pre-pandemic each employee brings in more money now (post-pandemic).
The consensus seems to be that their stock has gone up due to laying off thousands of people, thus increasing their "efficiency". It's hard to tell how much it would be worth if ChatGPT wasn't a thing, but my guess is that it would be doing at least a bit better. To put it into words, post-2022 Google is a mildly handicapped version of itself.
Azure is mostly Office 365 & Cloud is mostly gSuite - so I'd caution against saying "GCP" and pretending like these are good comparisons to AWS.

Azure & Cloud probably are decent comparisons to each other, though.
For the typical person who has a W2 and maybe one of two 1099s, tax filing is really straightforward although the IRS could absolutely make it even more straightforward. And, as you say, most people with moderately complicated taxes where they can't just straightforwardly fill in some obvious boxes are arguably better off using a professional.
Mentioning polynomials is a pretty poor way to explain it for two reasons:

- It requires some mathematical understanding so will exclude some part of the non-technical audience

- It is the incorrect analogy. Non-linearities in neural networks have nothing to do with polynomials. In fact, polynomial regression is a type of linear regression, and for the most part, it sucks.

Also, as someone mentioned, all the “serious” alternative ML methods prior to the deep learning revolution allow modeling non linearities (even if just through modification of linear regressions, like polynomial regression).
There was a time, about 1.6 million years, when you could bring your axe into the woods, maybe with a friend or two, cut a clearing, and build a whole house with wood furniture that your great great grandchildren would use.

You could eat the abundant animals, drink the clean water, and enjoy an entire life without ever once imbibing microplastics and PFAS.

It might have been a lot of work - but it was completely free. Those times are long gone, and it doesn't seem likely they'll ever return -- but that is how we lived for the vast majority of our time as human beings.
> It’s not evil Intuit trying to inject complexity into the tax system.

No, they instead lobby to make it illegal for the IRS to offer the tools that would mitigate the complexity.

Intuit didn't invent tax code complexity, but they sure fight like hell to own the results of that complexity.

https://www.documentcloud.org/documents/6483065-Intuit-board...
Agreed and even using the same code for different levels can work well.

The juniors spot obvious errors. The seniors also spot logical flaws and the conversation quickly moves into "how could this be done better, overall".
That's like saying ads are popular because they're everywhere.
The mysterious disappearance of ChaosGPT, the AI that wants to destroy humanity
I think you are a bit out of touch. Many poor people don't even have access to a checking/savings account, let alone a brokerage account or 401k.

And for many people, even $50 a month can mean the difference between being hungry or not, or paying rent or not. It's a very bad state of affairs.
You're right, wrong year/quarter.
The difference is entirely understandable if you look at a MSN.com page from the early 2000s: it's a search bar with links web stories around it. Bing was created primarily keep that old audience from defecting to Google.

What worked for Google in a crowded search market in the year 2000 is not necessarily going to work for Microsoft Bing in 2023.

In any case, if Google's clean design was such a differentiator, they wouldn't need to pay Apple $15bn to make it the default search engine on Safari.
No but shouldn’t be too hard to do. String together something like Lang chain with an instance of chroma running in a docker container. Just need a rest api for that, and then fork over a ton of money for embeddings and you’re done! Jk, but there is an openAI cookbook entry on doing this exact thing. Not sure about cost estimates but it will be quite expensive.
If you're interested, you can now talk with an AI about earnings reports. Here is the link:
https://docalysis.com/files/5092656710
We do actually, it's just not as useful and used in more demanding applications.

The biggest problem is rebar spalling though, not the concrete.
So Microsoft made more in quarterly earnings than Google. Is that new?
> And it'll be a nice neutral way of arguing about what is in a bill - people might be able to agree on which AI is reasonable and what it thinks the summary should be.

It's more likely that they'll further politicize these models.
"netstat -anp | grep $PORT"
is tedious?
That's because of currying. If you want to partially apply parameters, in your example, with Haskell we would just have to do this:

someLongAssFunctionName someQuirkyParameter

And we get a function that accepts one parameter. But in Rust you would have to do this:

move |another_one: i32| {
some_long_ass_function_name(some_quirky_parameter, another_one)
}

Which is not easier to read.
Bill Gates: A.I. chatbots will teach kids how to read within 18 months
> I don't get the notion hype, I just don't like it.

Remember Evernote ... that was going to change your life once upon at time.

Are any of these things bad? Not really. Will any of them change your life ... almost certainly not, unless your life is making hype content on social media for these products and you manage to become a fully fledged "influencer".
No, the syntax parts he criticises are not this kind (they are not ambiguous by the way). What’s in the article is very unidiomatic OCaml incorrectly intended purposefully to make it look like it’s doing something else than what it does.

You don’t write tuples without parentheses because it’s weird, harder to read and no one does it. Same for the precedence rules of expression. You just use begin and end for blocks like you would use braces in C because you actually want to write a block. No one is just randomly writing nested code without them because well it doesn’t work.

It’s not a quirk. The author is just complaining that you have to mark blocks like in every language. That’s a weird thing to complain about.

I agree that the lack of as-hoc polymorphism is a downside (I don’t agree with how the article presents it but the article is disingenuous from the start anyway). Everyone would like to have modular implicit.
If you have kids, it's likely they are eating it.

Left them in a sandbox with a feather and an anvil and came back to half the anvil and feathers spread around everywhere.

While sarcasm, never underestimate how insanely destructive children are.
Yes, for a taxpayer who has a salary, a bank account and a brokerage account, and no other income than salary, interest, and investments, the IRS already has every number needed to compute the tax bill. With the last round of tax changes, very few people will have enough deductions (charitable contributions, local taxes, etc.) to make itemized deductions worthwhile. So the IRS could just do what many other countries do, which is to present the taxpayer with a filled-out form, which the taxpayer can either just accept, or amend (perhaps add deductions or unreported income).
True, but in the last few decades so many people world wide have stopped being so poor that they do not eat meat in large scale. In China, meat consumption per person has increased more than sixfold since 1980, getting close to EU levels, and that is a natural outcome of Chinese people becoming less poor; the same is likely to happen elsewhere around the world unless some factor keeps the developing world so poor that they can't afford to do so.
I gave up trying to fix sleep for now. The problem I was getting was a complete loss of the running session (including unsaved work) when coming back from sleep. I applied some configuration changes that seem to correctly put Windows into hibernation mode instead of sleep, and although there are some things which aren't as reliable in hibernation as they are in sleep, it's better than just losing everything unexpectedly. With SSDs I don't really mind the increased delay when resuming if it means I don't lose anything.
The next generation probably won't even want those pieces because they will have different lifestyles and preferences. If you want to buy nice furniture and can afford it then go ahead, but when you die it will most likely be thrown away or donated to Goodwill.
Presumably this sends it to bingapis.com instead of googleapis.com
> 78% is not 80-90%. It's impressive that you managed to quote a ridiculously large range, and still get it wrong,

I couldn't care less to calculate it this time. It fluctuates around the same number YoY

> The ad revenue from Google properties, not from the display ad network, is up.

And that somehow makes it less of an ad revenue? Or different? Or something?
Plenty of citation is available if you google the term you don't know. Here's a basic overview of a CAFO (common in US, rare in EU).

https://www.sierraclub.org/grassroots-network/food-agricultu...
What's funny about bing is that it shows me what appears to be, from UI cues, a carousel of some sort but none of the controls do anything. (It went away after a refresh)

Also crazy that they wont let me use their new AI without downloading Edge. I'm not going to change my browser just to try a search feature. Do you want to get me using your service or not? Presumably my using Edge + Bing is only a minor improvement in conversion versus me using Chrome + Bing, relative to me not using Bing at all.
Average AC power use is 8-27 kWh per day. Average milage is 38 miles per day. At 4 miles per kWh, that's 9.5 kWh.

Numbers get even better if you use kW per neighborhood rather than kWh, since charging is well distributed and mostly happens off-peak and AC use is concentrated during peak periods.
Exactly. More than 2/3 of cars in the US are SUVs/trucks nowadays. To me, this means we aren't allowed to complain about gas prices. Most people are willingly buying a brand new car that gets like the same MPG as my beat up old Ford Crown Vic.

It's also an annoying race to the top because SUVs block visibility and pose a threat to your car during an accident, unless of course you buy your own SUV (the Vic is also ok).
George hotz. The dude just builds stuff to see if he can. Very excited for the future of tiny grad.
I have IPv6 available through one of my ISPs at my home, but it doesn't work properly. Packets are just dropped for random intervals here and there.
i do pretty much the same as an interviewer. i am interested to see how the candidate communicates (down to language skills if they are not native speakers)

i had one who could not deal with that at all. he preferred to show me some of the code that he had worked on. fine, i let him do that instead. i passed on him not because he refused the coding session but because we didn't communicate well enough for me to be confident that i could work with him.

as a candidate i would skip the introduction though and just start talking like i would when pair programming, mainly because i'd be uncomfortable to ask for permission first.
>I would be delighted with an ARM with a dozen efficient cores and a couple fast ones.

I wouldn't.

We don't need ARM anymore. There's RISC-V now.
> If

If. Would. etc.

It could also not grow, and slip back to losing billions.

> Companies are valued at profits for 10+ years.

Wat?
Have you checked the settings for the extension in about:addons to ensure that the extension is enabled for private mode? Find the extension in the list, click on it or click the dots and click 'manage', on the details tab ensure that 'Run in Private Windows' is enabled.

I apologize if you are already well aware of this and that the problem is that is more complex than that.
I have never met a person who called GCP "Cloud" like it was the authoritative cloud.