skysight-inc/HackerNews huggingface dataset:
It's clear how these people operate. Everything is black or white, good or bad. If someone is bad, then they are wholly evil and every allegation against them is true, no proof required. The key goal is to destroy him and the exact justification used is an unimportant detail.
With many research areas converging to comparable levels, the most critical piece is arguably vertical integration and forgoing the Nvidia tax.

They haven't wielded this advantage as powerfully as possible, but changes here could signal how committed they are to slaying the search cash cow.

Nadella deservedly earned acclaim for transitioning Microsoft from the Windows era to cloud and mobile.

It will be far more impressive if Google can defy the odds and conquer the innovator's dilemma with search.

Regardless, congratulations to Google on an amazing release and pushing the frontiers of innovation.
Tabarrok on Bail
Thanks for the response and perspective. I'll contemplate it more later.

While I personally may not have come up with the Incompleteness results humans did. The discussion is about human intelligence in general (particularly applied to bright people) not about my own intelligence and its limitations.

The second order Peano Axioms are categorical while the first order Peano Axioms are not. The first order axioms are used precisely because it was the dream of Hilbert and others to reduce mathematics to a computable system. The dream can not be realized. We humans can prove things like Goodstein's theorem. A statement that is true in the second order PA. How will a computer prove such a thing? There is no effective, computable means, for determining if a given statement is an axiom in PA.

I don't know anything about the chess algorithms but my understanding is that they rely, essentially, on searching a vast number of possible outcomes. Can a computer beat Magnuson with the number of computations the computer can do limited to within one order of magnitude of what a human can do in the allotted time?

Thanks for the discussion. I'll contemplate what you've written and any response you care to make. I won't respond further since I'm delving into areas I know little about.

https://en.wikipedia.org/wiki/Chinese_room
A Day in the Life of Female Tech Workers Vibing and Thriving [video]
(I'm not actually asking why, I'm politely asking you to please stop doing so)
Funny to see this, I bought 2 used DVD complete series from ebay last night instead of subscribing for it on prime even tho prime was a bit cheaper.
Crypto Doesn't Deserve a Tax Exemption
>>The same channel who said it's nato and the west's fault that Russia is invading Ukraine?

>I don't remember them saying that. I do remember them showing US political and financial involvement in Ukraine.

They stopped short of saying it explicitly, but it was strongly implied. The whole video basically lists out all of russia's motivation for the war, and then concludes with "now there's a war in europe [...] if there was only someone who have predicted it, someone with power to stop it" followed by a few sound bites/clips strongly alluding to Western defense officials.

https://www.youtube.com/watch?v=LL4eNy4FCs8
Have they announced a new permanent CEO? The two headed marketing/finance interim co-CEOs didn't give me any warm and fuzzies.
The crazy thing is that in many cases there isn’t even really much novel work required to end up with a user-friendly product. Devs can easily benefit from the vast amounts of time and money put into UX research by simply pattern-matching on the mountains of prior art now out there. It’s not like it’s still the early 80s where graphical UI is still in its infancy and there are no examples to follow.
For cross-platform desktop (and WASM), I'm still betting on iced, which I use daily. It's just so. blazing. fast.

And once you "get" The Elm Architecture it feels like you're in a whole different world that is equal parts beautiful and logical.

I think mobile is a different beast best served by native toolkits. But for a lot of people, what they really want is a website packaged into binaries for every platform, so their tradeoffs are different.

For everyone reading this who's considering iced, I'm on Discord daily trying to help newcomers get their bearings. I'm also on Discourse and GitHub but those just happen to be less active.
Fetchy is really nice! I really like the how smooth it looks in demo. Only thing that I don't like is the manifest file. Personally, I would be too lazy to create one. But I find use case for it for organizations, when you want to keep it as a code in repo, which pre-defined versions for whole organization. If, for example, you would be able to tell fetchy to use remote manifest that would be a game changer for organizations.
I was hoping I gave myself plenty of buffer by making it 500 calories of deficit (which is pretty large), but maybe you can teach me something new.

What's the diet you would eat every day to get into a calorie surplus even though you are in >500 calorie deficit according to the labels?
...or use a captain crunch whistle to get free long distance calls.
I had the 5-10 second safe driving message on an old car. I spent the time making sure myself and all of my passengers were buckled, that my mirrors were adjusted correctly, that my car was sounding normal and gauges looked healthy, etc. It was never annoying because you shouldn't just turn the key and immediately operate a motor vehicle.
It’s been proven in court.
So you're saying the legal system should hinge on the judgement of what random people believe is "crazy" rather than judges, juries, laws, etc. One opinion should outweigh everyone and everything else?
Yes, google wants to get compensated for a service they are providing. They want to show you ads.
It doesn't take billions of years to generate a small sampling of random (or random-looking) numbers.
Would the internal endpoints solve this for you? https://ngrok.com/docs/network-edge/internal-endpoints/

