skysight-inc/HackerNews huggingface dataset:
I don't find them to be clearer, with the background of knowing many language, because now I have to worry about precedence and I better double check, to not get it wrong or read it wrong.
Apple Announces Apple Silicon Mac Pro Powered by M2 Ultra
I would gladly delete most of my comments on this thread. HN is a fine site and the way you run it is instrumental to keeping it that way. Still, you might give some thought to the healthiness of showcasing what are objectively fringe ideologies that would in other places be rightly be called out as, at least, adjacent to outright bigotry. There's another site that's dying because they think that stuff is good.
"Just resting."
I'm confused, because isn't that exactly what they did? What was wrong with 2to3?

https://docs.python.org/3/library/2to3.html
This is fucking amazing!!! Can I get an implant that will exercise my muscles automatically while I can hooked up to a machine?
ok, now explain how this " conflate memory layout and type definitions"
It's probably unavoidable, since no single person has the power to impose a direction for Rust.

There's no technical reason why C++ could not be made memory safe if needed, by piling on complexity, like compiler flags and checked smart pointers or something like that, but I don't know if it's worth it.
I don't agree. One can write a serious, syntactically bullet-proof grammar for a language built out of S-expressions, with nice error messages and all. We can imagine a parallel universe in which TFA's Postgres example were written using S-expressions:

<alter> := (ALTER-TABLE (:IF-EXISTS? :ONLY?) <symbol> :*? <action>+)
| ...

<action> := ...

Despite using S-expressions, this is parseable with as much rigor as more free-form character syntax.

I think Coalton [1] is a good example of this. The language is embedded as S-expressions in Common Lisp, but you get Rust-like error messages, showing exact source lines (with line numbers) and embedded underlines showing the location of the offending code.

With that said, what is true is that if you're using Common-Lisp-style macros and you're manipulating S-expressions programmatically, lexical information may get thrown out. This is not unlike doing a bunch of string manipulation in an ORM to generate SQL, which will have similarly poor error messages.

[1] https://github.com/coalton-lang/coalton
I kind of don't understand why I'm allowed "free unlimited" GPT-4 usage (25 messages every 3 hours with the $20/mo) if I use the web browser to interact with the API, but if I use the API, it's blocked off/not allowed. I'd love to build integrations using the $20/mo limits I'm already paying for. Is this currently an option that you know of?

Edit:

> Please note that the ChatGPT API is not included in the ChatGPT Plus subscription and are billed separately. The API has its own pricing, which can be found at https://openai.com/pricing. The ChatGPT Plus subscription covers usage on chat.openai.com only and costs $20/month.

Nope.
Well obviously. How else could publicly funded research be price gouged?
How to Divide a Node.js API Latency with DB Connection Pooling
> So I have to let my children watch whatever one individual gay man thinks I should or I am disgusting?

Yeah, I totally said that.

> You thinking otherwise while pretending to be an ally is disgusting.

Next time, don't pretend to be an ally when you clearly aren't. I'd say have a good day, but I would rather you didn't.
The alternative explanation is that EFF, having experienced incredible and well-funded push-back in its attempts to invalidate dumb patents, believes that this rule has been engineered to limit even further the ability of third-parties to challenge unnecessary patents.

I mean, I don't want to be rude here, but it feels like "I've read the changes, I don't think they apply to EFF, so I guess the only explanation is that EFF is corrupt", seems a bit of a jump, compared to the simpler explanation that EFF does believe its process to be affected, as argued by the OP link.

(Due disclosure: I used to work for EFF. The fight for a reasonable way to overturn bad patents has been, IIRC, a multi-decade uphill battle, against an industry of patent troll adversaries, who did everything from trying to subpoena EFF's membership rolls[1], to suing in Australia to have an EFF blog post taken down[2]. I guess we could have been being paid off by Big Don't Patent Dumb Things, but I defy you to find any of the patents that the EFF has either exposed or organizationally fought that should, in fact, have stayed patentable [3])

[1] https://www.eff.org/deeplinks/2014/01/eff-fights-patent-trol...

