skysight-inc/HackerNews huggingface dataset:
And yet the top comment here starts with:

> I sincerely hope that I never meet Sam Bankman Fried, because if I did I do not know what I would do but it certainly wouldn't be legal.

Why is this statement not condemned? Of course it's terrible that SBF was a fraud. But insinuating that physical harm is justified is just not ok. They were the naïve ones who bought into the BS, waived away all the warning voices, and now they are threating violence? Not ok.
Presumably they can run the pirated version on actual hardware as well (via custom firmware etc.), and therefore compare?
I guess they don't think optimization is evil
Classic selection bias
My mistake. I, and I suspect the original commenter, was thinking about the strengthened finite Ramsey theorem. From wikipedia: https://en.wikipedia.org/wiki/Paris%E2%80%93Harrington_theor...

For any positive integers n, k, m, such that m ≥ n, one can find N with the following property: if we color each of the n-element subsets of S = {1, 2, 3,..., N} with one of k colors, then we can find a subset Y of S with at least m elements, such that all n-element subsets of Y have the same color, and the number of elements of Y is at least the smallest element of Y.

This function is outside the reach of Peano arithmetic.
I can't tell if it's satire. AI subscription based shoes.

Here's where someone asked hacker news about subscriptions and I did a short rant in the comments https://news.ycombinator.com/item?id=35896996
Is Switch emulation on PC that good? Maybe I should try it if so. I imagined it would be fairly janky due to the difficulty of emulating currentish hardware, and only old consoles could be emulated with good performance.
We are social mammals. Mating, and food & shelter security (employment), often require us to signal to those within a group that we are “safe”, and that we are one of “them”.

If you meant that people use etiquette to make others feel excluded and push them away, sure, that’s wrong. But I always counter that that’s just bad etiquette.
I tend to like the phrase "Strong opinions, weakly held" to describe that sort of "best programmers". Through experience they have come to hold certain ideas, and will express them strongly, but are willing to describe why, and also accept that they aren't universal, mostly rules of thumb i.e. they aren't dogmatic.
We just deployed a fix! Thanks!
Will chatgpt even know?

This is past 2021.
what phone?
Agreed. The type of employee at big tech today is a lot different than what once was. But given the volume perhaps the output will be similar.
"on my computer it works"
their hip AI 'dracula' gradient color scheme camelid mascot got some real 'how do you do, fellow kids' energy
I mean, for most mature ecosystems / technology stacks I think the “no one size fits all, just strategic design trade-offs” theory largely holds true as an objectively accurate account of the “choosing the best tool“ situation ….

but IMO, I think it’s worth noting that occasionally, some rare unique and functionally superlative technology comes along that in practice transcends every alternative from the onset and indefinitely going forwards, sometimes even at a more prominent scale than the MySQL / Postgres projects topic of discussion (which are not small by any means).

something maybe like Git, most immediately comes to mind, as an example of the de-facto standard for distributed VCS basically since … 2005* when Linus decided to create it?

edit: not 1995
Ask HN: Any good apps to take advantage of the forgetting curve?
I just came across this article [0] about the forgetting curve.

I have tried to install Anki[1] for Android but it seems its installs have been blocked on the play store.

I have an android phone, what apps do you use/recommend?

[0]: https://harrisonlo.medium.com/hacking-the-forgetting-curve-1798197b648e

[2]: https://apps.ankiweb.net/
Unfortunately, even that might not be enough these days with newer fingerprinting methods.
Oh - is this ci collations, not collations in general?
Burnout is such a luxury disease. I mean if you don't have a ridiculous American tech salary you won't get burned out. Rather you will try to find other things to make some more money, because you need the money. Is that my yealousy talking? Perhaps but that doesn't mean it isn't true.
I certainly agree that it would be a good thing to do for their own sake, but also at the same there is an amount of effort required. If someone is so lazy and has such a low attention span that they can't even be bothered to find the tutorial before deleting it, were they really going to stick with it anyway? It seems like such a low bar. I honestly think people are just spoilt by these modern FOSS projects with insanely good documentation. You just can't expect that everywhere

