skysight-inc/HackerNews huggingface dataset:
That's because they're not modelling anything. The shocking thing about current AI models is that just sort of repeating and copying from memory what you've heard and seen gets you 97% of the way to imitating a person.* They still need to generate actual models somewhere to create consistency; so many generated images with one eye completely different from the other, or three arms, or fingers that grow into their cellphones.

If you solve this, you've probably solved almost anything in the simulation field. I have no confidence that the solution will even be complicated. Information consumed needs to be used to add to some sort of model, and that model always needs to be used as part of input. The complicated part would be to make that base model able to modify itself reasonably based on input, to tolerate constant inconsistency, and to constantly refine itself towards consistency i.e. ruminate.

I think a huge difference (which I think was approached through theories of embodied cognition) is that people start with a model (or the ability to create a model) of themselves. We can apply that model to other things and use it both to change how we ourselves behave, and how we speculate about the invisible states of other things. It's not for nothing that we can (and must) anthropomorphize anything.

-----

* Which was huge towards the confirmation of my belief that this is all people do 97% of the time.
Lufthansa says it hasn't banned AirTags, but it's far from clear cut
They make it sound so cheap. 4 Billion dollars worth of single use MERV-13 filters, rounded off by box fans that might last a year or two.

Brought to you by 3M.
One thing that I don't really like is when people take care of the whimsical before taking care of the basics, good design, good UX, properly-tested software, good docs and good support.

For example, on this page, the links, the first quote and the image captions don't respect the minimum contrast rules for accessibility. Lots of images don't have an alternative text. Image captions are right-aligned, which could be a style thing, but looks weird. On the good side of things, the performance is good, 95 according to Lighthouse.

The article seems to agree with me, as Henry, the vacuum, is better on a technical level than the vacuum it replaced. When people are using a website, they are trying to do something. I get frustrated by tools that get in my way.

I also think that different people have different degrees of tolerance/liking of whimsical. Flow Club or the Hype Goblin don't resonate with me at all, they alienate me.

My personal preference is simple and clean-looking design, like for example https://www.gov.uk/. It's not cold, but it also doesn't try to pretend that it's a good friend when we don't even know each other.

One company that, to me, does it well, is Beeminder. I think the way I would put it is that through all their documentation, branding and interactions, I feel like they have a genuine intent of building a win/win relationship with me. Nobody is trying to abuse the situation for their own gain, there are clear rules that we both respect, they get some value thanks to me, and I get some value thanks to them. It feels like being in the prisoner's dilemma with someone and knowing they'll cooperate.

I'm not affiliated with them, just a happy client.
Never be the first to give a number. Then you have lost the negotiation.

An option is to go with something along the lines "I have a number in mind that would satisfy, but as I'm sure you have looked at the market rates I trust you'll make a great offer if in the end you are interested"
I don’t know anything about how this project is architected, but

> It's used for type checking and error verification; once that's done, it can be translated and handed to the GCC mid-layer.

Sounds the same serial thing to me.
Off topic slightly, but it amazes me how much SMS is used in outside my country (maybe just US?). I literally never SMS any personal contacts, usually WhatsApp. Even business stuff, sometimes initial contact may be SMS and then could often move to WhatsApp.
I use signal with a small circle of friends, but no one I know uses SMS anymore.
For better or worse we don't globally optimize during an adversarial two party negotiation. We seek a local equilibrium. It's hard to fault apple for this since any other model would ultimately require a reorganized society to work on a long term basis. Apple can't do that unilaterally.

And as for the idea of freely giving concessions to unions to avoid bad news cycles: it's been tried and the results are not always fiscally ideal.
I don’t feel the same way. Sure, there’s a lot of shit going on, but my personal life is going pretty great.

Crazy story maybe, but I had a dream where someone close to me died. After that day, I decided to focus on enjoying life more.

I started to think about what I would want to do when I only had a few months left, and just started doing these.

I also started focusing more on personal care and health, dieting, eating better, and doing a little bit of exercise.

Both changes, although minor in practice, had enormous effect on my mood in a positive way.

Of course me and the person close to me are perfectly healthy.
2022 Kaggle Machine Learning and Data Science Survey Data
Just use stable diffusion to learn movements from text sentences..
The problem is that they aren’t doing anything blatantly illegal. And discrimination is hard to prove. This is not a new game in America - we’ve been playing it since the 60’s at least and now we’re just playing the same game by another name. I had someone tell me I was not eligible to apply for a position because it was only open to women. That’s blatant, but it’s word of mouth. There is no way for me to prove that conversation ever happened.
Worth seeing to whom? I'm not trying to be contrarian but none of that seems enjoyable or a Top 3 visceral experience when I'm not actually involved with the action.

