skysight-inc/HackerNews huggingface dataset:
It’s a problem of scale, which they are already hitting. This is where Ibis would be useful.
Made up just like every other word.
Correct. Brake fluid absorbs moisture but the key is that DOT 3, 4, and 5.1 fluid then spreads that moisture evenly throughout itself, so that you never have a pool of water in your brakes but instead a dispersed low percentage of moisture in the fluid.

So even if water only enters the system at the caliper or reservoir, that moisture still spreads through all the fluid in the entire car. That's why you flush it all out when changing brake fluid.
Fossify GitHub followers surpassed SimpleMobileTools after only 3,5 months
After only 3,5 months FossifyOrg (2086, https://github.com/FossifyOrg) has more GitHub followers than SimpleMobileTools (2078, https://github.com/SimpleMobileTools).

curl -H "Accept: application/json" https://api.github.com/orgs/FossifyOrg | jq ".followers
curl -H "Accept: application/json" https://api.github.com/orgs/SimpleMobileTools | jq ".followers

It is really encouraging to see this fork gain traction after the great Simple Mobile Tools Android apps were sold to an adware company and stopped being open source: https://news.ycombinator.com/item?id=38505229. Thanks for all the work Naveen Singh (https://github.com/naveensingh / @naveenyc) and others to make the fork already this popular. I really hope there will be enough funds for Naveen to start working full-time on Fossify. I've setup a recurring donation and hope others who can will contribute as well (https://github.com/FossifyOrg#support-fossify-heart).
AMD pays very little to its SWEngs (principal engineer in SFBA for ~200k), so they can't attract top end people in SW to implement what they need. Semi companies are used to pay HW engineers peanuts and that doesn't work in SW.
There are ways of presenting these results for what they are "we have explored the possibility of using cut-off functions to explain strong atomic interactions. It turns out that this solution is unsatisfactory because it requires four arbitrary coefiences."
Use AI to handle your emails and save hours every week
I am working on a new AI product to save time from reading and replying emails. I would love to get feedback from you.
It is funny how they left out the first author of the paper :)
Way too complicated name!
This is a weird article. I felt baited by its content, which has little to do with the title. Also, lots of marketing-y buzzy words glossing up a food forum.
It works outside of investing too: Almost all of us will constantly be confronted with offers to buy things, take out loans, join clubs or companies, etc etc etc. Some of these offers will be worth it and some won't be. But it's still your right to take up or refuse such offers at any moment (unless you are literally dealing with the mafia I guess).

Both accepting all offers and rejecting all offers is a mental error, and deciding what is worth it is part of being an adult in society.
No need. A 1 minute google makes it extremely obvious which one is more capable.
Not denying your point, but the people who drive those Mercedes, are not exactly the same people as the ones buying Teslas and posting their successful rides all over the place.
Fusion plants will be used to power ad targeting Nanoprobes.
Airbus: A year with no fatal accidents
And the US (and other countries) authorities which allowed Mercedes Self-Driving Level 3 did too? Sounds more like reddit bullshit to me.
I think the confusion lies in the word "value". To use your example of Company, imagine another company (Company2) exactly the same as Company but without the debt. Enterprise value of Company is 3B, enterprise value of Company2 is 1B. But Company2 would clearly be preferential to acquire, because it has no debt, despite the much lower enterprise value. So enterprise "value" is not a useful measure of "value". Am I misunderstanding something here?
I see that a lot of people struggle with the term enterprise value. It might make sense to think about this in terms of housing and mortgages.

You can say that the total value of a house is the mortgage + equity.

When you take out a loan on a house, the value of the house does not change. Just the proportion of mortgage vs. equity.
Inside the Massive Alleged AT&T Data Breach
Counterweights don’t need to take a straight path to the ground. The force a weight pulls on a surface is based on the tangent.
Given the lack of testable predictions and failure in experiments so far, string theory should be called string hypothesis.
Agreed. Such a valuation would be different for a Japanese buyer, an American one or one that has a special project or affinity.

A value should be an objective amount and the real amount paid varies depending on what you bring to the table.
I see where we differ in opinion. I do believe that the human mind is just a very particular material arrangement. Therefore while different in scale to an LLM and likely also differing in structure, I do think both systems are fundamentally in the same category.

Given that, we could never agree. But that's fine.

And by the way, I actually hope you're right.
Nvidia Edify Unlocks 3D Generative AI
You are right.

It's just that in my book, value = what I get, not what I pay.

Since this metric include the market cap, a Chinese OTC shell company can have an 'enterprise value' of several hundreds millions, even though everybody knows it's worth nothing.

