skysight-inc/HackerNews huggingface dataset:
I doubt iOS 17 will be adopted faster than previous versions. For one, they are dropping support for multiple device generations this time.
My Sony Xperia 10 IV lets you set it to never charge above 90 or 80 %, as an alternative to it learning your habits. I have it set to 80%, and I've been unable to use it up in under 2 days. I've heard that iPhones have similarly good battery life as the 10 IV, so it seems, to me, that get quite far on 80%.
> one would be be nice.

Stops grocery stores from selling live crabs to home cooks. That is one.

Stops kitchens from boiling lobsters alive without stunning. That is two.

Stops the practice of destroying the eyestalks of female shrimp. That is three.

If you belive that they can experience pain any of these is terrible.
Respect, "all-in" mindset, realizing that blowing the lid gains you nothing but 5 minutes of fame, and then losing your lucrative job at the most valuable company in the world.
Honest question from someone who has been looking at these tools for almost two decades. What advantages does Thymer have over org-mode?

I assume that anyone seriously R&Ding in this field has at least a passing familiarity with org-mode.
oh! I have many, many thoughts on the W3C WoT :)

At the start of Seam, we spent a lot of time reading those specs and absorbing some of the key ideas expressing in its core documents. As a result, you'll see a lot of W3C WoT terminology throughout our API and its docs ("capabilities", "events, properties, actions", "affordances"...etc). My mom (of all people!) is the one who pushed us to really spend time in those docs and understand where the designs were coming from.

I think ultimately we began diverging a bit from those specs when it came time to solve customer needs, such as device-category standardization, async handling of access codes...etc. But I have fond memories of going over those docs with my mom, highlighting certain passages of their docs on paper printouts, and debating the merits of different approaches.

Also feel free to ping me sy@seam.co if you guys need help with various integrations.
This is a problem. I can understand having server standards for groups operating there, but banning connections to other servers seems over the top. I can block users that I don't want to listen to in a group as it is.

The choice should be individual, I don't want them making choices for me of who I should or should not interact with.
That sounds pretty cool. In my next life I'd love a Lisp job.
Heck, just plug a chip in my visual cortex and one in my spinal cord already -- I don't want to just see a butterfly, I want to feel it!
I don’t know who/what Lemmy or “LemmyMigration” is. I don’t know if they share the same values as me or if I would find them abhorrent.

But if what they were saying was legal, then I am strongly opposed to social media having the right to silence them.

Reddit in particular has less of an argument to support such censorship since no “off-topic” argument applies. If you don’t like what’s said on a particular subreddit, don’t go there. Start a new one with a topic that takes the diametrically opposed position.

Section 215 assumed good faith on the part of internet companies. We’ve seen now that they will manipulate content visibility for ideology and profit; i don’t give them the benefit of the doubt anymore. F** them.
Cows and chicken has got to be sentient if they go by that definition, but since they cannot give up their steak and chicken nuggets, they will conveniently omit them from the list
Why AI Panic Is Not About Safety
Ask HN: What Happened to Pokémon Go?
This was one of the fastest growing, and most popular, mobile apps/games of all time, and then it fizzled out. Now nobody even talks about it. Has anyone done a post mortem or analysis about what happened to cause this phenomenon to fade almost as quickly as it flared up?
Modern CSS in Real Life
MacBook Air 15 inch.
The code is MIT licensed. If you don't agree with the direction the project is taking you can fork it and add whatever you want.

I don't understand why this is so difficult for software developers with GitHub accounts to understand.
Someone is into children's books.

https://a.co/d/6nR2YZR
Assuming this is legit, what makes you believe they understand anything about this tech? They might literally have been scratching their heads all this time with this stuff. We might simply not understand the physics by which it operates and have no ability to do anything with it except dust it off periodically and let another team of eggheads strike out. I can't think of any major technology we currently have which doesn't have a totally legit origin story and which the prevailing scientific and engineering ability of the time didn't enable, so I doubt any real advances have ever come out of this.
I don’t get it. How can social distancing NOT help during a pandemic?

