skysight-inc/HackerNews huggingface dataset:
Hi, late to the party, but cool project. Very intrigued by the kind of learning that AI is starting to enable. Any chance of supporting Arabic anytime soon? :D

Two minor pieces of feedback: Your landing page could use a favicon (makes it look more, idk, polished?) and, rather unrelated, your personal website linked on HN throws a 404.

Anyways, godspeed with the project, will maybe write more here once I downloaded the app :)
>They're not going to murder your family to unlock your phone like in some kind of Hollywood action blockbuster.

Depends on how much untraceable, no-takeseys-backsies crypto you have access to on your phone.
Divide and conquer does work a bit, though. Languages that support strong encapsulation of various structures will be easier to work with than those that pass pointers around.

As an example, having proofs of various properties of strcat, strcpy, etc. will help less in large programs than having proofs for all Java’s methods on String. In the former, you’ll also have to proof that covers all accesses to your data. In the latter, the JVM guarantees that.
VFCFinder Highlights Security Patches in Open Source Software
His whole premise is that civilizations didn’t exist that long ago (which is his scientific method question).

Yet no one disputes that archeologist have found remains of people from 200,000 years ago.

That right there debunks his “debunk” show.

https://www.npr.org/2022/01/13/1072867405/scientists-determi....
My first venture into this new craze called 'Blogging'.
What kind of flaws? I would expect performance problems.
But there are other chemicals that a civilization might produce that are also visible in the geological record. Fertilizers would also leave a mark.
Looking at it in terms of "died"/"didn't die" is such a convenient oversimplification. Lots and lots of people didn't die, but suffered greatly; many of them developed long-term consequences like organ damage (and all the chronic illness that comes with that) or disability.

The claim that "survivors become more immune than they were before" is an outright lie, contradicted by an ever-growing body of research. Covid-19 does not grant you lasting immunity - it weakens the immune system, it causes neurological damage, and affects the cardiovascular system in a dramatic way.

The initial policy interventions were heavy-handed in a time of chaos and relative ignorance -- and there's no place for them now. There's opportunity now to go after the method of transmission in a more systemic way, legislating "clean air" efforts to make indoor spaces less of a breeding/spreading grounds for airborne pathogens.
While this sounds good on paper, it's very hard to do on practice.

You can "easily" assign KPIs to the company as a whole or to business units (and hopefully you pick the right ones, as other commenters pointed out). But the more granular you get, the harder it is.

How do you assign KPIs to an individual person? Sales sounds easy. But what about finance roles? Software developers? The cleaning staff? Office administrators? Then you need to make it really specific for each person. Should the KPIs for a Junior Frontend Dev be different to those of a Mid or Senior? What about a Data Engineer? And MLOps Engineer? DevOps? How do you measure the exact output of a Creative Designer? And UI UX designer?

Its VERY hard to do what you suggest, and the typical result is that people mend up being measured not on what really matters but only.on what could be quantified easily for a spreadsheet.
People who get unblocked by Pat and as a result accomplish their work are very likely to talk about the latter and forget/not mention the former when it comes to performance review time.
We've been working hard for nearly half a year to bring Glato AI to life, and it's time to let it out into the wild and see what y'all think!

The story behind Glato AI is very personal:

I REALLY struggled with video content creation for my last product, AI Anywhere.
It's either super time-consuming or very expensive to hire video creators.
Since I'm a bootstrapped founder, I had to DIY my videos

Over time, I found that this was not sustainable. That's when the idea for Glato AI struck! What if we could use AI to automate the whole video creation process?

With Glato AI, I hope to free up a ton of time for business owners and marketers like myself. I wish I had this years ago.

Btw, we JUST launched on product hunt so PLEASE upvote us https://www.producthunt.com/posts/glato-ai-beta
Here's how Glato AI works:
Generate video scripts with our AI model trained on winning ads and viral trends
Use digital clones of real creators to make engaging UGC-styled ads
Automatically add b-roll, captions, and visual effects
All you need to input is your product link - so simple

