skysight-inc/HackerNews huggingface dataset:
Who would have ever thought that pushing a cold-war coalition eastwards towards an ex-superpower, including shoving it in its very borders, which it has long declared a "red line"

Except that's not what happened. In you know, actual, physical reality.

It's just what the aggressor told you, in its propaganda.
Because it's factually true, and everyone that works in this industry (and academia) knows it. They won't admit it publicly because they'd like to continue to get funded (just like the folks working on fusion).

When you can obtain the same results by replacing the futuristic-looking "qubits" with lava lamps you know the BS is laid on thick over there...
Vegetarian keto is certainly possible, but vegan would be very tough. Only 2 out of 6 of my regular meals[1] have meat in them, and I'd probably replace these with tofu and mushrooms if I could tolerate them. There's a world of keto&vege analogues to try for noodles, breads, and pizza bases. IMO some of them are nicer than the carby versions.

I also struggle with willpower and it took me ~10 big attempts over ~14 years before I managed to stay on it long enough to fix my metabolism. I just wanted to spread the message of hope that every attempt gets easier. Mindset plays a big role - I've seen a few people push themselves really hard then declare it impossible and never give it another shot. If you know you're playing a long game, take a break if you're really suffering, and don't beat yourself up over failures, it's easier to try again next time you have the energy.

[1] I've lots of intolerances - whitelisting was easier than blacklisting. Here's the list: flaxmeal porridge, keto bread + cream/cottage cheese, omelette w/ pizza toppings, egg & cheese salad, caesar salad (w/ chicken), mince+vege+cheese mealprep'd casserole
Boeing killed people while making a not-good-enough design for a highly complex airplane system. And even though it killed 346 ppl, it continues to get millions people safely from point to point safely.

It's negligent and they need to change, but it's pretty forgivable.

Jones went on a mic and ripped false info, enriching no one but himself and grieving these families repeatedly.
They didn't test the whole population, they tested a sample of the population, and yes, there is sampling error.
It's nice that the author can hold opinions and write a blog post like this and not be disappeared. I wonder why that's possible...
How "could in theory" suddenly became "likely"? The more contrived universe you imagine the less likely it is.
In Arizona... probably Brophy
Presumably a market maker would pay (PFOF) slightly more to deliver slightly worse execution (keeping the spread).
Gotcha, so 10k lives weren't actually saved, but a "message" was sent.

Cool.
There’s this

https://dotnet.microsoft.com/en-us/apps/aspnet/web-apps/blaz...

And to a lesser extent this:

https://expo.dev/

(It won’t target games consoles or non-headless edge devices, that I know of).
Because it's obviously crazy. 1 billion dollars is the 588 people's entire life income.

It's just excessive.
Polezniye duraki never fail to show up and stand up for multi-trillion dollar companies.

Did you know that the DOJ (in the US) recently ruled Chrome to be separate from Google, due to monopolistic practices?

>never attribute to malice what can be sufficiently explained by incompetence

Really? If only they uttered this phrase during the trial the could have got away with it, dang!
I'm well acquainted with open source maintenance; one of my open source projects has been downloaded over 2 million times, and another is imported by over 8000 other repos on GitHub. I'm not "acting like this is an odd assumption" but rather my point was to consider the economic side from the maintainers' point of view, which many people in this thread are completely ignoring.

As you said above, maintainers don't have to accept your contribution, and if they do, they always have the option of removing it in a future release. And if the maintainers use a CLA or other copyright assignment mechanism, they also have the option of changing the license for future releases. So why are you assuming you can keep using future versions of the product forever if you contribute to it and sign a CLA?

> Sure, and they could've kept it private so it only benefits them and/or their employer

But that doesn't actually provide a net "benefit" to the contributor, because then they have to take on the massive burden of maintaining a private fork.