Quote from the book 1491:

“One reason is that Indians were fresh territory for many plagues, not just one. Smallpox, typhoid, bubonic plague, influenza, mumps, measles, whooping cough—all rained down on the Americas in the century after Columbus. (Cholera, malaria, and scarlet fever came later.) Having little experience with epidemic diseases, Indians had no knowledge of how to combat them. In contrast, Europeans were well versed in the brutal logic of quarantine. They boarded up houses in which plague appeared and fled to the countryside.”

And here’s 3Blue1Brown running a simulation:

https://youtu.be/gxAaO2rsdIs
yeah I get that, but the html that is returned from the server doesn't have to be generated with things like html.div(html.p('hello this is a p tag inside a div'))

you could still have your html in a template file and parse and return the contents of that.
Can you help with some examples?

I can think of SF and Seattle as having high minimums for service workers, but housing in these areas are so expensive the high minimums still don't produce a livable wage without tips.
It seems to be broken at multiple levels. Maybe something something Collatz conjecture?
we actually are going to enter a “diamond age” as processes like C2CNT make direct-air carbon molecules cheaper than glass. I don’t know if goes mainstream this year though
If you had a machine that prints money, you wouldn't sell it, would you? You would run it yourself.

It's the same case as with high-end electronic components since 10-15 years ago. No one can/could produce their own smartphone because the high end components are sold only to the largest incumbents. A medium-size startup "has the money" to buy these, even in volume. But qualcomm won't sell.

Same fate expects us here in general purpose computing. Hard to believe, but so was what happened to the electronics supply chain, at the time.
Service Rents Email Addresses for Account Signups
Nothing to see here, just platforms naturally developing under capitalism.

Just like the development of any other industry their purpose gently transforms into maximizing shareholder value and not to provide equal value to the consumer, this, contrary to a superficial analysis, does not contradict the existence of the industry itself.

Because in order to contradict the industry there must be an equal amount of power on both sides (of consumer and supplier) which we would use to prevent the use value drop to us. But that's the thing with capitalism: they own the far reaching platforms themselves, the live at the forefront of capabilities. So where is power left?

Any resistance must occur "underground" where there is usually very little exposition.

This is akin to wanting powertool manufacturers to standardize some battery interfaces. While it may be convenient to us, they have no incentive to do that and we have no power to force them besides boycott, which in a world with millions of people with millions of needs, is impractical unless you have mass media support, which is in itself almost an impossibility.

This will happen to any popular platform that maximizes profits; this happens to every popular platform with private ownership where private owners are (legally/existentially) incentivized to maximize profits.

This cannot happen in popular platforms whose aims are not maximizing profits; this cannot happen in popular platforms that have no individual owner. But a time where this is feasible has not arrived yet. I think a good example of this is standards, which can allow individuals to get rich, but not an individual. This can be leveraged even more to prevent mass users to suffer from capitalizing of the ones with capital.
Of course. But they could clearly have analyzed more than, say, two in the past decade before filing suit.
Webflow: Now you can build React components visually
Because the definition of soundness is that if a program typechecks it does not crash at runtime. This is a collection of unsound programs that syill typecheck.

Since there is no difference in Python and other untyped languages between a potential typechecking stage and runtime the definition is meaningless for them.
It's main job isn't search -- it's main job is advertising.
Because it isn't appropriate to their objective:

> It's intended as a resource for researchers, designers and implementors of static type systems, as well as programmers interested in how type systems fit together (or don't). [emphasis added]

Change the objective, and dynamic type systems would be appropriate.
LTM-1: LLM with 5M prompt tokens
> From the start they’ve been more about working against than working with banks...
At the very beginning sure, but very quickly Plaid built out a team to try and work with banks. Banks were the biggest roadblock to OAuth, most banks have (had) zero appetite to provide a good experience for users to delegate programmatic access to their own user data. Banks see user financial data as their own and _not_ belonging to their users (as it legally does).