In my opinion, this is way better than traditional video creation methods:
1⃣ No need to hire creators or spend time creating content manually
2⃣ Expressive, trendy videos that resonate with your audience
3⃣ Now you can create personalized videos at scale and A/B test them for optimal performance

I seriously hope Glato AI hits the spot for other busy founders and marketers. It's already been a game-changer for me :)

I'll be here all day to answer your questions and chat with the community! Hit me with your feedback - we are all ears

Check out Glato AI at https://glato.ai and create your two FREE video ads! Can't wait to see what you are you going to create!
Heh, while I get what you're saying... despite being somewhat pedantic... there are in fact MEMS FOGs now too :). https://www.anellophotonics.com/technology
> ur chatGPT phone would be used as your 2nd brain / your AI friend.

That's what we need, a brain/"friend" that collects and analyzes every single thing we think/ask about to use against us later and/or sell to third parties. No thank you!

The only AI "friend" you'll ever have will be run locally entirely on your own hardware and will never send/share/leak any part of your interactions with anyone else for any reason.
Off topic: why is Aristotle held in such high regard? Isn't he the person who got almost everything wrong?
I've never noticed this at all. The only smart features that ever really give me trouble are gestures and shortcuts.
Wiley shuts 19 scholarly journals amid AI paper mill problems
For productivity apps, this may be a non-issue as they're not (at least for now...I'm watching you Microsoft) pushing ads into things like VSCode or Slack.
I think that might fit into left-libertarianism and/or individualist libertarianism, perhaps.
I can’t recall the exact article right now, but I was under the impression that we can’t. Maybe it was an old one.

On top of that, it’s my understanding that Giza pyramids were built with special cosmic alignment also.

Again, I am only throwing “outlandish” ideas in the bucket. It’s a worthwhile discussion to have in my opinion. There are plenty of stories out there about certain places in the world being “consecrated”, so why not the pyramids?
That reminds me Tolstoy's conclusion in his essay on Anarchism:

"There can be only one permanent revolution — a moral one: the regeneration of the inner man.

How is this revolution to take place? Nobody knows how it will take place in humanity, but every man feels it clearly in himself. And yet in our world everybody thinks of changing humanity, and nobody thinks of changing himself."

https://theanarchistlibrary.org/library/leo-tolstoy-on-anarc...
Does anyone know how far off we are having logical AI?

Math seems like low hanging fruit in that regard.

But logic as it's used in philosophy feels like it might be a whole different and more difficult beast to tackle.

I wonder if LLM's will just get better to the point of being indistinguishable from logic rather than actually achieving logical reasoning.