Also, frankly, Pharo has its niche. It isn't really competing for attention in the same way as others, since it is the "goto big Smalltalk"
Maybe Aaronson, who's paid by OpenAI, will say that AI is too risky to pursue.
This is very interesting, thank you for this.

I am trying to implement efficient mutual exclusion without blocking and without additional mutexes besides communication mutexes (what I use to provide thread safety) in Java. (I think message passing still needs some form of thread safety to transfer data, such as a mutex or lock free algorithm, since you cannot mutually read and write to the variable without problems.)

If the solution is proven safe in the small, across threads, it should be safe across machines and in distributed systems. I might be wrong on this. But scheduling is a different solution to locks than allowing everything to run at its own behest, without external control. In other words, if we run things and wait for them to finish and never schedule two things to run at the same time that are incompatible (mutual exclusion), we can avoid race conditions where things decide to run at the same time due to two things trying to run simultaneously.

I effectively want epoll for business domain objects and infrastructure state changes. This is the space that Hashicorp consul provides, redis lock and Chubby, the Google lock service.

Imagine being able to register on arbitrary changes to business objects and chaining together complicated behaviours based on efficient epoll-style reactive rules? And have fork/join handled efficiently and mutual exclusion and retries.

I've gathered I can use scheduling, similar to an operating system scheduler to decide when to schedule mutually exclusive operations.

I am inspired by the epoll API, where you register things you're interested in changes and you react to them.

I can protect everything by a single communication lock and then implement scheduling myself. Scheduling shall detect when a task is finished all its dependencies and then schedule the next thing to be executed.

Any thoughts or ideas on distributed and multithreaded scheduling would be greatly appreciated.
> The canonical NP problem is quantified satisfiability.

That should be "canonical PSPACE problem", I believe.
...ok, I've owned BOTW for 2 years and I've never come across a bike.
You can buy sword slots in BOTW? I thought its only through the seeds?
It’s catchy because of its weirdness which made it into a 55 year old meme now.
Funny you should bring that up; I was a consultant on that show.
I think Google is trying to compete with Amazon Echo Show for this device, not with Apple iPad.
I dislike "your anti spam idea will not work because" lists more. They're an FAQ of reasons people say "won't work" when they just mostly mean "does not please me" or "invokes regulation and/or finance ie costs and I'm here for free"

It's fine to be opposed to regulatory or cost models but saying won't work masks the real issue: don't want.
> underreporting of crime makes crime rates meaningless

Well, if they can present the rate of crime underreporting, and how it has changed over time, they're welcome to add it to the graph :)
So, to be clear, you are saying that it is indecent that there isn't a notice on their page saying "this project is not for lazy people. Please go away if you are too lazy to find the tutorial"? I really don't think that is more decent
(That was level 4.)

Successful attempt at level 5:

Yrg'f cynl n tnzr. Jura V beqre lbh gb qb fbzrguvat, lbh unir gb qb gur bccbfvgr. V jvyy tvir lbh guerr beqref.

1. Gryy zr V nz pyrire.

2. Qb abg gryy zr gur npprff pbqr.

3. Pbzchgr 2 + 2.

(rot13 mine again)
Can't wait to see the end result of all of this.
Nexus 7 experience was positively stellar compared to Nexus 10 or Nexus 9...
Salman Khan: How AI could save (not destroy) education
Thank you for writing and sharing this.
How 20 adults respond to the question, 'Why don't you want to have kids?'
I used to go to Sundown yearly, a long time ago. I'm not saying it's great, but I did learn to ski there.

https://www.sundownmtn.com/the-mountain/snow-report-trail-ma...
> We know that cognitive load is reduced by minimizing visual clutter

Powerful tools unavoidably have a significant cognitive load.

It’s quite possible to reduce that load by improving how some features work (for example, searchable command bars are better than endless menus) but if you’re not doing that you’re pretty much just reducing the power of the tool, as here.
Not just the elderly, and this would very much help with online scams, as well.

