skysight-inc/HackerNews huggingface dataset:
True. The alt text in my case contains the LaTeX which contains all the information to define the equation. But you're right that a standard like MathML would allow for other surfaces like Braille.
you always are. we are all NPCs in this simulation, anon.
It goes back at least to the early 1800s and builds from there. Colonisation and nationalism, plus world wars led to increased friction between Jews and others in North Africa, the Ottoman Empire, Arabia, and elsewhere. Jews were pushed and pulled towards the future Israel.

https://en.wikipedia.org/wiki/Jewish_exodus_from_the_Muslim_...
1 change to scroll bars. 1 change to something else. And so on.

You cannot restore the scroll bar width or buttons.
Obesity drugs help patients lose weight regained years after bariatric surgery
Yes!

The AI is trained on human behaviour, it’s a mirror.

We’re delusional if we think humans are any better at this.

I think we’re also delusional if we think we can define what is true. At best we can give an approximation of what we think we know now.
> Myotragus survived on the island as dwarf cold-blooded animals for millenia because they had no natural enemies, but they could not survive the predation of humans when they arrived on the island about 3,000 years ago.

One more thing killed by humans.
I've run into it being used in https://webassembly.github.io/spec/core/syntax/instructions....
It's slow, and you can't highlight the text. This also means that searching on the page is broken, since it can't be highlighted.
Not a great experience.
You're pandering to the "I hate crypto crowd"; you could have asked this on another forum if you wanted a good-faith answer. From my POV the killer-app of crypto is a USD stablecoin. Argentina's currency is collapsing the 3rd time in like 50 years (40% inflation?). There are other financial instruments beyond the dollar that could be tokenized (US Treasuries?), but most of the world would be happy to more-or-less preserve their purchasing power. They will find some vehicle to approximate the perservation of wealth, whether it's mobile phone minutes (an early digital store of value), physical $20-bills or something else.

Non-financial use cases would rely on a blockchain's tamper-resistance: like timestamp hashes for proof that a video happened at a certain time (only useful if this video is alleged to be faked), or something like NameCoin which was a tamper-resistant DNS prototype. Some people are trying to implement digital identity with blockchains, and others are trying to build a social layer in such a way where you own your 'social/friend network' and can view it with any ux you choose.

I think basically all of the marketing-hucksters have rotated into AI (IBM is running ads for AI, not blockchains), so the hype is muted compared to 2017 or so.
That event is in the future. What’s deceptive about it?
Implementation of iTransformer – SOTA Time Series Forecasting Attention Networks
You’re making an is-ought mistake. User belorn only claimed that such collection and recordings would be illegal, not that the law would be enforced.
ChatGPT-4V Multimodal decodes a Redacted government document on a UFO sighting
> Nah; you'll probably go about it by publishing very realistic AI generated copies so your actions are still legal.

In many jurisdictions worldwide, producing/distributing/possessing "very realistic AI generated" child pornography is a crime.

According to Wikipedia, [0] it is criminal in these jurisdictions: Australia, Canada, Ecuador, Estonia, France, Ireland, Mexico, New Zealand, Norway, Poland, Russia, South Africa, South Korea, Switzerland, United Kingdom.

Furthermore, Wikipedia says it is in somewhat of a legal grey area in Argentina, Austria, Italy, Spain, Sweden, and the United States.

Regarding the US in particular: the Supreme Court ruled in the 2002 case of Ashcroft v Free Speech Coalition [1] that the child pornography exception to the First Amendment does not include "virtual child pornography", so long as it does not involve images of real children (i.e. using AI to take a non-pornographic image of a real child and turning it into a pornographic image of that child). However, while this bars prosecuting AI-generated child pornography under child pornography laws, it does not bar prosecuting it under obscenity laws. In the US, obscenity laws are much narrower than child pornography laws, so it is more difficult to get convictions, but people have gone to prison for violating them (e.g. Ira Isaacs [2] in 2012/2013, Paul F Little aka Max Hardcore [3] in 2008/2009). It can be difficult to convince a jury to convict, but realistic AI-generated child pornography may be one of those cases in which many juries would. Furthermore, Ashcroft v Free Speech Coalition is not set in stone–given technological developments since then, and the changed composition of the Supreme Court, it is possible that some prosecutor might seek to overturn it, and you can't say for certain they would fail. Given all this, I think Wikipedia is right to say it is a "legal grey area" in the US.