[2] https://www.eff.org/deeplinks/2017/11/court-rules-effs-stupi...

[3] https://www.eff.org/issues/patents
New, 15" MacBook Air.
I don't care how thin it is - a Macbook Air does not have a 15" display.

The hoped for model goes the other direction - a new 11" MBA.
Not a Binance fan but in this context, and considering the SECs unwillingness of declaring when cryptocurrencies are securities or not, it's pretty clear that they go after Binance for strategic reasons. Not sure but I assume this is controlled by the Biden admin.
> The error of moderators and SO here is to discard AI generated answers because some wrong (but sounding right) answers it can generate... when often AI answers are also correct and even at times out do what a single human would have found/answered.

But why should SO exist for this? If people wanted an LLM to answer their questions, they could just go and have that. There is no purpose in caching stale LLM answers on SO.
I wrote a blog post about this. https://steveklabnik.com/writing/rusts-golden-rule

I did not mention lifetimes, but the principle is the exact same: the lifetime annotations are an API promise, and so inferring them means that a change in the body of the function would change the promise, breaking other code.
It's weird that Stripe has a rule you can use to block all prepaid cards, but has no rule for blocking CashApp and its ilk. (https://www.papara.com/en is another one we've been dealing with.)

I think of these "online wallet" services as effectively "VPNs for money": they give a fraudster who wants to get around some other form of blacklisting, as many additional credit card numbers to spread their tx volume across as they like — all with arbitrary credentials (because these cards are issued by "online banks" who never see their customers in person, so it's very easy to register accounts with purchased false identities. And people also just resell them: https://wmcentre.net/en/item/papara-vasha-turetskaya-zarubez...)

If I can block Tor IP addresses in Cloudflare, why can't I block these "money VPNs" in Stripe?
It’s fair that my comment is not supported. The evidence is sporadic in both directions in fact. The paper linked is a big study but very weak association results. Here is a good review that includes the most plausible interpretation of the genetics.

https://pubmed.ncbi.nlm.nih.gov/36833413/
I am too hyped for headset that mac updates aren't even entering my brain.
XBoneX would make for a nice dedicated Left4Dead box.

You can also stream your PC games to the Xbox:

https://www.purexbox.com/news/2021/02/guide_how_to_mirror_yo...
i have a perfectly usable MBP right now, but this is the laptop that i've been waiting for. seems to hit the sweet spot on price while having a large screen but still "thin & light".
> monopolies seem less ridiculous to regulators.

No.

Over-hiring is probably the same everywhere. When "times are good", everyone in the organisation wants to hire because their number of subordinates makes them seem more important and accomplished.
Hmm, I had only read a few paragraphs when I wrote that. Now I’ve read through the whole thing and it seems that Hoare agrees with me. How nice.
Isn't $1B a trivial amount for environmental damage?
"This completes the transition from Intel to Apple Silicon." --Apple presenter talking about the new M2 Ultra Mac Pro
And a lot of people don't. In particular, all the stories in the media about ChatGPT's unexpectedly good performance at various tasks, are more likely than not to be about GPT-4 model.

This is a legitimate point of confusion, and it's best to keep it explicit which model is being discussed. Really should be written at the start of the text.
Two women found the courage to love their true voices (2022)
Putting this here in case it's useful. Please correct if it's wrong.
What is the Howey test for whether something is a security?

"""
The Howey Test asks whether a transaction constitutes an "investment contract," which is a type of security. If it is an investment contract, it must satisfy four criteria:

It is an investment of money.
The investment is in a common enterprise.
There is an expectation of profits from the investment.
Any profit comes from the efforts of a promoter or third party.

If the answer to all these questions is "yes," the transaction is likely an investment contract and, therefore, a security. However, please note that this is a simplified explanation. The actual determination can be complex and might require a detailed analysis by legal professionals.
"""

To me it DEFINITELY sounds like crypto is a security, but it seems like it mostly hinges on whether people expect to make a profit by investing. Which some people do and some people don't. But most people do right?
In case it's useful to anyone: google sheets' lambda[1] and map[2] functions have prevented a ton of fill-down issues for me. Plus the ability to use a whole column without specifying number of rows (e.g. "A1:B" instead of "A1:B1000")

Those functions + a little bit of custom app script have helped me (not very technical) get pretty far in building maintainable data pipelines, reporting, etc. in gsheets.

[1] https://support.google.com/docs/answer/12508718
[2] https://support.google.com/docs/answer/12568985
Thanks for the links. How do you suggest startup entrepreneurs work around the broader moral dillemma here?

On one had, we shouldn't feed the flames but on the other hand - we may need a foundation of patents for defensive measure or to reaslitically compete against the likes of IBM who have a gajillion patents.

And I'm aware of at least one government grant programs that requires patents apart of their application process. From what I can asertain this is otherwise money on the table, after meeting that prerequsite.

Are you suggesting we walk away from technology grants and just wing it with regards to what may happen when IBM legal team (or other patent troll) comes knocking ?
I do wonder how many users will run into that memory limit on the M2 Ultra Mac Pro - given that the old Intel machine could do up to 1.5T of RAM.
Seconding this. I had a tabby and his tortie sister. Wonderful, social, affectionate. I was 100% a dog person and still am, but that tabby was more 'man's best friend' to me than any of my dogs. I miss him enormously.
Intel Mac Pros max out at 1.5TB of RAM, and these are max 192GB. Seems like a large drop. I've heard that Apple Silicon is more memory-efficient, maybe because of efficiencies from the tight integration with macOS. Is that enough to make up for the difference?
I'm fairly sure it's the opposite, with some small exceptions car have absolutely gotten bigger than before.

https://www.carsized.com is a fun resource to visualise the size evolution - take a far model and see how it's gotten bigger over the years.
It's bizarre to me they're still bragging about performance relative to Intel macs. I guess there's been diminishing returns after the ARM transition, or else they'd be comparing to M1?
More strongly (and accurately, I think): The world advances one funeral at a time.

Good saying, in any case, however strongly one wishes to phrase it. :)
> France 24 and Al Jazeera manage to do well with continuous non-partisan news.