It's weird to hear someone say something is in general a Top Experience.
> Computers can solve math problems and prove theorems

But the specification of the problem must be done by a human, translating to a formalized system that the software can understand. And if there's a problem in the formal specification, it's mostly up to the human to notice and fix; the computer will happily output garbage or crash or enter an infinite loop.

So it seems this translation, going from an exploration of the problem statement, usually in ambiguous terms, to a formal specification, and the awareness to possibly detect whether the answers make sense and the specs were right, is uniquely human.
that's for real and complex fields, and it's not exactly that.
I don't think there's anything better than O(n^2) with no conditions
Not following what you mean. This server is from a shopify employer (major enough?). This server makes quite impressive improvements in terms of memory usage. Moreover, shopify is contributing a production grade JIT to the CRuby runtime.
I don’t get it, what am I missing
> Nobody has the right to obtain copyrighted entertainment products. Unlike, say, having access to food or water, or even education, there's no coherent moral framework that says that you are obligated to the latest TV shows or movies under your own terms.

Yet educational books are copyrighted all the same, and scientific journals fight tooth and claw from preventing open access even if morally they should (eg. when publishing results of research paid for by public months).

You just drew an imaginary line (entertainment products) to defend an artificial law (copyright). Prior to 1710 there was no copyright, yet culture, art and civilization flourished. People were entertained, and entertainment products were certainly produced.

Copyright creates an artificial scarcity (literally, in the 21st century, where copying is costless). Compare that with natural laws, such as against killing, stealing, etc, known for thousands of years, with obvious reasons for existence.

We can argue to what extent copyright promotes creation, and we can agree to respect it because of its positive effects (if any).

But we should never mistake the "nobody has the right to obtain copyrighted works" dogma for a law of nature.

> culture is being built off of copyrighted works in the first place. Solve that. Doing otherwise shows that this is just a convenient excuse to secure access to personal entertainment.

What is culture if not total sum of all art, science, and other human accomplishments? And as we now stand, all modern art (and much of science) is being locked up behind copyright for decades.

Solve that.
There are some things that audio recordings simply cannot capture. Top Fuel is one of them. When I go, I wear ear muffs that are made for target shooting.

The pulses are so loud it is like being punched in the chest. Sometimes the engines explode which is also fun as the smoking parts fly around.

Once, the Top Fuel driver had the silly thing in reverse. The christmas tree turned green, and he launched backwards. He had lightning reflexes, chopping the power incredibly fast. The thing still flew back nearly 100 feet, and if it had continued would have climbed up the grandstand behind it.

I never, ever, ever stand in front or in back of a dragster when its engine is running. I also do not stand radially to the engine (when they blow, the parts fly out radially).

Other than that, it is great fun to go to a race in person. It's the only motor sport left where the attendees can go into the pits and watch the mechanics at work. Watching a team rebuild a V8 engine in minutes is amazing. Then they'll fire it up to test it. Blipping the throttle produces shock waves that you can see hitting the bystanders.

The barely restrained violence of those machines is just crazy mad fun you'll never get from watching it on TV.
I guess to be fair it lets them design and support a single UX since iOS doesn't allow them to have SMS in the UX. That could have been a good argument.

Of course, they didn't bother make that argument.

And in the SMS domain Google Messages really does get annoying with the whole Google Messages vs iMessage and how nothing Google is doing with RCS benefits anyone except Google. As Google continues its war on SMS and force migration of everyone to RCS, Signal users on Android end up being the red-headed step child. That also is a good technical/strategic argument for ditching SMS.

But, again, not one that they even bothered make.

And there's always been the "tied to a phone number" issue that's been the #1 complaint about Signal. And once untethered from SMS who cares about phone numbers anymore.

Once again, not even a case they bothered to make.
Delete the apps you keep looking at. Turn off notifications. Pick up ceramics. Read good books. And yes, therapy is such an easy and kind of fun solution. Try it for a while.
Because then as a user you'd still have the ability to backup that key yourself and aren't at the mercy of $cloud_service_of_your_choice.
Another benefit is employees who've unionized make higher wages. Depending on who you ask and what study the average is somewhere in the range of 10-25% more than non-unionized employees.
Nostalgia distorts reality a bit. 2001-2007 you're looking at 9/11, war on terror, and the plunge into the Great Recession. Not exactly good times in the US, but probably better if you're living in Ukraine or Russia. Covid has been draining for everyone I think and having a kid understandably will drain your energy. I'm not burned out, but I also don't have a kid. Add in some routines to help manage your burn out like meditation and unplugging yourself from negative news feeds/your phone content.
Most of what you mentioned either doesn't apply to you or only ever applies to you relatively briefly. The answer there is to ignore those things. I would hope children aren't uniformly depressing, but if you feel they are you should probably get therapy - for their sake.
Well, you don't need anything else than basic arithmetic to encode the entirety of, say, ZFC, enumerate every proposition in it, and halt iff you find a proof of whatever theorem you're after. It just might take a while…
You don't need to register with the various providers or set up any plugins. You set things up once and then you're done. See Dick's comment about the reg bit at https://news.ycombinator.com/item?id=33180661