Maybe it's just me though - I like value investing.
A major tag in this guys set of blog posts is medical reasoning:

https://blog.danslimmon.com/tag/medical-reasoning/

In that regulated field, a senior or principal engineer runs CAPA (corrective and preventative action) diagnostics and it sounds like the author has worked that way. Look for it on resumes.
I think what you're missing is that lenders don't lend blindly. They expect to be paid back. Just as an investor expects to recoup their investment. Buying a bond (i.e. a loan to a company) is as much of an investment strategy as buying a share. Bonds come with less risk and limited reward, shares the opposite.

From the company's perspective, it has a queue of claimants who expect to be paid and the company will pay them with its profits. The queue order is roughly determined by whether the claimant holds a bond or a share (and further determined by legalities and complications within those two broad classifications. It's complicated™).

If you could walk up to anyone in the queue and ask to take their place in line, in exchange for cash, "enterprise value" is an estimate of how much it would cost to buy everyone's place in line. Or, the sum of how much everyone in line values their place in that line.

Thus, in this metaphor, Toyota could decide to sell new places in line to finance the construction of a $1T factory. But, only if people believe the factory will actually produce > $1T in new value.
What’s the deal with templates? I make new projects infrequently. Templates save me little time. I spend far more time struggling to fix broken code, fitting existing code to new requirements, etc
The main reason people like first-order logic is Gödel's completeness theorem. It says that for first-order logic there is a proof system such that it proves a sentence if and only if it is true in every model. That is, the proof system is both sound and complete. This doesn't work for second or higher order logic. If we want a second-order proof system to be sound (proves no false things), it must be incomplete, i.e. not prove some true statements.

On the other hand, the main advantage of second (and higher) order logic is that it allows for "categorical" theories. A theory, like second-order Peano arithmetic, is categorical when it only has one model up to isomorphism. For second-order PA this model is the natural numbers. First-order logic doesn't allow categorical theories, so the axiom of first-order PA can't rule out the existence of weird non-standard numbers. Categoricity of a theory means that the axioms of the theory "define" ("pin down") some model. First-order theories can't do that.

So naturally, first-order ZFC isn't categorical. It even allows for countable and uncountable models. It's interpretation (model) is highly indeterminate. However, second-order ZFC (unlike, say, second-order PA or second-order analysis) is also not categorical. It doesn't have a countable model anymore, but it is still has many non-isomorphic models. (Though I think it has some weaker property which means that it is at least "more categorical" in some sense.)

So second-order ZFC doesn't give us the main advantage that second-order logic allows (the possibility of categorical theories), while also not having the complete proof system of first-order logic.

However, we could simply not use ZFC at all and only use second (or rather: higher) order logic. Higher-order logic is powerful on its own to (often categorically) formalize mathematical theories, like PA, without the need of any set theory. Instead of sets we have properties ("being a real number" instead of the set of real numbers), relations, properties of properties etc.

Formal proof checkers like Isabelle actually use higher-order logic instead of first-order ZFC as a basis.

There is also some argument to be made that categoricity is more important than completeness, since completeness of a proof system turns out to be not a plausible property anymore once self-referential statements, like the Gödel sentence, get involved. But that would lead me too far afield, and it isn't the standard opinion, which favors completeness over categoricity.
I appreciate this detailed explanation! To preface, I took on macro expansion caching because it was a clear solution for the slow builds I saw in some projects (taking the "project-specific" approach I mentioned in the blog). That said, my medium-term vision for CodeRemote isn't to develop a superior closed-source Rust compiler fork; instead, it is to provide remote tooling for faster development (i.e. bring small dev teams' tooling up closer to Google's level):

(a) pre-configured build servers, so a developer doesn't need to be equipped with the latest Mac to be functional

(b) shared cache within a developer team

(c) potential avenues in CI/CD, testing, etc.

I'd love to hear your thoughts on this goal! Does some aspect address a development pain point of yours? I also want to address your points above, and I agree with lots of them:

1. I agree that especially in the wider Rust community, closed source is not a long-term solution. For what it's worth, I have been considering making the source available -- though likely not with a super copyleft license, at least initially. Do you think making the source available would alleviate people's safety concerns?