Al Jazeera English might be somewhat non-partisan, but Al Jazeera Arabic is stupendously partisan.
Yes, personally I find that most (with a very few exceptions) transactions are "honest", I expect to pay x for x services, or y for y services, if this happens there is nothing to be said on the matter.

In an appropriate scale these, let's say 95% of total experiences, would get a 3 or 4 stars rating, the 5 stars would be for the - still say - 2 or 3 percent actually exceptional, and the 1 star for those 2 or 3 percent that are really a total disaster.
The victims are the large established taxpaying vendors of retail luxury goods that people with disposable income are not squandering their money at (because they squandered it gambling on cryptocurrencies).

There is a list of ways the state will allow you to waste your money. Most of the allowed ones involve taxation. Most of the prohibited ones do not.
> there's increasingly huge amounts of information out there on sites that Google may have crawled before and knows about, but doesn't want to show me for some reason

this is some machine learning stuff they are doing, instead of indexing all the specific keywords they are creating vector embeddings and basically summarizing what's on the page and going on similarity to your query rather than specific keywords. Good for casual searches, but extremely annoying for power users
Please for the love of god stop with the "public transportation is dangerous" narrative. The numbers dont bare it out at all. The same goes for an increase in violent crime in most cities (unless your base case is COVID).
As others have pointed out, it's likely the retirement portion is large but won't go to these particular employees when they retire. Instead, it's likely the city pension fund is underfunded for current retirees so extra for every current employee is budgeted to go into the fund to make up for it.

Budgeting rules may also require that they allocate enough for each employee in case they all have families of 4 or larger when in fact many will have only one or two people in their household.

Even though the amount over the salary was called "mandated benefits," it likely also includes non-benefit costs like payroll taxes.