Also, jrockway shared relevant Auth0 comments in this discussion at https://news.ycombinator.com/item?id=33180939.

Is your reluctance around smart contracts influenced at all by https://www.hello.coop/pages/financing.html?
> less competent/lazier workers

Not the op, but that isn't naive. Did a short stint in a union shop. The day had more breaks than it did work in it. Me and the other new guy started cranking on our task list, and were told by our manager to "slow down or you'll work yourself out of a job."
I’ve been doing renovation projects and building things around the house nearly nonstop. I am having a hard time focusing on my actual work though. I am greatly concerned about the prospect of nuclear war.
> Do I need therapy or is everyone feeling the same ?

Definitely not. Get off social/news sites for a bit.
Putting paywalls on culture puts culture out of reach to the lower classes.

I think poor kids growing up with parents living paycheck to paycheck should have equal opportunity to become a great filmmaker as trust fund kids.

That should be where we start this conversation, not hand wringing over making sure billion dollar media companies don't have their business models disrupted.
The higher up the hierarchy, the more accountable they are to the customer. If management doesn't increase sales by providing an offering at a competitive price, sales will slump and someone will get fired. This is the opposite of union shops where the manager to employee ratio is much higher because nobody gets fired for being a burden on the customer's wallet.
> Yea but that doesn’t solve the problem that the world IS crumbling around us.

Get offline. Step outside. It's fine.

Unplug from the 24/7 news cycle. They get you hooked with constant fear and outrage. If it's taking a toll on your well-being, you must disconnect. You can't influence any of the hypothetical things you're talking about by yourself anyway.
> “When multiplying really large numbers together … they’ll forget to carry somewhere and be off by one,” says Vineet Kosaraju, a machine learning expert at OpenAI. Other mistakes made by language models are less human, such as misinterpreting 10 as 1 and 0, not ten.

So the expert has never seen a seven year old struggling in adding two single digit numbers together? Did the expert learn 1 and 0 being 10 first and learn to speak second?

> The MATH group found just how challenging quantitative reasoning is for top-of-the-line language models, which scored less than 7 percent. (A human grad student scored 40 percent, while a math olympiad champ scored 90 percent.)

Is this that surprising? How would our ieee editor score on the same problem set?
Q&A with Emad Mostaque of Stable Diffusion. Formatted Transcript with Outline
The Q&A was packed full of information. I wanted to make this more accessible if you don't have time to listen to a long recording.

Created with Whisper and a few hours manually editing the text.
It is substantially more efficient, by unit of collecting area, to produce electricity using a regular solar panel and then electrolyse water for hydrogen. But of course collection area efficiency is not what matters, cost is. We don't know what the electrophotochemical equipment costs, or how that compares. It does seem more elegant, at a remove.

In practice, of course, you drive your electrolyser from solar, wind, hydro, geo, tidal, numerous forms of storage, or an unholy mix of all of them at different times -- whatever comes off the grid. At first, it will include NG sometimes, and nukes, until those are priced off of the market.
Those sources just say that those companies have some Apple products somewhere in the company. Not that they supply mainly Macs.

I work at a very large company that's probably counted here (because the number of Apple devices in the company is not 0), and almost everyone is only supplied with a mid-range Windows laptop, and a cheap Android phone.
Yeah I think the reason people don't see it is because large segments of both major parties are on the same "neoliberal" team, and that confuses people. What is the neoliberal color and how do I vote for or against it?
I actually use "Outdoor Walk" for Walking the dog. Mainly to track how much exercise he gets.
Ask HN: If Signal goes through with removing SMS, what app should replace it?
It seems like an ill-advised move to remove SMS support from Signal (as shown by the multitude of comments on the discussion of the post elsewhere on HN). One of the reasons I like Signal is it isn't Google Messages, as in it's one extra step for Google to peek at the messages I'm sending (using Android itself notwithstanding). I felt I could trust Signal not to be actively undermining my privacy and monetizing/cataloging my communications. What trusted app would you recommend for SMS communication if Signal does in fact remove that feature?
Celsius Bankruptcy Professional Bills Are Already into Millions
I would say that, when combined with other signs in the writing, it points to the authors being quite meticulous and thorough in their research.