[0] https://en.wikipedia.org/wiki/Legal_status_of_fictional_porn...

[1] https://en.wikipedia.org/wiki/Ashcroft_v._Free_Speech_Coalit...

[2] https://en.wikipedia.org/wiki/Ira_Isaacs#Further_charges,_re...

[3] https://en.wikipedia.org/wiki/Max_Hardcore#2005_arrest_and_p...
Surely you've heard of HyperLedger?

https://www.hyperledger.org
I can't speak for the test itself, but standardized is not the same thing as normalized.
In the same way it usually happens. A small elite conquered the region, and, over time, the local people largely adopted the dominant language, religion, and culture. Large-scale population replacement is rare, because it would eliminate most of the economic and military benefits of conquest.
Worth noting that this works on any Android/Google TV box and Fire sticks, not just the Shield.

I highly recommend the newest Walmart 4K ONN streaming box (official Google TV), which is an absolute steal at <$20.
Do you have a source for the amount of calories we used to consume historically? Twice the calories means twice the food which means twice the bulk, twice the time to eat etc. My perception is that we were actually quite underfed historically.
Evolutionary bottle neck events don’t work in such a polite and calm fashion, and there have been many of them.

What happens is 90% of the population (or often more like 99.999%!) that don’t already happen to be carrying an advantageous mutation perish. Sometimes the whole species goes extinct if there is no such mutation already there.