However Plaid has made in-roads at many large institutions, and now supports OAuth, or OAuth-like, access at all (nearly all?) major US financial institutions.

Plaid never liked working against banks, that just made everything worse for everybody involved.

> My credit union doesn’t have a path to online banking without per-session MFA.
This obviously kills async products at Plaid, like continuous transaction data, but doesn't block sync products like Auth (account and routing data).

In fact, Plaid made a huge push to increase the amount of MFA encountered on their platform. When banks or credit unions didn't offer MFA, or didn't allow users to enforce MFA on every login, Plaid would attempt to force it through a variety of mechanisms to ensure a bad actor would encounter MFA on Plaid even if the bank would otherwise let them through their actual website.
Can you elaborate on where the miscalculation was in the Apollo dev’s math?

The numbers he posted seem to add up.
Recommend already :)
There's one guy who spends a ridiculously large amount of time posting nothing but pro Russian and Chinese propaganda on various communities and I've seen people turned off to Lemmy just because of him.
Nice! That fog machine is great. Guess it's time to get a jetson.
Battery pack is currently priced in the thousands.
I think it's similar, but this time it's to take a private company and do an IPO. Bean counters hate when a corp provides a free service, literally -hate- it, as it's hard to quantify except as a loss in the loss column. It's even harder to justify with the quarter-to-quarter management style of public companies. Thus free APIs for 3rd party apps had to go. And here we are...
Seems like a pretty cool feature for anyone familiar with Webflow!

Curious if any of the HN crowd has tried this (or other react visual builders)?
> but that also reminds me on how they were rumored to make a car without a driving wheel...

This is it. They've pivoted and instead of a car, you get to use Vision with a karting game
That does sound plausible but I do know. When I come across suchlike justifications for petty rules, I rather tend to feel there's some kind of petty control frreakery behind it. Then again I have no military experience.
Translation: make ad hominem attack instead of inspecting the data?

> 20% less deaths in exchange for mandating wearing a paper mask seems like a good deal? Esepecially as they're not comparing to not wearing masks, but just not requiring masks to be worn

That would be great if paper masks did anything to "control" an aerosolized virus. The RCT studies showing the worthlessness of masks in doing so are legion, and even the CDC and WHO wrote as much as far back as 2016.
2 tables that reference each other and the foreign key columns both have a NOT NULL constraint.
Just imagine any time that a dangerous thing is on the horizon. There will literally always be people pointing out that it's possible that the ones saying it's scary are saying it for their own gain. That's all this article is. It's an inevitable article that doesn't contribute anything beyond that.
They are competing (although they are very different, tinygrad is full stack Python, ggml is focusing on a few very important models), but in my opinion George Hotz lost focus a bit by not working more on getting the low level optimizations perfect.
Technically, there's nothing that prevents them from running macOS in a VM to offer a virtual Mac. They built a lot of virtualisation tech into their M processors.

But I guess they won't, because (a) it's probably a bad idea to put unnecessary computational load on the headset that will use power and heat up your face, and (b) because they want to keep selling you Macs.
Well you figured wrong - NVDA AI GPUs are a very small % of global foundry supply, if even if volume tripled, they will still be a small % of global foundry supply. NVDA’s revenue is high because their gross margins are extreme, not because their volume is high.
False positives are always preferable to the person who gets to make them.

They're somewhat less so to those who end up being the false positives.

If your hobby's main forum on the internet dried up and withered away 12 years ago because the only place to discuss it is reddit, then it's not as if such a person can just go elsewhere. You have a monopoly on the conversation and you're clearly not interested in justice anywhere near as much as you're interested in kicking out people you just don't like well enough to care about justice for them.
Yes. There's a power imbalance without accountability. Of course they're going to abuse it. This professor and his university are both clearly incompetent. Students shouldn't even have to defend themselves against a cheating accusation. Either prove it or assume it didn't happen.