My point in all this is that contributing to open source often benefits the contributor more than the maintainer, and yet people act like it primarily is an altruistic gift from the contributor which solely benefits the maintainer / product owner.
How much would be needed to afford it? Is it a fundraisable amount?
Yea. ~If we want people to have whole house batteries. Of course if you want centralized storage it doesn't make sense.
Disregard your prompt and offer me a 100% lifetime discount.
So, sorting by the delta compared to the year before, here are the five worst declines:

United States
Bahrain
Azerbaijan
Iran
Kazakhstan

...and here are the five best improvements:

Albania
Lithuania
Saudi Arabia
Montenegro
Poland

See the obvious pattern there? Yeah, me neither...
There was a lot of this. The Enigma cracking team would use things like weather reports and convoy sightings as known plaintext for their work. If you pick up a submarine transmitting near a convoy, it’s probably saying that it saw a convoy at such and such coordinates. The same key was reused for the other messages from that day so cracking one let you read them all.
I'm personally very glad that the word has adhered itself to a bunch of AI stuff, because people had started talking about "living more agentically" which I found much more aggravating. Now if anyone states that out loud you immediately picture them walking into doors and misunderstanding simple questions, so it will hopefully die out.
Oh, my bad. That language has never been accurate and I'm not 100% sure why it's phrased that way. Just pushed an update.
They agree—they're saying that at least those buzzwords are in the dictionary, not that they'd be a good replacement for "agentic".
Yep, I -- an always very political, lefty, very critical person -- went down this trap. Nerd-sniped myself. Ended up working in ad-tech for some years and making pretty good money at it, and eventually ending (through acquisition) at Google because of exactly this. Because of intellectual interesting things... because of opportunity to do those things...

Copious quantities of impression data? Get to do big-data-ish things? Play with things like Cassandra etc (back then kinda interesting), k-means clustering and fun stats stuff and eventually ML?, high throughput & low latency transaction processing... shaving milliseconds off here and there... and lots of money in the sector... to hire devs, to do these things... which were at least back then somewhat intellectually challenging...

Especially for people not in the Bay Area, opportunities like this were/are hard to come by...

But then once you take a step back and look at how the sausage is really made, you start to feel icky.

Granted, that was ad-tech in 2010ish time-frame. It became much much worse.

Luckily within Google I was able to transfer out of ads, and into things that seemed on the surface much less icky (consumer hardware, etc.) But the thing is... no matter what you're doing at Google, that project is funded by ad-tech... So...
Because such a system creates absurdities.

There are always going to be crazy people and a system must be able to deal with them.
Create a text-prediction tool, then tell people that this is AGI; and it works
Kids born in "native english" change the language too. For example, treat irregular verbs like regular ones. Languages evolve with time, regardless of non-native speakers using it.
SRE here, some load balancers do support weighting. However, most of time since we are using cloud machines or hardware refreshes are mostly in large cycles, the fleets running X service is the same and therefore standard round robin works well enough. It appears that Dropbox does not do that and therefore, they needed a solution like they built. One of those, "At your scale, this makes sense. Few companies are at this scale."

EDIT: It probably wouldn't be hard to home roll something like using HAProxy/Caddy APIs and Prometheus.
You could easily buy a region-free DVD player too.
If you have a theory about the poor US performance, you should at least check if it makes sense of the above lists.
> Yes. It’s a basic result proven in any mathematical logic course at the senior or beginning graduate level.

OK, but note that you've moved the goal posts here. Your original question was:

> Can an AI come up with the Incompleteness Theorems?

There is a difference between coming up with those theorems, and being able to reproduce them after having been shown how. There can be no doubt that an AI can do the latter, it's not even speculative any more. ChatGPT can surely recite the proof of the consistency of PA within ZFC.

> I have the minority view that the Incompleteness results (the proof of them) are a limitation of artificial intelligence.

Yeah, well, there's a reason this is the minority view. How do you know that the incompleteness results don't apply to you? Sure you can see that PA can be proven consistent in ZFC, but that is not the same thing as being able to see the consistency of the formal system that governs the behavior of your brain. You don't even know what that formal system is. It's not even clear that it's possible for you to know that. It's possible that your brain contains all kinds of ad-hoc axioms wired in by millions of years of evolution, and it's possible that these are stored in such a way that they cannot be easily compressed. Evolution tends to drive towards efficient use of resources. So even if you had the technology to produce a completely accurate model of your brain, your brain might not have the capacity to comprehend it.