Happy to help with a solution. Sam at ngrok.com is my email
Can someone who is more familiar with this SoC confirm for me that this P550 doesn't have the RISC-V "V" vector extensions? I'm seeing a GBC suffix which I guess means bit manipulation, compressed instructions, and whatever the G extension is which I don't fully understand (IMAFD plz explain?)
In the US, while many I know use iMessage or Android send via SMS/RCS, most all my friends and family also have Facebook Messenger and most all seem to end up sending there since one doesn't have to worry about if Apple/Android, or which features are supported etc. The only big downside is Facebook Messenger strips all meta data, so unlike say Apple Messages, not good for sending photos to friends family since won't have the correct date, location, etc (which you can turn on/off on Apple Messages), and with messages can send as large or as many as I want in one message so they can easily add to their Photo library with a click. With Facebook Messenger, even with the new HD feature (you annoying have to click each time), you still have limitations on how many and size you can send. Hoping Messenger or or WhatsApp eventually seamlessly support that. Some apps say they do but you have to add photo as a "file" which ends up with lots of down sides from a user experience. Also if WhatsApp is so popular hopefully eventually they let you merge your Messenger data into What's App since can't imagine starting in a new app and losing a lifetime of messages history. Was excited for RCS, but so far, has been problematic where sometimes RCS is enabled for a contact other times for same contact its not. Or slow to send, though is preserving meta data it seem now. But no support for replies, which is a deal breaker and of course not encrypted at all.
Once you have a player and a disk, you are able to move with them wherever you want.
It's not like FB recently acquired WhatsApp.

The acquisition was 10-years ago (2014). Which is an insanely long time in tech.
Sorry, I will do it next time. Thank you for the comment.
There is lot of evidence that the faults in Boeing have been internally reported multiple times and neglected.
> filter them out with an add-on

Please do inform
Claude MCP does the same thing. It’s the setup that is hard. It will do push pull create branch automatically from a single prompt. 500$ a month for Devin could be worth it if you want it taken care off plus use the models for a team, but a single person can set it up
> no, he does not. He just doesn't use LSP but never did he ever oppose QoL tools.

He's somewhat against package managers (doesn't want Odin ecosystem turning into NPM or Crates.io where a single package draws in a thousand dependencies).

But yeah, Odin's LSP is used by most Odin users, including staff at JangaFX.
This seems to me like a victim of attempted murder suing the assailant into bankruptcy, where one of the assailant's main assets is a really expensive gun, and the assailant is still saying how much they'd like to kill the victim with that gun.

Surely there must be a legally viable way to resolve such a bankruptcy that doesn't involve the assailant buying back the gun with funds raised from friends.
Agreed - tried some sample prompts on our data and the rough vibe check is that flash is now as good as the old pro. If they keep pricing the same, this would be really promising.
I guess is someone messages you on Signal and you do not reply, or notice, it significantly damages Signal’s reputation with the person trying to reach you. They will give up using Signal and try to reach you in another way.
> To prioritize an issue and not another is a deliberate act

"sort by revenue", or "sort by users" is not as deliberate in my opinion. But sure.
no way to use from desktop? Absurd.
Interesting observation. Does it indicate that the more subtle forms of gender oppression in western societies are more detrimental to math education outcomes for girls than explicit state sanctioned oppression?

But yes, maybe more likely just an artifact.
> For the more Java proficient, can someone explain why it may have provided this code:

To me that reads like it was trying to accomplish something like