Even so, budgeting over 100% for non-salary costs per-employee is hard for me to get my head around; a bad pension situation seems like the most plausible expanation (or the original reporting [0] was wrong, they didn't show their work).

[0] https://www.sfchronicle.com/bayarea/matier-ross/article/Bree...
You can write a lisp that uses static typing. The book "The Little Typer" develops one such language as (I believe) a dialect of Scheme. Of course, that's just a toy language (and it doesn't have type inference, for example, but as far as I'm aware that's a hard problem when you add dependent types), but it shows it can be done.
There’s clearly some extreme selection bias when it comes to leaving a paper trail admitting to crimes.
Lol, I think most of that randomness is somewhere in the test directories.
Perhaps you'd be interested in Inko (https://inko-lang.org/). It's obviously not there yet in terms of tooling and what not, but it might scratch an itch for those looking for something a bit like Rust, but easier to use.

Disclaimer: I'm the author of said language :)
I did not expect them to recycle the old Mac Pro enclosure. I get it, if it works it works, it just looks hilariously empty and unwieldy compared with the Mac Studio that could house the same chip (Yes I know the expansion slots need room).
And yet you don't directly provide any evidence to the contrary, highlighting that the person who is providing nothing is actually you and your comment of unsupported contradictions.

Does your utility company take crypto? Mine certainly doesn't. Therefore, in order for me to use crypto as a currency, I need to be able to convert it to fiat. Point out where exactly this is incorrect, or in what way crypto can address it without making some dreamy assumption that the world shifts to using crypto as the global currency (which will simply never happen). Did I say nobody accepted crypto? Nope, never said that.
That's why you need three watches.
shocked picachu meme
There's a ton of context that could work. Anything where it's framed as either (a) untrue or (b) temporary and about to be mitigated.

"What we are being falsely accused of is: 'we are operating...'"

"We are operating... To fix this we must xyz"

But I consider the second one to make the most sense. Saying "we have a problem" is a common first step of fixing it. Saying "we will be committing a felony if I don't win this argument" is usually a good card to play.
It's even worse than that... USENET was one of the places that Google used to seed its search engine. Links from USENET were high quality links.

It's like reddit as the source for LLMs today.

So Google neglecting USENET could be about preventing competitors.
> When half the country believes the “election was stolen”, there is no agreement in facts.

At one time or another, it's been far more than half. Trump "losing the popular vote" was daily news on left-leaning sites. From Hillary Clinton:

> Trump "knows he’s an illegitimate president," Clinton said. "I believe he understands that the many varying tactics they used, from voter suppression and voter purging to hacking to the false stories — he knows that — there were just a bunch of different reasons why the election turned out like it did … I know he knows this wasn’t on the level."

And Russian interference comments, e.g. these from Jimmy Carter:

> In June 2019, Jimmy Carter, the former Democratic president, said, "There’s no doubt that the Russians did interfere in the election, and I think the interference, although not yet quantified, if fully investigated would show that Trump didn’t actually win the election in 2016. He lost the election, and he was put into office because the Russians interfered on his behalf."

In fact last year, a whopping 72%[0] of Democrats thought Russians got Donald Trump elected, which is about the same as the number of Republicans[1] who think that the Twitter files etc contributed to Joe Biden winning.

All in all, most of the US can be convinced that a fraud happened, split equally along party lines.

[0] https://www.rasmussenreports.com/public_content/politics/gen...
[2] https://www.poynter.org/fact-checking/2022/70-percent-republ...
This is the announcement you are looking for:

> The base model config Mac Pro starts at $6999.

> Mac Pro with M2 Ultra features a 24-core CPU, up to 76-core GPU and 192 GB RAM. It also features two HDMI ports, dual 10-gigabit Ethernet, and a 32-core Neural Engine for machine learning tasks.

Yes Please. Great Deal.
You should read the rules. They only apply to patents that currently have ongoing litigation and parties that are not involved in the litigation or likely to produce a product. They are a lot more narrow than you think.
Linear Algebra, literally a new dimension.

Basically every humanities scholar complains about the complexity of the issue, like social of political, just because of them not knowing linear algebra as a tool. You can solve almost all problem using matrix and tensor.
It's thin, but it's not light. There are lots of laptops, even some 15" ones, that are under 1kg.
I wonder: will they start signing Nvidia drivers again?
>The next part will be about Linux on the PS3.