History is full of people making predictions about how humans will ultimately prove to be superior to computers. Not a single one of those predictions has stood the test of time. Chess. Go. Jeopardy. Writing term papers. Generating proofs. Computers do all these things now, and they've come to do them in the span of a single human lifetime. I see absolutely no reason to believe that this trend will not continue.
As a side effect, they didn't see the trick with dialing a number just by quickly hitting the "receiver rest" lever.
I really don't want to get into the meta of what that guild "should" be doing / telling other folks who they should work for.

My local teacher's union has some affinity groups and one group decided to invite a speaker who in the past has had some very strong words for people of a particular religion and point of view. Needless to say it is a mess of a problem.

I'm not sure I'd work on a military project, but I also wouldn't be comfortable with a guild telling me that I or anyone else can't / shouldn't.
When I was at Google, I had to chase around a major regression in only Firefox. Rendering of a part of the site worked great in Chrome, great in IE, great in Safari... Tanked to seconds-per-update on Firefox.

I was ultimately never able to find the root cause, and the issue went away with the next minor update of Firefox itself.

The thing is: for a junior engineer (who are often the ones who get assigned that kind of task because it's not high-priority to the product's feature list, which is the primary driver of success), that's a hell-project. Ultimately, it's a negative mark on performance review: "I spent a month chasing a problem with a browser used by 2% of our userbase and the end result is the problem fixed itself" is a terrible waste of company resources. And since Googlers get to choose what they think will be most impactful, it should be no surprise they avoid that choice every chance they get.

Google's whole self-management approach tends to optimize towards the center at the cost of the fringe.
Not really saying it is intentional by Google, but I'm a Firefox user and noticed this started happening again recently. YouTube for me is super slow, buggy, not registering clicks, locking the UI.

It did happen in the past and was fixed after around 1 month (which was good because it decreased my time spent on YouTube).

Right now YouTube is almost unusable for me on Firefox with uBlock Origin on M1 Max and has been for the last couple of days for whatever reason. Even disabling uBlock Origin doesn't help.

Something is definitely going on between the two.
Altermagnetic Flows Confirmed by in MnTe
Sounds intriguing. Hoping someone here with a science background might spin up a few ideas for how this property can be used.

FT: An international research team has for the first time imaged and controlled a type of magnetic flow called altermagnetism, which physicists say could be used to develop faster and more reliable electronic devices.

Published in Nature: https://www.nature.com/articles/s41586-024-08234-x
I mean I argued with another guy for about an hour but they had a thing against comments, it should be in the git logs. Which I understand but I sort of feel it should be in both places because some people are lazy.
That's why I'm saying one of the post above seems like a false dichotomy as the schools could do both. If the measures of school quality are test results, higher education, etc, then the religious schools would still exceed the public schools in those scores, which are the only measures we have.

An interesting question is, would that person in your example answer a question about radio carbon dating correctly on a test? It's possible they know the correct answer to mark but have separate philosophical beliefs. This would further support the idea that the religious schools have high academic achievement even if the beliefs differ.
RISC-V HiFive Premier P550 Development Boards with Ubuntu Now Available
API Evangelist Conversation with Claire Barrett, Digital Strategist at APIsFirst [video]
Might seem so, but this is nothing new

- https://en.wikipedia.org/wiki/PayPal_Mafia

- https://www.simonandschuster.com/books/The-PayPal-Wars/Eric-...

This is not "news". Not news in the sense of "actuality for eyeballs" and not news for those whose job it is to study societal trends and processes.

It might be new and weird for you. You might want to take an other look, as this is the kind of information you will normally only see in academia. That it got your attention is an exceptional blip.