int[] current;
while((current = queue.pop()) != null) {
Link is someone's summary of an article on Dropbox blog.

Actual blog article is
https://dropbox.tech/infrastructure/robinhood-in-house-load-...
They didn’t mention weapons in their post. Which, given the focus of the article, seems intentional. Edit: specifically they seem to have gone for lower stakes examples.
Upvoting for visibility, this is fake
I don't know. Please check if Selenium supports this and if yes, use Helium's set_driver(...) or options argument to start_chrome(...).
==A more expensive program requires more tax revenue to administer, revenue that could be used on anything else.==

More complexity is what makes programs more expensive to administer, not size. You are suggesting adding significant complexity (actual insurance) to what is currently a relatively simple program.

There are lots of things that make it more complex. For example, actual insurance requires you to continue paying in each year to get a benefit. Currently, I can take a year off from working and it has minimal impact on my SSI benefits (as SSI just takes and average index of your 35 highest earning years).
Standard Internet Counterpoint.

FACT: Paul Krugman wrote 1998 article for Red Herring magazine called "Why Most Economists' Predictions Are Wrong." where he said "Internet's Effect on the World Economy Would Be 'No Greater Than the Fax Machine's'" https://www.snopes.com/fact-check/paul-krugman-internets-eff...

We can conclude from the above fact that he must be shit economist and Nobel price is not real Nobel price.
Also, it won’t work properly unless you give it full access to your Contacts
Perhaps the answer to this lies in the incentives for VCs. The current dropbox strategy produces a sustainable, lifestyle business for its employees and customers. They are happy with a product that meets their needs. It's not what VCs want at all; they want either total domination or acquisition. The middle-ground is uninteresting to them. So, had they stayed with AWS, they may have bought a 10% chance at 10x more VC return, and a 90% chance that they are bought up and absorbed into OneDrive.

I prefer the current outcome to a swing for the fences.
Odin has a great LSP.

Gingerbill is mainly against package managers because ecosystems like NPM and Crates.io are a mess...
For those skimming and to add to the above the article is using the gpu to work with system memory since that’s where they have the initial data and where they want the result in this case and comparing it to a cpu doing the same. The entire bottleneck is GPU to system memory.

If you’re willing to work entirely with the gpu memory the gpu will of course be faster even in this scenario.
Signal added Stories two years ago and they can be deactivated completely. I don't use them but fail to see the problem here. A reason for people to switch to Signal and a non-issue for everybody else.

https://signal.org/blog/introducing-stories/
I have to say this is probably the first time I've ever seen someone argue that public schools have always worked and are proven, and that by contrast private schools are prone to have quality issues.

The more usual thing you hear is something like [0], which is something I can't personally attest to or anything, but I've seen it expressed on places like /r/teachers as well. If true and at all common, then that sounds to me like public schools have given up entirely.

[0] https://news.ycombinator.com/item?id=42389598
Do you have a guide you could link to?
What about questioning the purpose of the taxes you pay?
You're still focused about inference :)

inference basically does not matter, it is a commodity
At least Bluesky isn't hostile to people without BlueSky Accounts. I could read his entire Bluesky account despite not having one.
Even the integrated Intel HD Graphics would be an interesting comparison.
You want all the parents in your kid’s class to know your phone number? No thanks
absolutely, you need focus when you work for the department of war
Your first sentence has the fallacy that you’re attributing the cost of the device to a single feature against the cost of that single feature.

Most people are unlikely to buy the device for the AI features alone. It’s a value add to the device they’d buy anyway.

So you need the paid for option to be significantly better than the free one that comes with the device.

Your second sentence assumes the local one is dumb. What happens when local ones get better? Again how much better is the cloud one to compete on cost?

To your last sentence, it assumes data fetching from the cloud. Which is valid but a lot of data is local too. Are people really going to pay for what Google search is giving them for free?
You can choose to not let unknown numbers message you. I have no idea why that isn't the default.
Side note on Gemini: I pay for Google Workspace simply to enable e-mail capability for a custom domain.

I never used the web interface to access email until recently. To my surprise, all of the AI shit is enabled by default. So it’s very likely Gemini has been training on private data without my explicit consent.

Of course G words it as “personalizing” the experience for me but it’s such a load of shit. I’m tired of these companies stealing our data and never getting rightly compensated.
Great article, and very important things to consider. As a practice, I take my holidays at the end of each year to consider my career, my life, and my worldview. A long holiday is an opportunity to refocus from work to introspection, and allows you to find comfort with your place in the world. The primary things I ask myself near the end of this introspection period are:

1. Is the work that I am doing advancing my personal goals?

2. Is the way I spend my time good for my mental health, my physical health, and my family?

3. Is the work that I do aligned with my ethical worldview?

4. Am I being renumerated appropriately aligned to the value that I am bringing?

5. Am I still learning something each day?

6. Are my family happy with the outcome of this year and the way I contributed to it through my work and otherwise?

If I get a no to any one of these questions, I start looking for a new job. I've moved across country and across the world, and I've been at companies for a long time and a short time throughout my career (that's nearing 20 years at this point). I've switched industries and areas of technical focus many times, and I've even switched entire career paths by simply asking myself these questions after a relatively short period of introspection.

I encourage everyone to consider the ethics of their work, but also to consider regularly whether or not your work is advancing your goals, making you happy, making you healthy, and supporting your family in the way they need to be happy and healthy. Ethics is a core part of this. If you are doing work you don't agree with for purposes you would not agree with, it can be traumatic to your own psyche and deeply affect both your health and happiness, including how you treat other people and especially those closest to you.

Take some time, the holidays are coming.
Need a general term for autonomous intelligent decision making.
Photos sent on WhatsApp get so heavily reduced in size they are pretty useless for anything other than a glance at within a conversation
I mean, you're doing an "appeal to extremes" argument here... And I think it's a bit more subtle.

Almost everything we do as a consumer or worker in a capitalist market is tied somewhere down the line to a generally-agreed undesirable outcome somehow.

So the really tricky part that involves using your brain and heart is figuring out where that line is.

(And it's sad that in large part our voice in the world's operations is reduced to mostly ineffective "buy or not buy" ... )
Yes. So? What does that have to do with modeling measurements, i.e. the macroscopic process of humans doing experiments and observing the results?
AutoML: On the fallacy of many-shot in-context learning
> It’s not hard to imagine a neural net learning a more efficient way to encode and forecast the underlying physical patterns.

And that is where your understanding breaks down.

What makes weather prediction difficult is the same thing that make fluid-dynamics difficult: the non-linearity of the equations involved.

With experience and understanding of the problem at hand, you can make some pretty good non-linear predictions on the response of your system. Until you cannot. And the beauty of the non-linear response is that your botched prediction will be way, way off.

It's the same for AI. It will see some nicely hidden pattern based on the data it is fed, and will generate some prediction based on it. Until it hits one of those critical moments when there is no substitute to solving the actual equations, and it will produce absolute rubbish.

And that problem will only get compounded by the increasing turbulence level in the atmosphere due to global warming, which is breaking down the long-term, fairly stable, seasonal trends.
Never used WhatsApp business once, it’s always from fb messenger or iMessages where business talks
And you can’t run the cloud model at all if you can’t talk to the cloud.
What's YAML in this analogy?
Even in the bad old days you got your golden tickets every so often.

I was working on an alternative approach of using much smoother activation functions at much higher precision, 64 bits in production using GPUs and 128 in testing using CPUs. It worked well enough that I don't think the field would have slowed down much. The only issue is that we'd be working on networks that are 10 times smaller.
I have a silly question, and I'm going to shamelessly use HN to ask it.

In Kitaev's construction of the high purity approximation to a magic state, he starts with the assumption that we start with a state which can be represented as the tensor product of n mixed states which are "close enough". I don't understand where this separability property comes from. My (very) naive assumption would be that there is some big joint state which you have a piece of, and the information that I have about this piece are n of its partial traces, which are indeed n copies of the "poor man's" magic state.

Can I know more than that? There's lots of stuff in the preimage of these partial traces. Why am I allowed to assert that I have the nicest one?
There have been successful cases like this though. The Ho-Chunk of Wisconsin, more popularly known as the Winnebago (which is what a neighboring tribe called them), officially changed their name to Ho-Chunk (which is what they call themselves) in 1994. Part of this is also probably because that most people associate the name "Winnebago" with the RV brand rather than a people.
Designing in-context data or conversation seems to be a new engineering task.
Gemini multimodal live docs here: https://cloud.google.com/vertex-ai/generative-ai/docs/model-...

A little thin...

Also no pricing is live yet. OpenAI's audio inputs/outputs are too expensive to really put in production, so hopefully Gemini will be cheaper. (Not to mention, OAI's doesn't follow instructions very well.)
For those who are curious:

https://thepostmillennial.com/new-former-fbi-current-cia-say...
Everyone should have the benefit of the doubt. It's simply the right way to act. One doesn't act right towards people because they deserve it in some cosmic sense, but because it's the moral thing to do.
This is true for many but not all weather models.

GFS and IFS are both medium-range global models in the class Google is targeting. These models are spectral models, meaning they pivot the input spatial grid into the frequency domain, carry out weather computations in the frequency domain, and pivot back to provide output grids.

The intuition here is that, at global scale over many days, the primary dynamics are waves doing what waves do. Representing state in terms of waves reduces the accumulation of numerical errors. On the other hand, this only works on spheroids and it comes at the expense of greatly complicating local interactions, so the use of spectral methods for NWP is far from universal.
I think they are really overloading that word "Agent". I know there isn't a standard definition - but I think Google are stretching the meaning of that way thinner than most C Suite level execs talk about agents at.

I think DeepMind could make progress if they focused on the agent definition of multi-step reasoning + action through a web browser, and deliver a ton of value, outside of lumping in the seldom used "Look at the world through a camera" or "Multi modal Robots" thing.

If Google cracked robots, past plays show that the market for those aren't big enough to interest Google. Like VR, you just can't get a billion people to be interested in robots - so even if they make progress, it won't survive under Google.

The "Look at the world through a camera" thing is a footnote in an Android release.

Agentic computer use _is_ a product a billion people would use, and it's adjacent to the business interests of Google Search.
> I don't need his approval or permission to use his experience.

But you are using his experience to justify your own positions. I’m just pointing out that you’re merely speaking from authority that you don’t have just because you know some guy. That’s your dismissal speaking from a position of assumed knowledge you don’t actually have.

Also, it’s strange you consider polite disagreement to be intolerance. I’m not shooting you or advocating violence, I’m merely saying I think your logic is dumb. That you seem to equate the two the level of discourse you are bringing, not me.
Congressional Republicans conclude SARS-CoV-2 originated in a lab leak