skysight-inc/HackerNews huggingface dataset:
Meta, TikTok and Google have all the data. Not even a sampling. They can exactly answer what is the most effective copy for possibly anything that anyone wants to do. No A/B test required.

So why don't they offer that?

I know it's not because the data is proprietary or private, because basically all the information you need is visible on Facebook Ad Library, more than enough to answer most questions about authoring copy by sheer mimicry.

You emphasize the UX here a lot. I don't know. I think Meta's UX is fine, end of story.

This isn't meant to be a takedown. It just seems intellectually dishonest. Anyone who has operated these optimization systems at scale knows that the generalized stuff you are saying isn't true. You're emphasizing a story about engineers versus product managers that is sort of fictional, like the right answer is the one that most companies are already taking which is to not A/B test at all, because it doesn't matter, and when you do see results they are kind of fictional.

And anyway, it belies the biggest issue of all, and this is actually symptomatic of Twitter and why things were so dysfunctional there for so long, long before they were taking private: you are saying the very Twitter esque theory that "Every idea has been had, and it's just a matter of testing each one, one by one, and picking the one that performs best." That was the core of their product and engineering theory, and it couldn't be more wrong. I mean if you don't have any experience or knowledge or opinions, why the hell are you working there?

> However, coming up with the copy, testing it, and optimizing different variants across users would take us forever—sometimes months.

The right answer is right in front of you! Don't do it! Don't optimize variants, it's a colossal waste of time!
hmm https://doc.rust-lang.org/std/collections/struct.HashMap.htm...
If you want to spend some money and have something a little more stable and usable (and less likely to get dust on your sensor), the Lensbaby Edge 80 and Sweet 80 lenses produce a similar effect and are tons of fun.

I did learn that they must be used judiciously. After shooting most of a personal music video with a Sweet 80 wide open, my wife described it as "like watching an ocular migraine".
most languages are now copying from each other, so we might get a language-convergence one day?
You can make a separate commit for each edit, and do it in its own branch, and when you are done, you make a merge commit in the release branch, the release branch would be made only of merge commits, with a clean history and making git-bisect possible.

Git is a little quirky with that kind of workflow because when you are making a merge commit, you don't really know which parent is which. There is a convention however, and it is that the first parent is the branch being merged on, and the others are the ones you merge from. Commands like git-bisect and git-log come with the --first-parent to avoid having your history polluted by broken work-in-progress commits. As for your asynchronous work, same thing, you can use merge commits, making sure the first parent is your work branch and using the --first-parent option to make sense of that mess.

The weird history problem is just a UI problem, which is actually the worst part of git. Its core is solid, but its UI, especially the command line is a mess.
I thought most US universities taught some kind of Lisp? Over here in Europe many schools teach OCaml or Scala.

I don't really buy into the lack of talent/skill argument. Especially given that F# isn't exactly the most hardcore FP language and toolchain out there. I hire and onboard people from many kinds of background to a non-trivial Scala codebase. Even new grads coming from mostly Python notebooks do all right.

This is also supported by all modern OO languages going somewhat hybrid, as they adopt an increasing number of functional features.

If you're looking for an explanation as to why FP isn't more popular, I think it's mostly the fact that modern high-level languages have become good enough. And Go has proven that even an objectively bad language can succeed if the developer experience and productivity improve in other dimensions.
Wait, really? How does one set that up without just getting llvmpipe? I've turned over half the internet and I could never get it to work without installing some kind of window system.
A Digital Media Primer for Geeks [video]
There was a lot of pro-Ron Paul content on reddit early on. Then there was a large and very active Donald Trump subreddit that reddit outright banned.

I think one of the key reasons subreddits lean left is the very active use of banning. Despite having a doctorate in political science, I was banned from /r/scotus because at least one mod didn't like my politics. During one discussion in /r/AskSocialScience, I had my flair stripped from me by the mods because they didn't like my answers, even though I was the only person in the conversation citing sources.