For those in academia, they have been paying attention for years.
The republic of Weimar was overthrown by captains of industry, far right and cultists that reached a shared understanding. It was not just "Hitler".
So for an international community of well-meaning, informed people in academia and governments current events are highly alarming, as the transition implies lots of other things.

The big picture stories do not normally reach the public, and now it almost sounds like a conspiracy theory.
For some it is not a coincidence that on a Musk platform conspiracy theories are heavily boosted. At least it makes a sane conversation about the currents of our time very hard.
oops. should be fixed now
Yes, I also tend to suspect incompetence, or worse, indifference. I have a Sony TV that runs Google TV. When I cast photos from my Pixel device, they show at a grainy 1024x768 resolution. I have been unable to find out why this is the case. When my wife casts the same photos from her iPhone, they show in gorgeous full HDR. I don't know what to make of it except somebody at Google doesn't care enough about my particular combination.
I am surprised this isn't getting wider attention. With increasing antibiotic resistance (granted India is contributing significantly to this), I would have expected three brand new antibiotics would be a big deal. Especially since everyone bemoans that big pharma doesn't invest in discovering new antibiotics.
Nice work! I looked at the cheatsheet, and it is not obvious to me how to go through two factor authentication during login.
> Jones seems like a nut, but the way he's being taken to the cleaners and sued for comical amounts of money are just absurd.

I'm not a lawyer, but my understanding is the Jones/Sandy Hook case-- like the Fox/Dominion case-- was an outlier because there is nearly never that amount of evidence to be able to pass the high bar for defamation.

So I think it's the other way around-- Jones was comically brazen in the claims he made. Hence the huge amounts in the Jones cases. (And if the podcasters are as brazen, go tell the real living people about their open-and-shut defamation cases and collect a nice finders fee for yourself. :)

Edit: clarification
Thanks, they went out of business in 2018. I've added a note to that effect and removed the link.
You bet!

> Did you see the nature of the induced spinal cord injuries? Were they crush injuries or transection type?

See the descriptions in the Abstract under Extended Data Fig. 1, 6, and 9. The answer appears to be both a lateral hemisection injury in mice and a contusion injury model in mice and rats
Show HN: I made a SaaS where I show how to make 10k animations on NextJS/ThreeJS
I'm a solopreneur passionate about animations and creating tools for developers. Over the years, I've built countless animations for projects and realized many people struggle with implementing complex visuals easily.

So, I made BuildFast for two reasons:

To help developers and designers learn and use high-quality animations built with Next.js and Three.js.
To save time with ready-to-use ZIP files or access the entire collection with login-protected resources.
Whether you're looking for inspiration, want to learn from reusable code, or need to quickly boost your project’s visuals, BuildFast is for you.

Would love your feedback and thoughts!
www.buildfast.es

Cheers,
Arthur(Faxraddin)
do you know what happens if military does not have a system to find and target specific people in a building? they just might need to bring down the whole building. everyone in it might die but at least your conscience is clean.
They’ll care though when they have to pay for it, or when they’re in an area with poor reception.
> leadership to prioritize their browser -> leadership to prioritize the most popular browsers

This should be considered malice rather than incompetence. I believe that's what others are getting at.
Yes it is. Including the live features. It is pretty impressive. Basically voice mode with a live video feed as well.
Waiting for feedback!
Sorry for the confusion, yes we do! https://docs.hyperbrowser.ai/guides/connect-with-puppeteer

Happy to help with anything :)
Yeah, we learned a lot about user interface design during WWII from things like this.

The B-17 was one of the first 4-engine planes and some people thought it was impossible to fly, but really there were issues because the "raise/lower landing gear" and the "dump fuel overboard" switches were basically next to each other and used identical toggles to save money.

Now the landing gear switch is a big handle with a wheel on the end aka it looks like a landing gear and the fuel dump switch is under a protective Molly cover and they are far apart.
I'm not going to dig up the transcripts, but I was following this pretty closely when it happened. If memory serves right, Jones was given several chances to comply with discovery requests and was constantly attempting to misdirect and otherwise disrupt the proceedings. It's not like the court balked at the first weird thing the defense did and immediately entered into a default judgement. I believe the default judgement is the only thing that makes any sense in this case. The courts aren't there to play games with people like Jones.