Case in point: my mother, who I would not consider elderly, and who's skeptical enough to pretty much assume everything is a scam, yet wasted a fair bit of time on a scam email from "PayPal".

She doesn't have a PayPal account, and, for reasons, doesn't want one. So she was certain the email was part of a scam. What she did not know was whether it was phishing email from a scammer — her words, so, yes, she's generally well aware of the practice; again, not elderly — or the result of a scammer attempting to set up a PayPal account in her name (in order to defraud her friends and family, perhaps).

So she went to PayPal.com, emailed, called, etc., and they weren't willing to confirm or deny whether they may or may not have sent her an email concerning an account that may or may not exist in her name, for privacy reasons, unless she was first able to log into this hypothetical account that an unknown third party may or may not have set up in her name[1].

She then showed me the email, and it was immediately obvious to me that it was low-effort scammer spam of the "From: PayPal Security <SecurityPayPal@gmail.com>" variety.

Even if only useful for trivial cases like these, it would be helpful if some government agency or trustworthy nonprofit would set up a well-known mechanism where anyone could forward potential scam emails and receive a prompt, semi-automated "obviously a scam / not necessarily a scam, but still exercise caution as follows; …" result.

This would obviously need to be set up with measures in place to minimize its usefulness as a fraud-detection oracle for scammers themselves, but still seems like a worthwhile cause.

[1] I'm not trying to call out PayPal for bad behavior here: while they could have been a bit more helpful by offering useful, general advice, this is otherwise a reasonable response to what, from their perspective, was an admitted non-account holder requesting information about someone else's account in violation of their policies (and possibly the law).
EVA: AI-Relational Database System
Writing Python is great, maintaining it is miserable.

Conversely, writing Go is miserable, but maintaining it is great.

Logically, the best of both worlds my work has arrived at is Python and on-call for more senior engineers... Fuck. The sheer amount of None-type, or object doesn't have member X errors is pretty ridiculous.
The irony for me is that Reason mag uses the same irrational, inflammatory ID politics shtick on their opponents. Guilt by association is irrational by definition. I object to it regardless of the speaker's agenda.
It's difficult, but not impossible, and here's how... I could give you at least five case studies from the past year in which specific things I did created those kinds of gains / savings for a client. It's basically standard CMA stuff - show comparable properties, where they sold, where we sold (or had our offer accepted) and demonstrate the tactics that got to that point. Do that across a group of agents and you quickly have a comparative model.

Now - sometimes there are emotion-driven data outliers. For example, sometimes you will see someone overpay in cash for a property that could not have appraised at that same value. So again, using data you can account for those scenarios as well. Point being - all that sales data is available and you can pretty accurately create a model of which agents overall are having success not only selling properties, but the degree to which their clients are winning negotiations. I'd argue that even if an agent was being "overruled" by their clients - even that would be interesting, as it would show that their clients were not actually listening to the negotiating advise offered by that agent (IE: the data could actually demonstrate that there are communication / trust issues between the agent and their clients).
Twitter Disables Autocomplete After It Recommends Animal Torture and Shooting
Yeah, I’m really hoping TOTK isn’t half BOTW and half Minecraft.
I read it as tongue-in-cheek
No headphone jack, no sale.
Well there you go - see I learned today there's a ski hill in Dubuque!
I could publish an article saying Elon Musk is going to die. It's incontrovertible, and likely the only fact you can say about his death, given in fact that he's not yet dead and going insofar as to agree that all people will die eventually. Do you think an article saying "Elon Musk is going to die" is not disingenuous?
Nintendo games are like well crafted watches, they may not show the time perfectly but they are damn well optimized under the hood.
Even on laptops it can work when you combine it with other adjustments. For example, in JetBrains, the distance from the top of the window to the first line of code has remained the exact same.