I moderate a large subreddit myself (300k+ subs) and I am well aware of how important the banhammer is to keep discussions civil, trolls out, and brigading held at bay. But for most subreddits that even remotely touch politics, bans really only seem to skew one way, ensuring that non-liberal viewpoints are scarce at best.
Isn't F# more like a nephew of OCaml and cousin of C#?

F# "originated as an OCaml implementation", which runs on .NET with some C# interop support?
C# still, to my regret, doesn't have anything like sealed interfaces. The closest thing I've found is an abstract class with an `internal` constructor. That prevents sub-classing from outside the compilation unit, but it still doesn't exactly capture the intent.
You don't think anyone on the left holds that position?

Even the Hacker News crowd has previously upvoted stories like this:

> [The proto-fascism of Elon Musk](https://news.ycombinator.com/item?id=35998913)

And elsewhere around the world you have this type of stuff.

> The Nation, Sept 2023: Elon Musk Is a Threat to Democracy

> The Information.com, Oct 2022: Elon Musk's Management Style is a Threat to Global Democracy

> Irish Examiner, Dec 2022: Why Elon Musk's Twitter takeover is a threat to democracy

> CommonCause.org, Oct 2022: Elon Musk Twitter Acquisition Poses Risks to Our Democracy

I find it hard to reconcile seeing all this sentiment towards him, while also asserting unequivocally that nobody on the left would compare "threat to global democracy" Elon Musk, to Hitler.
I'm torn as I consider getting my next laptop:

* Framework is philosophically best, and they make solid machiness.
* Macbook Air has just insane battery life and is so small.
> SO2 is so obviously the right solution that we should do it now. Here's why

The charts don't make that obvious at all. I don't trust people that tell me there's only one solution to a problem. Especially if they don't explain why.
Where are you getting the idea that the Mx Airs have a fan? They don't.
The modern belief is that [] should be reserved for generics[0]. In fairness, I've never seen a language actually stick to that and that's also a bit hollow when Java itself uses <> for generics in the first place.

[0]https://soc.me/languages/stop-using-angle-brackets-for-gener...
> Larger companies have already exhausted those levers, and are ready for more sophisticated optimizations.

Sort of. Companies copy changes at larger companies because they're addressing a different audience and different set of needs for that audience.

TL;DR - concrete language / early stage ==>> abstract language / larger enterprise
Welp there goes emulation.
Here's a workflow I created to do just that. https://github.com/michaelessiet/tea.yaml-pr-workflow/blob/m...
I loved this!! Does it work without JavaScript enabled? I have Zola, will give it a try.
I’m sure that’s true to an extent, but calling your sum types “sealed” is pretty explicitly borrowing from Scala. Which is fine. I think it’s good that they’re pulling inspiration from a bunch of different places.
But it's not any specific facet of their form that distinguishes it from communicating an idea vs something physical about the represented object -- it's the context and the intended message. Nobody puts a butterfly decoration on a pillow to say "there's an actual butterfly on the pillow," or say something about that butterfly's physical disposition. They're using the idea of a butterfly, generically, to evoke appreciation for the intricate beauty in natural patterns, life, warm months, spring, symmetry, insects, and/or any other connotation inherent to butterflies which will probably change based on the context and specific representation. When deployed for communication tasks like that-- as emoji are-- they need to evoke the idea of something rather than portraying an actual instance of that thing, so having an immediately recognizable form, most importantly its profile or silhouette, is far more important than physical accuracy. In fact, physical accuracy often requires more visual complexity, increasing the cognitive load to parse it, which makes it worse at its actual job for little to no benefit.

Even heavily abstracted symbols may need to communicate a specific physical disposition. Consider the door-open indicator on a car. It's not a physically accurate-- it doesn't need to portray anything except "this is a car, this door is open"-- and it would probably be less effective if it tried to be. But since the physical disposition of the door is important and you're not just evoking the idea of a car, it must be included.

For illustrating stories about a butterfly, or using a photo to reference a butterfly doing something specific, or trying to illustrate something else about the physicality of butterflies, then sure... that physical accuracy is important. But the author doesn't make, or even seem to understand that distinction.

Yeah, semiotics is a pretty neat topic even if the available literature skews dense. How well a designer wields those concepts to solve communication problems without words is one of the things that distinguish novices from juniors, and juniors from art directors.
I needed a directed graph yesterday. I gave the nodes integer ids by appending them to an arena, then used a hashtable from integer to vector of integer. Iterating over it involves a set of integers to track which nodes have already been visited.

Deduplicating nodes on insert into the area was more hassle than cobbling together the graph structure out of a hashtable and a vector.

Maybe one reason against putting graphs in the standard library is they're easily put together from more common structures for whatever special case you have in mind.
I am curious on this. can you share more?
Elon Musk's X has already backed off its new anti-trans hate policy
Have you ever sat in front of your favorite DAW version XX and thought, oh wow so many things, what am I going to do?

How about Sonic Pi? Or any modern audio toolset. So much possibility, where to start?

Creative constraint is about opening up pathways by restricting options.
> In Rust you can take any data structure and mutate it.

What if a memory location not marked "mut" is allocated by the compiler in the executable TEXT segment, so the virtual memory page is itself mapped read only?

Are you certain you can get away with what you said, within the promises of the compiler?
I didn't say it would be quick or easy.
This was my knee-jerk too. It’s great to see some of the good bits of ML flow into new languages, but this isn’t some Rust-specific feature. As an annoying side-effect tho, it’s been harder to pitch FP in these existing spaces since now “we have FP at home” in the existing language (even if the ergonomics are worse, it looks uglier, the language idioms & existing programs don’t match the style, & ’the bad parts’ + footguns still exist).
On the Surface Pro 9, it is $300 to upgrade from 8 to 16GB. To go to 32GB, they require you to choose a higher tier processor which brings the normal retail price to $2599, but it currently has a $500 discount, so the total is $2099.
What's a PRD in this context?
You don't think this alarm should be raised because there exists illegal copies?

Otherwise what is the limitation? What is the failing that makes it not that useful of a study?
I fixed this by using this dock Lenovo ThinkPad Thunderbolt 4 Workstation Dock - DK2131
I agree about language - which might be though of as "thought macros". Human experience has taught us what things (objects, actions, etc) are worth labelling, what thought patterns are useful to reason about them, etc. Being able to reason about things in the realm of, and using the patterns of, human language is tremendously powerful.

Are there any Mamba benchmarks that show it matching transformer (GPT, say) benchmark performance for similiar size models and training sets?
This appears to apply only to binaries compiled with NVCC; compiling CUDA code with LLVM/clang for non-nvidia would not be a license violation (disclaimer: IANAL)
> They want their device to be predictable, they want their app store to be curated, and they don't want to deal with dark patterns on a company by company basis. These customers choose Apple because it provides a tightly integrated experience.

I’m glad someone in this thread gets it. If anything, my main criticism of Apple’s App Store curation is that they have too light of a hand on cracking down on scammers and other abusive business practices. Indie developers making honest mistakes get jerked around but the professional skeezeballs keep gaming their way through.

But the tone of a lot of the regulation seems to be trying to push Apple to make the thing I value about its ecosystem worse while adding me nothing I actually care for. With the phone, in particular, I am almost always using it while I’m half distracted with something else. I’m much more open to tinkering on my PC or even my tablet, but as far as I’m concerned having my phone being as locked down as can be and imposing as little additional cognitive burden on me as possible is a huge feature.
This reminds me of my quest to find the proper method to model what I've termed 'large types' in an ideal language.

As is well known, algebraic data types as commonly found, consist of sums of products, yet a great deal of useful types are larger than that; some hopefully illustrative examples include:

1) the type of subsets of another type would be 2^X (hopefully demonstrating what I mean by 'large'ness);