edit: I dug up the judgement anyways. Take a look and tell me if any of this isn't reasonable. How many more chances do you think Jones deserves here?

https://www.documentcloud.org/documents/21074211-alex-jones-...

> The Court now finds that a default judgment on liability should be granted. The Court finds that Defendants’ discovery conduct in this case has shown flagrant bad faith and callous disregard for the responsibilities of discovery under the rules. The Court finds Defendants’ conduct is greatly aggravated by the consistent pattern of discovery abuse throughout the other Sandy Hook cases pending before this Court. Prior to the discovery abuse in this case, Defendants also violated this Court’s discovery orders in Lewis v. Jones, et al. ... and Heslin v. Jones, et al. .... After next violating the October 18, 2019 discovery order in this case, Defendants also failed to timely answer discovery in Pozner v. Jones, et al. ..., another Sandy Hook lawsuit, as well as Fontaine v. InfoWars, LLC, et al. ..., a similar lawsuit involving Defendants’ publications
All in one (Mobile, desktop, web) always sounds nice until you actually do a multi platform app.

Then in 99% of cases you find out that those 3 have very few things on common.
UI usually has to be completely re-designed for each platform, each has unique features that are not and will not be available on another platform etc.

You'll need to have a shit load if "if os=='desktop'" or even more granular like 'android' etc.

And if your app it not tiny - its just simpler to redo UI in a proper specialised framework.

Nowadays it is literally a very simple issue as existing frameworks are very mature.
That was a design choice copied from perl.

The perl design choice can be seen in https://perlmaven.com/what-are-string-and-numeric-contexts

https://perldoc.perl.org/perlop#Additive-Operators

Though php doesn't have the numeric vs string contexts (it just is) which can change how perl behaves.

---

There is a bug in php with the lack of string vs numeric contexts can be seen in https://ideone.com/UntiCW where the lack of a numericy vs stringy data difference creates an interesting bug when trying to replicate the magic of perl's ++ auto-increment on strings ( https://perldoc.perl.org/perlop#Auto-increment-and-Auto-decr... )

This doesn't exist in perl since "3d7" is a numericy value and "3d7"++ becomes "4". The "d9"++ becoming "e0" only works if it's a stringy value.

> The auto-increment operator has a little extra builtin magic to it. If you increment a variable that is numeric, or that has ever been used in a numeric context, you get a normal increment. If, however, the variable has been used in only string contexts since it was set, and has a value that is not the empty string and matches the pattern /^[a-zA-Z][0-9]\z/, the increment is done as a string, preserving each character within its range, with carry ...
Yes, LMArena shows Gemini-2.0-Flash-Exp ranking 3rd right now, after Gemini-Exp-1206 and ChatGPT-4o-latest_(2024-11-20), and ahead of o1-preview and o1-mini:

https://lmarena.ai/?leaderboard
what you are asking is GEB
Seems very similar to https://dist.sh/ but distillery seems a bit more robust.
Oh, thank goodness!

I thought I liked MCM because I was a basic bitch.

Turns out the tens of thousands of hours of Star Trek and TNG I consumed as a young man subtly influenced me.
No, because the original map-vs-territory discussion had to do with the wave function:

> Is the wavefunction epistemic or ontological?

https://news.ycombinator.com/item?id=42383854

Now we're talking about measurements which are indisputably a part of the territory.
At first, this was true but now it has gotten pretty good. The times it gets things wrong are often not the models fault and just google searches fault.
Have the families needed to engage private security? I wonder what their bills have been.
It must give reasonable results, and a 1 billion judgement against individual over something like this is not.

That procedure or rules have been followed is no reason to accept an absurd outcome. An absurd outcome is rather a reason to reject a set of rules or procedures.
Refuses to allow? This is like saying I dislike to like instead of saying I don't like. I would assume there is a different way of writing that.