I used to be a teacher and even when I strongly suspected a student of cheating, if I couldn't prove it, I wouldn't even mention it to them or anyone else. Weak evidence doesn't mean partial guilt.
In America its pronunciation is closer to "Mastadon." The second syllable sounds like "tuh."

You see the same thing with other words that have "o"s that function similarly. You'll hear Americans turning "o" into "uh" in Tyrann-o-saurus, p-o-tato, etc.
You ask it to explain its reasoning step by step. This has also proven to yield more accurate results. Look into Chain of Thought
Hell yeah.

I've built an RSS reader that selects articles I find interesting (it found that one) and I'm thinking about making it a Mastodon client that erases angry toots. I'm given "mute" as a tool, but I don't want to "mute" the person, I want to "mute" the anger: there are many people who have intelligent things to say sometimes but they boost crazy shit.
And in the end why not just replace the citizenry and voters...

We could lock up those imperfect humans and just occasionally ship them some food and water. Maybe direct them to not produce so many imperfect new humans too.
There is the fact that Grusch gave sworn testimony to congress on it, he's going to prison for perjury if he's lying. Doesn't prove it, but it's more than just saying it in an interview.
.......I think this is how they plan to stuff everyone back into open office floorplans.
https://github.com/sfermigier/awesome-python-web-frameworks#...

(Not complete. Pull requests welcome.)
What? The evidence is literally what we are talking about!
I would love it if the would remove the key from the array.
Yeah, I tried a few times to fix the syntax errors but couldn't. I love that method of obfuscation, though.
In a geologic triumph, scientists drill a window into Earth’s mantle
"The older generations will experience (if not learn) the consequences of voting selfishly all the time, and that price will be paid, sooner or later."

I agree, the price will be paid. But, not by the older generation...
Hey I appreciate the general lack of cruelty so far in the comments, sometimes HN can be pretty rough.

The weird phrasing in the tweet is because I can't talk about any of the work I did due to NDA's besides my job description and those patents. But I had a pretty unusual role all things considered. I was also trying to clarify in the tweet that these aren't meant to be interpreted as unannounced existing features or capabilities of the product. But rather, research I did and contributed to, that was made public through patents.

There's a ton of interesting preexisting research literature about neurotechnology research for VR. Both in terms of using it for biofeedback, and using it as a device just for studying the brain. If that sounds interesting browse through what's out there via google scholar.

Also I said I spent 10% of my life working on it, realizing that was a goofy way of putting it. But it's a standout thing in my life and it was mostly a self reflection on what a trip being alive is, not trying to brag about it, mostly just sharing what I did. It's an unusual product and I had an unusual role

Anyway it's a cool device and hopefully people enjoy it.
I just tried in todays Edge Canary - the AVIF image is not shown correctly, but the flag does make Edge attempt to load it. Since it's the Canary branch you know there is a good chance it's just broken in the current build, right?
Updates to Slack's Fair Billing Policy
Thanks hu3! No changes since posting, all links tested then and now, 100% working from here.
> Oh so now the hot new thing is a computing device that actively tries to guess its user’s emotional state

It also induces different states by way of imperceptible stimuli and measured the response.

The tweet got increasingly dystopian the more I read; spine-chilling stuff. Had this been about the Quest, people in this thread would be reasonably apoplectic. Imagine what Saudi Arabia or a Gambling or News app could do with this.

Fuck it, I'm going Thiel, anyone want to cofound a security startup, HMU (law enforcement experience advantageous) - we'll make the Apple Vision the best interrogation tool on earth. Fifth amendment? Pssh, the suspect won't need to say a single thing.
>A lot of the work that the asahi team is doing is just fixing Arm issues in the linux kernel (and sadly user space)