2) in practical languages like TypeScript, the 'Partial' of a product type A x B x C would be (1 + A) x (1 + B) x (1 + C);

3) data structures in general, as a term amenable to some certain set of operations, when needing to be represented for performance reasons e.g. a) union-find structures (quotients?); b) a list of words and their inverted indexes for searching; c) a sorted list

Reading more about type modelling, and learning of the disagreements in how even basic things like quotients ought to be represented as types, I've since resigned to an understanding of this as an unsolved problem, and relegated the modelling the kitchen sinks of types with the kitchen sink of types - i.e. the function type (curbed with suitable type constraints upon the signature - from an index type to a suitable base type) - after all, its power and province being the irreducible kernel of type polymorphism, shadow over Church's types, original sin against type decidability.
Vince: High Performance, distributed, in-memory alternative to Google Analytics
It does seem odd, though, to brand a laptop as "PRO" and limit it to 2 displays, then release a non-PRO device that can handle more.

Edit: Better wording, I suppose, that the non-PRO supports two external monitors with the lid closed, the PRO supports 1. Still an odd overall offering/branding.
aye. publish or perish isn't a conspiracy, and tenure track ain't a thing unless you're hitting research home-runs.
Haskell + Ada + '{}' == Rust
And it feels like a cheap piece of flexible creaky plastic.
Campaign to target black voters with faked AI images
The submission title is wrong. The title of the article is The women who coined the expression 'Surfing the Internet' not "woman", reflecting the two people the article discusses.
Optimal memory allocation/reallocation for 3d memory.