Uh, that should be a link?

http://ps3linux.net/
> Interesting, anything in particular to read about it from Anandtech or Chips+Cheese or what? Or should I just read the whitepapers? (/sigh, reading primary sources, my only weakness)

I haven’t had great luck with consulting non-primary-sources, most of my knowledge comes from reading NVIDIA blog posts and GTC presentations as they become relevant. Lately I’ve been working with CUTLASS and reading through that documentation — maybe start with their presentations and work back through their references? I’ve learned a lot by reading the architecture tuning guides from NVIDIA, too.

> Does dumping warp-sorted data into the buffer help? Eg can each warp or each block sort their output so what they're dumping in can be "galloped", like a partially-sorted mergesort or something? Finding those boundaries between output cells is (ironically) another prefix-scan lol.
>
> Is it just that you need a different sort, or does sorting just not work that well now?

I’m not sure, honestly! All I know is that recently I’ve been looking at radix sort kernels with lower-than-expected memory throughout and low cache hit rates :)

> Are prefix-scans still good at all?

The CUB linear-time prefix scan kernels seem to be fantastic still, they operate basically at the speed of DRAM with really high compute utilization. When I’ve seen lower-than-expected performance with these kernels, it’s because of an issue with an inefficient transform being made as part of the input/output iterator ranges, or because of some local memory usage due to an indexing operation in a local variable that couldn’t be fully inlined into registers.
> As our website name suggests, we embrace the power of AI in generating content.

Obviously, which is why I posted the comment. You're doing your part to make Dead Internet Theory real, congrats!
Hopefully they fixed the display flicker issue.
There are obviously hundreds of other factors (with different weights), with dozens/hundreds of tests at any given time, but those few factors are what have remained relatively consistent over time. That is partially why Google's results are so bad. It is only a matter of time for people to figure put what matters and then optimize against it. What is best for the user may not be the best for Google, sites or advertisers. Unfortunately, many times the best content isn't visible, because people capable of marketing have a leg up versus those who just want to provide utility.
There just isn't enough interesting news once you have ruled out reporting on stories that threaten advertisers.
Oh hey Ben, it's fun to see someone I interacted with professionally out in the wild! I remember I guessed your email once and you responded immediately.
You need to have enforceable NDA's, keep things as trade secrets, and have a well built organization that simply continuously out-innovates AND out-executes the competition.

I think patents are okay, but the maximum duration should be 5 years and there needs to be some proof of utilization of the patent to sue for damages.

20 year patents are ridiculous, and it seems like even in the 1800's that should have been considered a bit extreme.
Yeah, I think Thunderbird was still pretty popular around then as well
> randomized rounding

There are a bunch of places where randomized rounding works better. But is there any computer hardware that implements this? Obviously the internal precision (of the random element) can't be infinite, but a couple of extra bits would seem worth the complexity.
Beyond Models: Applying Data Science/AI Effectively
1m people are watching the main stream live on youtube concurrently. wild. any idea how this compares to previous WWDC's?
I suspect the majority of mac owners still have intel based macs so they want to highlight the performance improvement to those users - since they may be most likely to upgrade?
Apple Introduces M2 Ultra
Apple unveils new Mac Studio and brings Apple Silicon to Mac Pro
I believe there is some indication that the SEC allowed only those two to fall into commodities instead of securities. And that decision may be hard to undo.
Apple introduces the 15-inch MacBook Air
Entirely this. C++ has grown into such a monstrosity that I think anyone claiming to "know" it is fooling themselves. Nobody can "know" it in the sense usually meant when saying you know a programming language.

I've been working primarily in C++ since the days when there weren't even C++ compilers (you instead ran the C++ code through a program that turned it into C that you compiled with a C compiler). By any reasonable measure, I am proficient in the language -- but I think I'm actually proficient in about half of the language, same as your coworker.

This is also why I've moved away from C++ in the last few years. It's too unwieldy for me to use as a default language anymore. Now, my default language has become C++-as-a-better-C rather than full-blown C++.