The remainder, if there are any, then don’t have to worry about as much competition, and rapidly reproduce to fill the now mostly empty niche.
Oh, yeah. Bash rules. (Perhaps because I don't know zsh or fish, but hey! it rules for me.)
AIUI, the author is agreeing with you, saying that case law says that licenses are contracts and that FOSS advocates should adopt that position.
I absolutely understand that's what they're thinking.

I also know it will only take one case of someone being arrested for a related crime, and material being found on their phone that's under the threshold for reporting, and the associated headlines that could be written.
I just joined the hat-wearers club here in Portland. I wear glasses, so rain on my face is very annoying, but rain on the rest of me doesn't really bother me much. I have what I'd call an "Indiana Jones style hat" made of some sort of fake leather looking fabric that's done a decent job so far.
I'd generalize this to any hierarchy. That includes corporations, institutions, religions, governments, cults, basically any time there are more than two people in the same room.
> Crimea, lugansk, Donetsk, mariupol is all business as usual. Ukrainians care neither about Ukraine government nor Russian government. They just want the war to end regardless of which oligarch is ruling over then.

The fierce resistance the Ukrainians are providing would appear to indicate they very much do care about who is ruling over them.
fascinating stuff. GLP-1 drugs are more powerful than even bariatric surgery, which is considered the gold standard for treating obesity...incredible. Bariatric surgery is sorta a scam. It has many side effects and ppl regain the weight later as the stomach re-expands and absorptive capacity of the intestines is increased, and metabolism slows. Also, most obese people who have surgery only merely become less obese and are still fat (for example, famous Youtube star boogie2988, who had surgery and still is obese years later). GLP-1 drugs fix the underlying problem at the brain-gut level instead of just superficially painting over it.
I can sort of understand how someone could decide to trust a single company though*, and only see things differently after realizing who else will or might have access to the data

* especially when it's too inconvenient not to
Lindy mammals?
If Russia didn't usurp USSRs UN seat, they'd be designated a terrorist state.
I use classes as syntactic sugar to a pure functions. People like their objects, but if you treat them as immutable struct data everyone is happy.. well at least less unhappy.
I looked into MathJax for my blog, and it's pretty slow and renders math as images. KaTeX is hands down a better option, IMO. The math comes in as text, and its UX is essentially the same.
As things turned out it is obviously both, although the investment side was not guaranteed and most people start out just having a place to live. Some people who were first time buyers at the peak of the subprime crisis in 2007 lost out when their investment went underwater (owe more on the mortgage than the house is worth). However for 95% of homebuyers over the last 50 years it has been the best investment they made. There was a time in the mid-90s when the catch phrase was that "my home earns more than I do."
Cloudera hit with $240M patent verdict over cloud-storage technology
EdGroom
Hi,

Max from Nixtla here. We are surprised that this has gained so much attention and are excited about both the positive and critical responses.
Some important clarifications:

The primary goal of this first version of the paper is to present TimeGPT-1 and showcase our preliminary findings from a large-scale experiment, demonstrating that transfer learning at this scale is indeed possible in time series. As mentioned in the paper, we deeply believe that pre-trained models can represent a very cost-effective solution (in terms of computational resources) for many applications. Please also consider that this is a pre-print version. We are working on releasing a reproducible set of experiments on a subset of the data, so stay tuned!

All previous work of Nixtla has been open source and we believe TimeGPT could be a viable commercial product, offering forecasting and anomaly detection out of the box for practitioners. Some interesting details were omitted because they represent a competitive advantage that we hope to leverage in order to grow the company and keep providing better solutions and continuing to build our ecosystem.

As some others have mentioned in the thread, we are working to onboard as many people as possible into a free trial so that more independent practitioners can validate the accuracy for their particular use cases. You can read some initial impressions of the creators Prophet [1] and GluonTS [2] or listen to an early test by the people from H20 [3]. We hope to see some more independent benchmarcks soon.

[1] https://x.com/seanjtaylor/status/1694745912776749296?s=20
[2] https://www.linkedin.com/posts/tim-januschowski_foundational...
[3] https://youtu.be/N0gyDVUFPlg?si=xH8oy5cjgLm-o_WD&t=457
Even though I use it every day, I'd never thought of a Git repo as a blockchain before.

But each commit chains to the one before it though, so I suppose it is.

Thanks for this new perspective!
are you aware of the significant amounts of criticism for prophet?

arima, sure
I was able to reinstall and reactivate it, and even add my personal iCloud account.

And it's actually absurdly easy (install older version of OS with three Apple DNS names blocked at your router/nameserver), then edit /etc/hosts similarly, and then you can upgrade all the way to Sonoma with everything functional, no alerts or warnings.
I don't want to put words in your mouth. Are you implying that if you were considering joining a startup, it might be a red flag if the founder had never heard of Paul Graham?
Best Buy Plans to Rid Itself of All DVDs and Blu-Rays
... maybe because lockwire wouldn't help in this situation?
Watch Mercedes-Benz Crash Two Electric SUVs into Each Other for Science
Well $2700 for the 14", but you have to understand that 64G of ram is ~$110, and a 4TB ssd is ~$200, and one can get within striking distance of the M2 with a $1200 AMD machine. Ex, base framework laptop + $300 is a much better situation for linux users given the mac is still solidly in the WIP category. Nevermind windows users.

So you can argue about how much better the mac is for costing nearly 2x as much, but it sure isn't 2x unless your already stuck on OSX.
How do we disable this?
> According to who? Are you intentionally demonstrating how silly pro-Ukrainian propaganda is? Russia made the objectives very clear from the beginning: demilitarization and denazification. I don't think anyone aware of that could come away thinking "Yeah, so obviously they expect to accomplish that in a few weeks."

Considering that two Russian state run news outlets RIA and Sputnik automatically posted a victory article less then a week into the war and then quickly deleted it, I dare say they expected this war to not take very long.
It hasn't affected my usage so far. I even sometimes use yt-dlp when YouTube proper won't serve a video without pausing to buffer every ten seconds, so in some ways it works better than the web interface.
LLMs develop a model of the world, experienced through human-generated text. The same as I've never been to China, but I have an internal model of China due to experiencing it through human-generated text.
>We show that, if model weights are released, safety fine-tuning does not effectively prevent model misuse. Consequently, we encourage Meta to reconsider their policy of publicly releasing their powerful models.

The actual technology in the paper is cool, the work is well-done, but the conclusion “Meta should reconsider releasing model weights” does not follow.

Meta released the Llama 2 base model without the safety tuning already. It’s on HuggingFace, and chat finetunes of it based on uncensored datasets are popular.

So far no additional safety impacts are clear to me beyond the same issues caused by the availability of OpenAI’s APIs.

I expect the lack of major safety impacts will continue to be the case for two reasons.

First, non-existential risk concerns that do not implicate runaway AI such as “following harmful instructions” to create spam or explosives are a much higher barrier to entry with a smaller on-prem model than a clever prompt-based jailbreak of GPT-4.

Llama v2 could tell you how to build a biolab, but it would likely be wrong. And to do so you’d need to stand up your own hosting, get a dataset, LoRA the model, and then ask your evil question. Contrast that with copy/pasting the latest clever DAN jailbreak prompt into GPT-4.

Second, for x-risk concerns, the on-prem models are fundamentally not frontier models, which push beyond the performance of GPT-4. By definition open source hobbyists do not and will never have the resources to run or finetune frontier models. So any alignment work / x-risk testing can still take place prior to release of the model weights.

I am as concerned about AI risk as anyone, but the focus on open source LLMs seems like a distraction from real risks of large models already deployed like adtech and recommender systems.
The Muslim Arab armies did not conquer a Jewish homeland, they conquered Eastern Roman (Byzantine territory). The Jews, as a population, i.e., the diaspora had been expelled hundreds of years earlier during the big three revolts against the Roman Empire.

Jews were banned from even entering Jerusalem (except for the day of Tisha B'Av) until the Arab armies marched in and took it from the Christians.
There is a 1963 RAND paper where they considered whether it was time to standardize on a programming language (Not yet, was their conclusion). It contains one of my favorite quotes:
“About the same time, however, a further complicating factor arose--the designing of programming languages became fashionable. Now the proliferation of languages increased rapidly as almost every user who developed a minor variant on one of the early languages rushed into publication, with the resultant sharp increase in acronyms. In addition, some languages were designed practically in vacuo. They did not grow out of the needs of a particular user, but were designed as someone's "best guess" as to what the user needed (in some cases they appeared to be designed for the sake of designing).”

Personally, I find nothing wrong with designing for the sake of designing.
> the textbook for "MA/CS 301 Introduction to Formal Methods"

my bad, I was using a "slangy" sort of description to say "shouldn't somebody read the textbook that would be used in a computer science 101 class (or a math 101 class) except not 101 but a hypothetical 3rd level class" so I called it 301. I was asking, "what textbook is used in an upper level undergraduate course on the topic?"

Many American universities use a numbering system of 101 & 102 for the fall and spring term classes somebody majoring in the subject would take, and 201 - 202 for the 2nd year. A CS100-level class would be a lighter survey for somebody who would want to study some CS but not major in it.
I love bringing up Pokemon as a humbling example of how AI progress is counterintuitive. Naively we might see games like Go, Chess, StarCraft, and Dota as more "complex," yet current approaches still tend to fail here, a game we would expect an early-grade school child to have no problem completing because of how incredibly sparse the reward function is. I hope that one day we'll get a satisfying tabula rasa solution to narrative-based/world model games like Pokemon rather than something like "well it turns out a GPT ingested a gameplay walkthrough during training and can regurgitate that as gameplay inputs womp womp."
800K tons of radioactive waste from Pennsylvania's oil industry "missing"
Yep.

And yes, they are complicated.

Boy, is it a rush when you get good enough to fly one by feel.
I have a good friend who used to be an instructor, mechanic, and pilot. He was type rated in a ton of things, but refused to fly Robinson helicopters, ever.

Edit/Append: He explained because the rotor turns the opposite direction of most of the other helicopters he flew, his instincts would get him killed.
If scalpers can get that money, why shouldn't the artists just charge more?
> In my opinion (again), the judge's requirement for mandatory arbitration denied you one of your fundamental rights as an American. Just saying.

I entirely agree, actually. Especially since my step-daughter is a minor. Judge: "So, you've sued a minor in small claims. That's not a thing you can do. There's a process to do so, but we may not be able to proceed today."

I was ready to lean on that, but there was the associated stress to her and partner that they just wanted done.

As it was, the arbitration used e-signing. I wrote an agreement, and didn't sign until I spoke to our (insurance) lawyers (who couldn't represent us in small claims, but could advise). In the end they said "we could definitely argue procedural issues, etc." but they drew up a quote for what that would cost in Superior Court, etc., etc. "How much did you tentatively agree to?" Told them. "Yeah, we'll just cut a check versus making a big deal out of it." (It was an amount far more in line with a questionable liability accident than what they asked for... and then we filed a claim right back...).
One thing I miss about the Internet of just a few years ago is that such papers were freely available. Alas, now behind a paywall.

https://www.rand.org/pubs/research_memoranda/RM3447.html
They would care if it was part of their job
X illegally fired employee who publicly challenged return-to-work plans
Hey, firstly - apologies for taking long to reply. Been running very busy.

1. You can read our security documentation and data model in detail over here: https://docs.envsecrets.com/security
2. We have per-seat based pricing. Free plan only allows for maximum 3 members in an organization. To add more members, you need to buy more seats. There are other features in a paid plan as well. Like, custom environments.
3. I do plan to provide self-hosting options in the future.
4. Please create a free-forever account and try out the platform? I'd love to know how you feel about it from the inside.
5. Will you start using it for your personal projects?
6. You can reach me personally, in case you need to, at: x.com/MrinalWahal

Thanks!
To be fair the Jewish people had been largely spread into the diaspora or killed by that point thanks to the Romans siege of Jerusalem in 70AD and the fallowing supression of rebellion revolts and sieges of other Jewish cities and settlements. Over a million Jews are said by concurrent historians to have been killed many of the remaining enslaved. Most of those remaining left spreading into the empire as they weren't even allowed into their capital city after the Romans rebuilt. The Romans then removed Judaea from the map and established the new governing districts of Syria and Palestine in its place.

https://en.m.wikipedia.org/wiki/Siege_of_Jerusalem_(70_CE)
I think getting the kid to get familiar with the sounds as early as possible is the critical point.

If they reach a point they recognize all the sounds and properly vocalize, I think we can give them a break and speak what they want. It will never be too late to get deeper into the language and learn to properly speak on their own terms, when they're morivated to do it.

In particular I think it's frustrating both for the kid an the parent to speak a language that look like a dead end, when there is nothing to read/watch in it that the kid enjoys, or friends of their age speaking it too.
I rely on code written by AI and verified by me, particularly when the code is finicky or tedious but verification is simple. LLMs are more reliable than you're trying to assert, but blindly copy/pasting AI-generated code is a recipe for pain, just the same as blindly copy/pasting human-generated code from SO.
Eh, YC and Mr. "Don't join YC! Buy my course instead!" are in the same business, they just have different target markets.

Both make money off the fact that establishing a successful, profitable business is hard and most people can't do it without some help, especially education and feedback.

He's not really competing with YC, so it's a little silly to target YC. Except, you know, it works well as a clickbait title because YC is a well-known big name, so it's disingenuous but "smart marketing."
It’s easier for contributors too, you don’t need an account.
The will to assign real numbers to degrees of belief is the controversial assumption. Converted bayesians tend to gloss over this fact. Many, as in a sibling comment, state that MLE is bayesian statistics with a uniform prior, but this isn't true of most if not all frequentist inference, based on frequentist NHT and CI, not MAP. Modeling uncertainty with uniform priors (or even more sophisticated non-informative priors a la Jaynes) is a recipe for paradoxes and there is no alternative practical proposal that I know of. I have no issue with bayesian modeling in a ML context of model selection and validation based on resampling methods, but IMO it's not up to the foundational claims its proponents often do.