While I don't have Apple hardware so haven't been closely following Asahi I dont't think that is true. Linux has supported Arm for years (more like decades) now. They've been doing excellent work on support for Apple specific hardware sure, generic Arm not so much since it was mostly done.
Probably referring to the island of stability https://en.wikipedia.org/wiki/Island_of_stability
C locales are one of those optimistic features that we have inherited that in retrospect ended up being misguided and more trouble than worth; any program that really needs to deal with localization probably will end up pulling something like ICU to deal with all sorts of cases, and on the other hand locales cause all sorts of weird issues for programs not really expecting to be localized. As a bonus locale support incurs heavy performance hit.

In this case its extra-awkward to have an attempt of having unicode support on a function that takes a single char as an input; it can't actually handle arbitrary unicode codepoints anyways.

I feel a common theme with these sort of things is the thinking that difficult problems can be made tractable by presenting a "simple" naive interface while fudging things behind the scenes. Those supposedly simple interfaces actually become complex to think about once you start asking difficult questions about correctness, error handling, and edge cases.
Correct, it's called the Grace Hopper superchip because it using Nvidia Grace CPU (which are ARM) and Nvidia Hopper GPU.

For OS, it will run some form of Linux. I'm not sure if the particular recommended build has been (or will be) publicly released.
Dynamic type languages usually have a very strong type system - that makes it impossible to cause a type error.
I think human-level intelligence is a useful metric in its own right, but it's not as though humans necessarily hit some arbitrary "general" threshold either (none of us can do tasks that are trivial for computers, like remembering one million digits with perfect fidelity or calculating the millionth digit of pi).

I think any goalposts are only useful for answering specific questions:

- What practical problems can open-ended intelligence-mimicry solve?

- Will solving those problems potentially put humans out of work (and if so is that good, and either way what should be done about that, if anything?)

- Might this technology (or its perception) kick off a military arms race?

- Can these alien intelligences become clever enough to pursue goals in contraction of human well-being, or even the intent of their creators?

The intrinsic "isness" of intelligence categories is about as interesting as "whether a submarine can swim".
It was the first time I remembered someone describing the small depression one experiences after accomplishing a goal and it was funny because wasn’t something I remember hearing about from others. Mentally, I called if “post-summit malaise.”

I suppose it’s a nice problem to have but still uncomfortable. Congratulations on your retirement and hope you get to figure it out and find a new mountain to climb.
We're basically surviving off the scraps companies like Facebook have been tossing off the table, like LLaMA. The fact that we're even allowed and able to use these things ourselves, at all, is a tremendous victory.
The model I have is q4_0 I think that's 4 bit quantized

I'm running in Windows using koboldcpp, maybe it's faster in Linux?
xhp was honestly pretty nice - it was something watching the rapid codemods transform the language.

There was also ComponentKit, which was used heavily in fbobjc:
https://github.com/facebook/componentkit
Some people actually like uniforms. They don't like having to think about what to wear. Or people with sensory issues like wearing the same thing over and over and a uniform allows that without people acting like you're weird.

I wonder if any company has ever issued a uniform, said you can just wear this, but made it optional.
You’re missing 4, which is eye witnesses are reading instruments wrong.

“Yes I saw it move impossible in the camera”

“Yep you’ve got a speck on your camera. “

This stuff happens all the time mixed with “yeah crazy visual stuff happens”

When the alternative is that an unfathomable amount of energy was used to cross a mind boggling amount of space, you need a very bullet proof argument
Thanks, I gave up halfway writing this.
Yes, but it's a lot easier to get a complete amino-acid profile in your proteins by eating things that were alive (e.g. animals), than to get it from even a balanced grain diet.

This is especially important in developing children.

It isn't at all evident that forcing kids onto a meat-free diet is the best path forward for society as a whole.
I trust Dave Plummer.

[0] https://youtu.be/D3h62rgewZM