It also seems like they are combining several studies with different theories and supplementary data so it's bound to lead to a long citation list.
Replace

> All I want to do is look at my phone and consume more content.

with

- Lift weights

- Run a marathon

- Bike a century

- Write a story

- Paint a picture

Change your relationship with the things you cannot control.
Wearing top quality ear protection is a requirement. They work, and do not subtract from the enjoyment.
Haha upon reading it, that is a bad phrasing. My American is showing. Funny because I usually watch European racing series which use km, but dragsters are fun to keep track of and those are imperial.

Also you can be sure 1000ft isn't a quarter mile because that's far too evenly divisible.
That was when hundreds of thousabds of peopld abandoned WhatsApp, shi h us what will happen to Signal if they do this.
> It also puts a spot-light on the "your phone number is your username" policy.

I'm willing to bet that this decision is just jumping the gun by a month or two since usernames are around the corner (code exists, just not enabled. Can be used if built from source).

Though I haven't had a hard time converting (Android) users by using another app. Especially people that already use WA. The "other app" just comes off as normal. Apple is a different ball game because the walled garden, but that's also the weakness because you can't send photos/videos in group chats with mixed devices (but Signal can).
The world is not crumbling, Putin is just being Putin. The US is being the US at him. Essentially nothing is new there, except it's not in the middle east so suddenly it is a bigger problem than it was. You're looking at at least a decade of status quo, moved a little.
I'm on burnout burnout.
They can't implement RCS, because there's no Android API for it.
> Will AI lead to UBI? (56:09)

> Maybe. It'll either lead to UBI and utopia or panopticon that we can never escape from because the models that were previously used to focus our attention and service ads will be used to control our brains instead. And they're really good at that.

>So, you know, no big deal, just two forks in the road. That's the way we kind of do.

One kind of terrifying comment from the interview.
It's various levels of encryption that are acceptable depending on your risk level.

I'm mainly concerned about SMS spoofing and mass surveillance. iMessage protects against that. The only way the government can read your messages is by serving Apple with a warrant to obtain your iCloud backup.

If I had a lower risk tolerance, I would disable iCloud backups to improve my security.
It also makes maintenance time for their cars that much more difficult to schedule around.
One of the major aims of industrialization has been to make people as fungible as possible. People are not fungible, you're right, but a whole lot of effort + technology + process exists to try to make people fungible. e.g. the assembly line, or customer support scripts.
Except that they make it a pain in the ass to save the stuff you want, because there isn't an easy 'export conversation' function. You can archive conversations so that old ones don't clutter up your chat list, but the only thing you can do with an archived conversation is...un-archive it. It has literally zero utility.

Your only way of saving things is to either manually save every picture and video, or manually highlight and copy the text in your conversations. The latter defeats any security arguments (other than of inconvenience) but also throws away useful information like timestamps of messages.

My Signal database takes up many GB on my phone, and it's constantly complaining about running out of space. Much of this is the years-long record of conversations with my wife. I'd like to back these up, but I can't. Are you gonna tell me that I shouldn't be using a secure messaging app to communicate with my own family members?
Therapy can absolutely help. Therapy won't magically make you not burned out, but it will help give you coping strategies and help you identify the warning signs in the future.
Molly[1], a fork of Signal, seems to work fine. I've used it for a long time and never had any issues with it (and it connects to Signal fine). But for security reasons one of their changes was dropping SMS, so switching to it won't do you any good there.

[1]: https://github.com/mollyim/mollyim-android
My friend withdrew money using an ATM.

No money came out.

He called the support number on the machine.

They said "before we proceed, please humor me, put your hand in each pocket, and check the money is not there."

The money was there.
Unpaywalled: https://archive.ph/0MOzA
Streaming service providers should be legally prohibited from exclusive ownership of content: anything they put on their platform should have compulsory licensing at the same rate they paid.
I had OCaml in mind, but this is perfectly legal Haskell, too:

let x = 0 in
let x = x + 1 in
...
Do you know if it's possible to see a list of stored passkeys in Android? I installed the Play Service beta, managed to create a passkey and sign in, but can't see the list of credentials anywhere in the UI.
That's because the government doesn't believe these demonstrations (4 weeks now) are legitimate and they will do everything they can to minimize it and/or suppress it. Not surprising.