Variation on unsolved math problem of finding square points long a closed loop. Has only been solved for parallel lines. concept was to use mechanical engineering techniques to visualize problem for AI to solve.
If the government becomes unable to tax the rich you'll see the rich have the homeless and jobless locked up and either sold into private prisons as slave labor or given the gas chamber. An irony because while abortion is illegal, so is being born into poverty.
> What comes after GIT? Nothing. I just don't see it

I would argue this is a lack of imagination more than attaining a global maximum.
I'm just speaking from the perspective of the spec, which defines surfaces and swapchains as extensions that are never guaranteed to be available, so a compliant driver may work in the absense of any kind of GUI by just reporting those extensions as not supported. Whether your Vulkan driver actually supports running in a headless context is another question though, and of course the Vulkan software you're trying to run has to gracefully handle the case where surface/swapchain aren't available.
No worries. I share it frequently here because I think the personal connection underscores the import, which sometimes gets lost. It's easy to think about "cancer" in the abstract, and sometimes we miss that it's a mother, a wife, a friend -- I know that I did.

And at the end of the day "cancer" is a category, not a thing. Sometimes (prostate cancer) early detection and intervention is bad, as the cure is worse than the disease! Other times (ovarian cancer), accidental early detection while looking for something else entirely, as symptoms don't present until you've hit Stage 4 typically.
He might explain why, but he decided to publish on twitter so I have no way of knowing.
I'm surprised there aren't more people using Java nowadays. The JVM is rock solid, the speed is really good, and the latest changes are making the language much more modern.

Maybe people are actually using it but not talking about it? Not sure.
ChatGPT can now read responses to you
There's clearly an opportunity for a much longer talk, this teases that Paul (McKenney, of Linux fame) will have a very different take and we don't hear what it is, maybe that was presented at another session of this conference.

It's definitely true that translating into "standardese" is a bad idea. Humans don't read standardese and neither do machines, a machine readable model would be superior (more likely to be correct, more easily tested) for this and for other tricky technical problems. Given that even the for-profit C++ vendors don't use the actual ISO document (it's out of date and pointlessly expensive so why bother) having an appendix to the "draft" with the machine proofs would be much better.

I think Hans makes an understandable but (IMO) wrong assumption about a benefit from choosing Sequentially Consistent ordering (the C++ default) over caring which order is correct. Much of the tricky concurrent code non-experts are going to write against these APIs will be wrong anyway, even if you provide Sequential Consistency.