2. I have thought about the mold/sold linker quite a bit, especially because the author changed his license on sold from a commercial license to MIT. And defaults are indeed very powerful (this is discussed in a recent change to strip debug info by default, https://kobzol.github.io/rust/cargo/2024/01/23/making-rust-b...) because most people aren't bothered to (or don't know to) change them. Generally one expects the defaults to be the best for the general case, but this is decidedly not true for Rust compiler settings.

I think there may be a difference, though, between catering to the general public and catering to specific users/clients. For the folks where link time is truly atrocious, I assume they make the effort to use mold (though again, there is good reason to be skeptical given that sold switched to an MIT license). I assume a similar willingness if/when someone's macro expansions are slow.

3. You're right, this macro caching feature is not complex! I'm sure someone like bjorn3 could code it up rather quickly. It does me no good trying to solo out-perform the rustc experts. But I think there is a lack of people improving the Rust dev experience. That's where I want to operate.
And IP geolocation is still very relevant as of today.

You can derive an enormous amount of geolocation data by looking at WHOIS data: https://ipapi.is/geolocation.html
Most comments here are isolated demand for rigor[1]. I don't see anyone sharing better studies on 8 hour time-restricted eating, rather the case for it seems to be that suffering must be good and healthy.

https://slatestarcodex.com/2014/08/14/beware-isolated-demand...
I have one question that i could not quite find an answer to.

In Flink you can set timers to wake an event up in arbitrary time without applying a window. Is this supported in Arroyo?
I mean, good for you not choosing a toxic group but that's tied to the professor not the subject.

Not sure why you brag about how smug you felt over the further misfortune of someone you know is suffering abuse...
Couldn’t a deep network learn the latent 3D representation just on video input?
It is.

It's a language model, trained on syntactically correct code, with a data set which presumably contains more correct examples of code than not, so it isn't surprising that it can generate syntactically correct code, or even code which correlates to valid solutions.

But if it actually had insight and knowledge about the code it generated, it would never generate random, useless (but syntactically correct) code, nor would it copy code verbatim, including comments and license text.

It's a hell of a trick, but a trick is what it is. The fact that you can adjust the randomness in a query should give it away. It's de rigueur around here to equate everything a human does with everything an LLM does, including mistakes, but human programmers don't make mistakes the way LLMs do, and human programmers don't come with temperature sliders.
Microsoft reseller Bytes says 100 undisclosed share trades linked to ex-CEO
Well first of all, you can’t purchase it in the US. It doesn’t exist. Apparently you can order it in Germany, but even then who cares? It’s a traffic assist system, below 30mph or so, needs to closely follow a lead car, and it would probably still shit the bed if something fell out of said car. Mercedes made the conditions so tight they’re just willing to take the risk for the PR fluff they received. Complete garbage.

And with all that, not a single fucking video on YouTube from an owner casually using it
But chess is a game of complete information, and one where the entire state can be perfectly and unambiguously represented in less than 64 bytes.
Youre right. Theres zero data.

As much as I can see the skyrocketing inequality in the USA this aint it.

Its a click bait article sourced on a click bait report.

The ironic part is that in one of the two charts they present shows that during the Biden administration, (who claims to support all the causes espoused in this paper), since 2020 inequality has skyrocketed at a rate never seen before.

https://webassets.oxfamamerica.org/media/documents/Corporate...
Broken software might crash -- no news move on
The part you're missing is that the 3 variables aren't independent of each other or of the underlying company. You'll never have two 'identical' companies that only differ in one of those variables.

If company 2 has the same market cap with zero debt as company 1 has with huge amount of debt, then that implicitly means that the market values what company 2 does less. Perhaps they're in a market with lower growth or have a smaller market share or have a product with less upside potential or have huge lawsuit hanging over them.

If company 1 and company 2 did the same thing and had the same profits and sales, but the only difference is that company 1 had a lot more debt, then the market cap of company 2 would almost certainly be higher than the market cap of company 1. In fact you could then use the Enterprise Value formula to work out what the market cap of company 2 'should' be.
Indeed, this happens often. Like buying a house under the financial crisis and taking out a loan on unreasonable valuations.

This is btw. exactly what the article talks about. You should use the most favorable way to finance your company: Stocks when the market thinks you are worth more than you think and bonds when you think you are worth more than the market thinks.
So today is much worse
The hats in the discrete optimization course are indeed good and it's a fun course. Highly recommended!

It's extremely rare that I find myself needing to pull out the big boy tools in $DAYJOB but it's good to know they exist and how to use them. Helped out in one of the later days of advent of code, too.
Matthew Bryant would disagree.

https://findthatmeme.com/blog/2023/01/08/image-stacks-and-ip...
Or you use Ibis and switch between the two at will!
If a paper provided general tools that let me sit down with pen and paper and derive that SWIGLU is better than RELU, and batch normalization trains 6 pi /root 5 times faster than no normalization, etc, and I could get the derivation right before running the experiment, then I wpuld believe that I understood how neural networks train
Curl2Url
Yes of course. Not a single fan of self driving among buyers and nobody decided to rent one for lulz and/or youtube clout.

Please.
Doesn't cooking get rid of most parasites?
> But even today, 60% of Australia is English or “Australian” (which is mostly English). 80% are from the British Isles

From my perspective, you keep on wrongly downplaying the role that Irish Australians have played in Australian history. You acknowledge the significance of Irish Americans in American history, but ignore that Irish Australians are at least as significant in Australia's history, arguably even more so. By some estimates, 30% of Australians have Irish ancestry. [0] From the beginnings of British colonisation up until at least the end of WW2, the Irish have been Australia's single largest ethnic minority; in the US, I doubt they held that title for long (if ever), ending up being outnumbered by the Germans. The first substantial armed rebellion against British rule in Australia (there have not been many) was carried out by Irish convicts in 1804 near Sydney, many of whom were veterans of the 1798 United Irishmen Rebellion. [1] You seem to view Australia as a country which is mostly English, when the truth is that the majority of Australians have non-English ancestry (of course, English and non-English ancestry are not mutually exclusive categories).

> the center-left party has largely been organized around mobilizing its ethnic factions to “turn out” to vote

Irish-Australians have played a rather comparable role in the history of Australia's main center-left party (Labor) to what Irish-Americans have played in the Democratic Party. [2]

> You’re certainly seeing more of that in Canada and Australia now given the mass immigration from Asia. But in the US this is been happening for 170 years or so.

When you consider Irish immigration – in 1871, 25% of overseas-born Australians were born in Ireland [3] – it has been happening in Australia since the 19th century – which is significant given that modern Australian history begins in 1788.

[0] https://en.wikipedia.org/wiki/Irish_Australians

[1] https://en.wikipedia.org/wiki/Castle_Hill_convict_rebellion

[2] https://www.jstor.org/stable/23193797

[3] https://www.homeaffairs.gov.au/mca/files/2016-cis-ireland.PD...
Not disputing the potential ChatGPT, but I wouldn't harp on that top paragraph. The lab I work in does similar research (with inorganic materials) and virtually anything with anionic functional groups will work pretty effectively and more or less to the same degree. So the real question at this point is economic viability and local availability
Are you looking at the right report? The one linked, "How do the largest US corporations contribute to inequality?: Oxfam's Corporate Inequality Framework" [1] has labeled axes, includes a sizable appendix with links to data sources, and covers much more than DEI topics, which are only a subset of one of four pillars ("People"), which also covers workplace conditions, human rights, etc. The other pillars being "Power", "Profits", and "Planet".

[1] https://www.oxfamamerica.org/explore/research-publications/c...
Nvidia Unveils Blackwell, Its Next GPU
Back during the cold war, Daily Mail wrote a completely made up article about communist spies infiltrating sleepy English countryside villages, and people started calling up to report the spies they have seen on the streets. It became such a big deal that the government pressured MI5 to go and do something about it, so they "captured" and kicked out of the country a dozen or so communist spies found across the landscape of Britain, to a huge fanfare and celebration in the newspapers. Only years later it came out that that operation was entirely made up too, no one was actually ever found, captured and extradited anywhere, it was entirely just to satify the government and the public(who were riled up by a completely made up story in a trash newspaper).
I don't understand what you mean. Higher-order logic does have classical negation. First-order PA tries to approximate the (second-order) induction axiom by replacing it with an infinite axiom schema, but that doesn't rule out non-standard numbers.
> I have yet to hear a solid argument against Tesla achieving full self-driving within the next ten years.

You've already asked the same question a few times. Here's what I posted the last time you did (you didn't respond):

Years of deliberate false statements by Tesla about their self-driving capacity should make any rational person very skeptical of their future claims.

Having a CEO who is obsessed with posting far-right-wing political statements on Xitter over managing his actual businesses is also a red flag. What rational manager goes out of their way to alienate at least half of their potential customers?

I am firmly in Tesla's target audience, but under no circumstances would I buy one, if only to avoid the social embarrassment of being associated with this pathologically mendacious malignant narcissist.
For some reason I always think about that in the context of hypotetical self-sustaining Mars colonies.

In internet discussion there is always talk about the big resources: We'll get oxygen out of water ice, methane out of the athmosphere, we'll get iron out the the regolith, we will farm in greenhouses, etc.

But a sustaining colony need rubber gaskets for airlocks and a million little things which in end effect need the whole of Earth's supply chain behind it. Can you make an economic case for Mars if you need to transport ca. 99% of the needed manufactured goods to the red planet first and do that for centuries? What do you sell in return? What is the equivalent to Marsian beaver furs?