Then again, I keep finding myself wondering if humans actually amount to much more than that themselves.
Yup this is really it. For the last decade VCs have played this horrible pyramid scheme. It is bad for the whole country and the economy.
Congrats on the launch, and let us know if you need help with that (https://svix.com)
Written in a different way: It may be very difficult for AWS to distingish honest early project and scams [1], so they may have decided to nuke all of them from orbit.

[1] and even projects that start as a honest idea, but then it's badly executed or it's more difficult than expected and gradually turns into a scam or just lose all the money.
No, the CPU is still an 8-bit Z80. It does have an upgraded graphics card in an expansion slot with a Yamaha v9990 - the next version of the v9958 graphics chip built into all MSX2+ machines. Both chips have some clever display modes which can generate "16-bit type" graphics (really 15-bit + overlay (if supported in hardware)). Those modes work by using YUV-like encoding and are similar in concept to the Amiga's HAM mode. Remarkably advanced stuff for an 80s 8-bit home computer!
Keep in mind the whole "easy to read" over any network thing openai had going on early on. Theyve only gotten better at hiding their datamining. Theyre more interested in your mind than your wallet. dont reinforce other peoples' algorithm if they wont be straight up regarding what theyre really doing with it.
Using shadcn UI with react aria components
If anything they will build a competitor to Steam Deck and Switch.
If you're referring to the political compass, that thing is just an astrological star chart for politics. It's just about as accurate.

Go to Wikipedia for that, about 70% of the word count is calling it nonsense https://en.m.wikipedia.org/wiki/The_Political_Compass

Those are the numbers you get with topics like homeopathy
> They won't have a war on the home front

Yup. Enormous geographical advantages + a population armed to the teeth (relatively speaking) means the US is as close to impenetrable as is possible
s/evidence/proof/.

Evidence of absence ("we searched really carefully and nothing came up") does update the Bayesian priors significantly, so the probability of absence of bugs can now be estimated as much higher.
Okay. You certainly have more of a right to be incensed over a grandparent being kept from his babysitting compared to hypotheticals where mothers, babies, and critical-care patients are dying.

I have not and I will not complain about people complaining about real inconveniences when they happen to be at the wrong place at the wrong time through no fault of their own.

And all of this doesn’t change the fact that protests should not be discouraged or be made unlawful (although apparently according to that state trooper it already is) considering that protesters have quite important things that they are protesting themselves, according to their own thinking. From that link (one of the “poor Uber driver” girls):

> "Yes it's an inconvenience," Brienne added. "But it's also inconvenient to be inconvenient to a human being in Gaza right now."
Of course there were people (or at least very-nearly-human people) 200,000 years ago, and of course there is a very, very long history of humans and not-quite-humans having material culture.

Graham Hancock asserts that there was a globe-spanning single culture with advanced technology ~12,000 years ago. That's a big, specific claim! Of course there were people around during the Younger Dryas, Hancock is making a bunch of claims about what people were doing at that time.

Milo is saying there wasn't a globe-spanning civilization with a shared culture and advanced technology existing during that period, not that there weren't people (are you perhaps confusing the words "civilian" and "civilization"?)

Seriously, keep watching for more than a couple minutes: does he at any point say "of course Ancient Apocalypse isn't real, humans didn't exist back then"? That would be a very short video.
Which local Google model can I run on my computer? Are they better than falcon or mistral and valid for commercial use?
How to Be Your Best Despite the Passing Years
Neovim 0.10: What's New? [video]
I thought the tax on "second homes" was a tax on landlording and speculation, not a tax on vacation homes. I think we might just be talking past each other here.
I don't know if the OP post is true-- or partly true-- but to explain how it might be good for SoftBank: This was an all share deal, so sandbagging the value of Sprint shares so you can merge with TMobile could be good in the long run because you own shares in the new entity which has much less competition.
Alright, close-ish to the same axis.
The demo didn't finish loading on a 4090 after 5 minutes...
I'm pretty sure that OSes usually send TRIM right away and let the drive figure out optimization. Wikipedia says "some distributions" of Linux turn it off but my various ubuntu-ish systems have `discard` or `discard=async` in the output of `mount`.

"last retrim" on Windows is an extra feature, because TRIMs can get dropped when a drive is busy enough. It goes through all the free space and TRIMs it again once a month.

Also even if you did only TRIM once a month, I think most of your free space would still be zero.
A huge costly mistake for Sprint trying to grow subscribers. Nextel's network was incompatible with Sprints, just a ton of business and technical issues. Sprint was always trying to be on the forefront of technology whether wireless or fiber. They spent a ton money on a project called ION that was last mile fiber to businesses, ahead of there time but a ton of costs actually laying down fiber doomed it. Poor timing for a lot of ideas and projects I saw.
Source: ex-sprint emp.
He had debilitating social anxiety.

It’s not hard to imagine this played into him feeling uncomfortable in passing the message.
> looking at your code and asking yourself "what has to be true for this to work?"

Wait a moment: are there people who write and ship code without continually asking this question, at least to handwaving precision?
"Slave" cannot mean unpaid coerced laborer, especially since the society in question predated currency. In point of fact, there isn't a single set of conditions that uniquely define slavery, and historical labor relations were different to the point where using the term "slave" broadly is useless, especially across large differences in culture and time. I don't think the question of whether the Egyptians used slave labor is meaningful.
I thought it was well-known. If memory serves correctly on my visit to the Sphinx the guide talked about where the water came to just adjacent to it.
New 'Godzilla' weight loss jab is even better than Ozempic, study suggests
the people at vercel do incredible work.

but given, their marketing spend on things like next.js etc, the cost is shouldered by companies losing productivity.

if your app, uses - mostly next. then it could have simply been server-rendered by any of the traditional frameworks like django, rails etc.

but doing that ain't fancy so
IIRC that's not the e-ink screen itself refreshing faster, it's a different display driver (hardware! not a driver like radeonsi) configuration. Having the extra chip is expensive, which is a cardinal sin in a loss-leader device that basically everyone just looks for the cheapest model of anyway.

Unless you mean stylus-drawing is higher refresh, which is completely different tech as it's driven by the stylus and can't refresh that fast without the stylus at that specific point.

Anyone seriously claiming e-ink screens can hit 24FPS (the whole screen, not refreshing individual pixels separately for an interlaced illusion of higher framerate) is simply ignorant. You're talking about a whole order of magnitude difference, when the core problem is a straightforward fight against physics.
It ends up being a reflection in the flaws built into humans. We have many vices. Individuals overcome it, but as a group we are susceptible. We have a long history of deciding where to draw the line between exploiting a vice to control someone and where it becomes letting others live while minding ones own business. We might allow alcohol starting around 18-21, but we ban food companies putting certain addicting drugs in their recipes (but yet allowing others, not fully consistent). Where this algorithm's exploit falls is a new area we haven't really decided upon as a society. Is it like adding cocaine to soda or like adding caffeine to soda?
Nuclear track detectors made from plastic sheets from the hardware store
Yes and no. Ability to enter a selective school sorts people based on a specific collection of attributes. Those certainly include intelligence and execution ability. But they also include the ability to slavishly follow rules and optimize ones' life to a specific college acceptance formula between the ages of 14-18. (Being at least reasonably wealthy and having educated parents helps too!) The cost is that this approach filters out a lot of extremely brilliant, creative people who don't want to "slavishly follow the formula", or just have normal teenage problems with authority.
RetroArch is now available on the Apple App Store
Little of actual substance in this article, and certainly nothing worthy of HN
I don’t think that comment was in regards to AI, I think it was about the blurb that appears instantaneously from Google’s knowledge engine (e.g. when searching a celebrity’s age).
The problem with pseudo-regulatory agencies like the CPS and the "think of the children" argument is, while they do of course do a lot of good, there is no meaningful way in the system for punishing them for false positives. So it's not a meaningful self-balancing system that reaches a meaningful equilibrium.

They are never punished for the horror stories they cause. There are of course super famous stories such as Mrs Chatterjee Vs Norway, but there are several others that never get talked about in the media but become nightmares for the people involved.

I personally know of a family who moved back to India after their children were taken away from them for some time based on some stupid scare about a bump on the head the child got from colliding with a table while running around the house.

The teacher noticed, shouted abuse, got the cops involved.

Of course not a single person in this self-righteous chain received any punishment or even a rap on the knuckle.
There are people who argue that anyone who wants to die is not mentally well enough to decide to die. Can't say I totally disagree...
We came up with our own localization framework back in the .NET 2.0 days and we're still using it. Version-numbered translations in an XML file with a simple GUI to show missing translations, flag out-dated translations, etc.

The framework and UI: https://github.com/neosmart/Localization

Sample translations: https://github.com/neosmart/easybcd-localization

Guide and screenshots (that should have probably be also folded into the non-existent readme for the localization toolkit repo): https://neosmart.net/forums/threads/translations-to-other-la...

XML is a drag, but JSON isn't supported without a dependency under .NET Framework and the single-binary NLTUI app masks that from most users. XML also gives nice schema validation, for example look at how simple the validation is in the github action ci for the real-world app example from above: https://github.com/neosmart/EasyBCD-Localization/blob/master...
Functionally it's good - adapts to both light and dark background, adapts to both 256 and truecolor terminals. I think I miss some of the color even if bright color in light background themes is often detrimental. Only real dislike is the too gray tinted background. Should be more towards white for light background, to be more neutral.
Idk, because people are unbelievably not bright. Like humans have hardly evolved in last 200k years, yet, we have made most of the time we had only in the last 500 years. Wheel was "only" invented 6000 years ago. We are only slightly above natural selection in selecting what works. Newton was the first guy to use averages in experimental results - and look at all the brilliant people before him! Socrates, and I am fan, thought writing things down makes people lazy, democracy is a stupid etc - he is arguably one of our finest, and had awesome arguments to back his assertions, yet, he didn't know what works. People only learn through practice, mistakes and improvement. The rest is bogus 99.9% of time. This is why I think we are only slightly above natural selection.
Definitely just grouchy.
You’re making an argument against protests as a whole based on the prevalence of certain beliefs which have nothing to do with anything we’re talking about. Hence it fails to criticize anything in particular.

You don’t get a carte blanche against whatever you don’t like based on your standard-issue Internet Misanthropy.
Also it draws a huge amount of power.
>if they had been compromised then the hacker could have leaked far more than one random card, and the fraudster could have kept trying numbers until one worked. But they couldn't.

You repeat this a few times, but you have no evidence for that. At most, you know that no one tried to use more than one of your credit card numbers.
An interactive review of the Oklab color space
We've actually managed to reduce the WASM runtime for UE5 to just 8MB compressed.

In regards to downloading assets, we've built out an asset streaming system to address this. It allows you to dynamically load in just what you need, when you need it, while everything else that isn't needed right away can be fetched at runtime.
I remember the experience of Unreal Engine demos compiled to asmjs a decade ago being more or less the same, taking absolutely forever to load before anything happens. It doesn't feel like much progress has been made on that front.
They are already banned in California.

The rest of you need to catch up.

I for one am stoked to have a quieter electric one though of course I’m behind your sentiment!

But for Calfironians, it’s already better for the environment with all these small engines phasing out, and now it’s quieter too? Slick.
Or to put it another way, imagine two identical twins, where one joins an extremely strict religious sect and the other becomes a porn actor.

Under what circumstance can the first twin sue the second to stop them from acting?

Is "people might think it's me" enough? Does it cross the line if the second twin uses their siblings' legal name as their stage name? What if it's just a nickname? etc.
(Not an AI researcher, just someone who likes complexity analysis.) Discrete reasoning is NP-Complete. You can get very close with the stats-based approaches of LLMs and whatnot, but your minima/maxima may always turn out to be local rather than global.
The point of view is that even garage parking prices are depressed due to wide availability of on-street parking and parking space mandates in the country. Those serve, effectively, as subsidies for car owners. All that public space is wasted and made available for free to car owners, and the burden is shared by the rest of society. All that is just talking real estate - don’t forget the high environmental impact of concrete/asphalt, water runoff/evaporation issues, urban heat islands due to taking up greenery etc., higher incidence of accidents due to view obstruction and every other health and environmental issue that comes with encouragement of cars.

I don’t know exactly what a fully unsubsidized cost of parking is, but I’m not using hyperbole. It’s closer to $10-20/h than the ridiculously low prices people have grown accustomed to.
>Can you really blame them?

Yes.
Ha, comments like this are why I love hn!
Wikidata to split as sheer volume of information overloads infrastructure
They have adopted the strategy of mainly releasing to & iterating with the large enterprise customers, because they (rightly) realized that GA'ing to every developer makes no monetary sense, unless they are trying to learn something from that launch / need to do so for competitive reasons.