As a result the committee's original assumption wouldn't have much helped. For example I doubt that when (if? I don't like some of the noises I've been hearing) Microsoft fixes SRWLock the fix will be an ordering tweak.
I take solace in such findings. I learned that my quest was ill-conceived, and I abandoned it; I should be glad that I'm no longer searching for what cannot be found.
Nintendo Switch emulator Yuzu will fold and pay $2.4M to settle its lawsuit
GPT-4 used to have the same issue with this puzzle early on but they've fixed since then (the fix was like mid 2023).
Why the hell opus still not in Bluetooth? Well i know - sweet sweet license fees

(aKKtually, there IS opus codec, supported by pixel phones - google made it for VR/AR stuff. No one uses it, there are about ~1 headphone with opus support )
Exactly my feelings. I have an IPad Pro M2. Why shouldn't I be able to run software that works on my M2 MBP?

I would even accept having to hook up KB/mouse for input. But carrying around a MacBook AND an iPad is a lot of weight.
Great question, which has now been answered by new laws like the digital markets act!

The "point" at which such things should apply is when they are large enough that anti-trust laws and pro competition laws apply to them. IE: when they are very very large and are worth hundreds of billions of dollars.
> What software is Apple not allowing? I see competitors’ software available on their platform. The only issue is that these competitors want to avoid paying fees to Apple and argue under the guise of protecting consumer freedom.

Porn apps and hate speech mostly.

They supposedly also bar a lot of outright scams and malware, but a lot also sneaks through.
You mean the Oracle vs Google case right?
This is the only thing we can do?
This definitely affects my decision. Personally, I love functional programming, and will use it as much as possible. Professionally, I typically go with OOP or even procedural whenever it's my call to make. The vast majority of people I've worked with are much more comfortable in one of those two paradigms, and that makes onboarding new people onto the project much easier. Even people who express a desire to work in a functional language don't necessarily have the experience or training to know how best to do it in a professional setting.

It's to the point where I don't even like to advertise that I like to work in functional languages around the office. Too much risk of being called in to be the hero when the last person who understood the code for some pilot project to try out Scala or Clojure that grew to become mission critical decides to leave the company.
I'm surprised they have the monetary means to do that.
Everyone hasn't forgotten, they just aren't learning things from the bottom-up. It's Rust-like to the author because that's probably where he learned about it in the first place.
Claude 3 can generate blog posts from videos
Why do I want an unnecessary VM in the way, and no access to native APIs?
It's because a lot of people who frequent HN have difficulty with social skills and are always looking for a manual for how to handle tricky interpersonal situations. The problem is that their difficulty with social skills renders them not-so-great at assessing the quality of advice about social interaction so they upvote things that they think sound nice or valuable without realizing that that's not actually the case. I hope this comment doesn't come across as judgmental or mean, it's just something I've noticed as a person who works in tech but has always had strong social and communication skills. This article describes a communication style that is repellent to anyone with normal social skills who doesn't have cluster B tendencies.
Updated my Hacker News summary script to use Claude 3 Opus, first described here: https://til.simonwillison.net/llms/claude-hacker-news-themes

#!/bin/bash
# Validate that the argument is an integer
if [[ ! $1 =~ ^[0-9]+$ ]]; then
echo "Please provide a valid integer as the argument."
exit 1
fi
# Make API call, parse and summarize the discussion
curl -s "https://hn.algolia.com/api/v1/items/$1" | \
jq -r 'recurse(.children[]) | .author + ": " + .text' | \
llm -m claude-3-opus -s 'Summarize the themes of the opinions expressed here.
For each theme, output a markdown header.
Include direct "quotations" (with author attribution) where appropriate.
You MUST quote directly from users when crediting them, with double quotes.
Fix HTML entities. Output markdown. Go long.'

Here's the result of running that against this 300+ comment thread:

./hn-summary.sh 39590666

Response: https://gist.github.com/simonw/37781de39fb5555f39b4157a8ad07...
I've been thinking about something like this for the last 3 years. However, I can't find a practical reason for it, even though I am sure there are.