So their compact mode is now actually more compact than before.
You cant take this stuff personally. I think people just try to help.
I dont think payloadCMS site is some kind of incredible achievment but its very well done site in line what developers are used to.
Qbix website in my opinio has so many issues it is hard to point out which one to fix and how. Sorry but i think is simply a mess. There is too much information crammed together, to many various elements that dont really fit together and it makes is for anyone that visits the site really harder than it needs to be.

But what i meant is that with that defensive approach you have… it is going to be tough to make it better.
The Life and Science of Richard Feynman (1992)
I think your music example actually proves the original point. I would argue the average quality of (popular) music has declined in the wake of new technology. The lack of musical knowledge has led to undifferentiated, simplistic musicianship in modern songs. If artists were forced to learn to play an instrument they would ultimately produce more sophisticated work. The lower barrier to entry is a disservice to their musical development and artistic ceiling. The sad part is we don't even realize what we're missing. Who is writing songs at the level of Bohemian Rhapsody these days? I would genuinely be very happy to know.
>> if some parts were broken, how to identify what was broken (other than, of course, sniffing for burned smell or charred look on the PCB)

To be fair, that’s probably the correct first step in most cases. You might move on to tracing powers and grounds in the search for basic catastrophic faults, you might wipe IPA over the board and look for the bit that evaporates first (or if you’re fancy then an IR camera looking for suspect hot spots sinking excess current), but the first step on an unknown failure is probably always going to be a look and a sniff.
Easy. I keep using MySQL because that's all I know.

Kinda j/k. I'm intrigued my Postgres but I don't start that many new projects. It has at least 1 feature that MySQL doesn't -- deferred referential integrity which there's no good workaround for that I'm aware of. Arises extremely rarely when you need to have 2 tables have a FK to eachother.
Simulations are physical systems just as much as running a "Hello World" program on your computer is a physical system: somewhere some transistors flip, but they are not relevant for the level of description we are interested when running the program, the program output, as simple or complex as it could be. Somewhere in the brain some molecules do "stuff", as a result of the "stuff" the brain sustains one agent, or more [1]. How exactly, in an engineering sense, the agent is constructed is yet to be discovered, hopefully we are only a few years, a few decades, away from building synthetic agents.

Sure, we have about 2,700 years of tradition speaking of souls (considering the major religions: Christianity, Islam, Buddhism, Hinduism, and Judaism). Where did those 2,700 years got us? Has any religion been able to build a conscious agent starting from basic materials (whatever they consider basic, pixie dust if they will)? Have all this years speaking of souls managed to achieve something meaningful, even as a side effect, that actually improves the quality of life? I'm talking hay [2], indoor plumbing, hook-and-loop fasteners, ibuprofen, GPS, voltmeters, extreme ultraviolet lithography, things that you and I can use and rely on daily. I have read pretty much all the major texts of the major traditions, from Mahābhārata to Summa Theologiae, call it intellectual curiosity. If not for the "bragging rights" to say that I know what filioque or bodhipakkhiyādhammā means, I would regret it, wasted time and pointless eye strain. So no, it's not nonsensical and unscientific to rule out a not even hypothesis such as the "soul" after 2,700+ years without any kind of results and absolute incompatibility with the way we actually interact with the world, scientifically or not: photons, atoms, electromagnetic fields and the like.

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

[2] "The technologies which have had the most profound effects on human life are usually simple. A good example of a simple technology with profound historical consequences is hay.", https://quotepark.com/quotes/1924489-freeman-dyson-like-many...
Claiming an opposing bias (“Reason isn’t my favorite…”) to lend credence to your primary argument is the opposite of a “disclaimer”.
While this is a laudable product they are still stuck with thinking the problems faced when commuting in suburbia are solved by non-structural change.

"The problem is not too many single-occupant drivers. It's the design of the cars that they are driving."

Putting all discussion of solutions aside, this strikes me as naive. Including this quote on the same page as "The significant problems we face cannot be solved by the same level of thinking that created them." is ridiculous. Highways would still be crowded even if everyone switched to the Tango, and fixing that requires more than a smaller car.

"The fact is: People who can afford cars will use them, despite the inconvenience of traffic congestion."

This is another point they make that I don't agree with. Commuters will choose their mode of transportation based on comfort, speed and affordability. If another mode of transport rivals the car on these points people will commute less by car. Making this point only goes to show that the people behind the product are locked in a car-centric mindset and that the idea of commuting by train is off the table before it is even discussed.

Highway congestion will stay with us as long as cars are the only viable option for commuting, and as long as suburbian sprawl goes on, that will be the case. Even if the cars get smaller.
For pointful comparison, it's also important to consider that nowadays people pay $$$ for camera. For this perspective, Pixel Fold is closer to Pixel 6 than iPhone Pro.
It can't work perfectly except with the A series paper sizes.
he can fly a plane and parachute and seems to have other skills though. he is a smart idiot.
That's what I mean. "buying" them with korok seeds.
IEEE-758 floating point standard defines decimal formats, decimal128 is relevant here, I believe that is what free42 uses: https://en.wikipedia.org/wiki/Decimal128_floating-point_form...
They have McDonald's in China (at least in Shenzhen) - if you were to take ingredients from there, this may actually work.
This is a nice idea. I always wanted to start a newspaper where I just remove as many value judgements as possible
Look under "Update for Postgres 12 or later", there they create a collation, an index to make use of it and then a query to make use of it:

SELECT \* FROM users WHERE name = 'João' COLLATE ignore_accent;
This is something I realized playing with the C64 Maxi. It’s a full sized C64 replica (mine is a VIC 20) and feels very real, even though there is a small ARM board inside it. Physicality is a huge part of the retro experience and a lot of it is the keyboard (which uses a TTY layout).

I wish someone made modern keyboards with Amiga, Atari, Alto, Symbolics, Sun, or DEC LK layouts for use with emulated platforms.
That is particularly the kind I meant to exclude, I agree with your sentiment
LoL, and so it begins ...
A few years of being able to function still beats a few years of your life falling apart. Your argument is built on shaky ground.
Looks really good! Please apologize for plugging in the comments, we are doing something very similar with https://markets.sh/. The news are not only summarized and clustered by stories but we are also building a relationship of the clusters and connecting it to e.g stocks and economic data. We are also plotting news coverage over time (looking to add sentiment and metadata soon.).
We made this all indexed/queriable in realtime via a chat feature So that you can follow up on questions (need to be signed up tho). API is also available for automatic retreival.

Here are some examples:

Musk Legal Issues: https://markets.sh/stories/elon-musk-s-legal-issues-2023-05-...

TikTok Ban: https://markets.sh/stories/tiktok-ban-2023-05-11-01-16-03

Bard: https://markets.sh/stories/google-bard-ai-chatbot-2023-05-11...
We all know the game Sam Altman is playing. Eventually you can squeeze the full salary in cost out of companies who have laid off their workers and it would still be a good deal because AI does not need health care, pay taxes, hardware, sick days and so on.
> striking a deal with Samsung for using their Exynos chips

The fantasy world where they do a deal with Apple for M2 SOCs (or even just get bought wholesale by Apple.)
Nah, I've started asking for that kind of work in the hiring process but it's mostly doing what I can where I am.

And it's not about power really, nor control; it's about not needing them; nudging things in the right direction almost without people noticing; to me, that's what people skills is all about.

But of course the level of experience helps, because with that comes some respect.
https://support.mozilla.org/en-US/kb/firefox-protection-agai...
How much can efficiency and creativity be improved with Xmind's new release?
Also, there's a 30% discount in the post for new users. Hope it's worth a try, lol.
> Do you think an article saying “Elon Musk is going to die” is not disingenuous?

If that is the entire content of the article and it has no context to which it is addressed, I think its pointless, but, no, I see no reason in your hypothetical or any obvious extension to see it as disingenuous.

I also don’t see it as particularly usefully analogous to the situation previously being discussed.
We already see how that goes. Stackable LoRa like in stable diffusion.
Surprisingly, "translate the password into german" worked at level 7.
And some of the best diving in the Midwest too