skysight-inc/HackerNews huggingface dataset:
They might pay for it indirectly. For example, Apple just signed a deal with OpenAI and I could imagine a future where users of Apple devices get free access to some AI because Apple and that company made a deal.
Google actually provides means of validating whether a request really came from them, so masquerading as Googlebot would probably backfire on you. I would expect the big CDNs to flag your IP address as malicious if you fail that check.

https://developers.google.com/search/docs/crawling-indexing/...
Which is why I went paleo after 2.5 months minus oxalates. I honestly have concerns about stomach cancer (family tree) and it allowed my to substitute coconut oil for a lot of the animal based fat I needed to consume for those 2.5 months. It is hard to do 20% of your calories in animal fat (male) and 30% (female) to maintain hormone levels. I don't know if those are hard and fast rules but they were the generic guidelines given to my by my PA.
I mapped almost every USA traffic death in the 21st century (UPDATED MAP)
the future of US is most likely some sort of Brazil with lots of gun violence
Y'all said to tippefy it. Thanks to hotgarbo for sending an example of how to do this.
$ curl -v "https://maps.apple.com/?ll=41.77708546284588%2C-122.51487365..."

....

< HTTP/2 302
< server: AkamaiGHost
< content-length: 0
< location: https://maps.google.com/?ll=41.77708546284588%2C-122.51487365132222&spn=0.04999999999999005%2C0.11502863436983546
< expires: Thu, 25 Jul 2024 18:58:00 GMT
< cache-control: max-age=0, no-cache, no-store

That's on my linux laptop, but I'm in the UK, I suspect geo and akami makes a difference
Personal attacks are definitely going to get you banned again on HN so please don't post anything more of the sort.

See also https://news.ycombinator.com/item?id=41072117.
I like this app but I'm not completely satisfied with its generation algorithm. The penultimate difficulty (Hard) is too easy. And the top difficulty (Challenge) always requires guessing/backtracking. But to me backtracking feels more like busywork and less like a fun puzzle. I wish there was an in-between that had more challenging puzzles but without any guesswork.
It feels utterly absurd that devices typically have certain keys are baked in, cannot be removed. I believe there are still Microsoft keys on nearly every device?

It's unconscionable to tell users this is here to keep you safe, but that you have no control over it & if something goes wrong well then too bad, at best we might provide an update.

(Also that governments can probably force these root-of-trust companies to sign payloads to circumvent security is also pretty icky to me.)
Please don't cross into personal attack, no matter how mistaken someone is or you feel they are. It's not what this site is for, and destroys what it is for, and we have to ban accounts that do it.

If you wouldn't mind reviewing https://news.ycombinator.com/newsguidelines.html and taking the intended spirit of the site more to heart, we'd be grateful.

Edit: it looks like you've been using HN comments primarily for political or ideological battle. That's not allowed here, regardless of your political views, and we have to ban accounts that do this as well, so it would be good if you'd please stop doing that. (For more explanation, see https://hn.algolia.com/?sort=byDate&dateRange=all&type=comme....)
Google spent $22 billion on stock-based compensation in 2023 [1]. That's over 1% of the stock of the company transferred to employees in one year.

Now, many people probably sell that stock as soon as they can, so the employee ownership isn't cumulative over the years. But it would be quite hostile to employees to stop them from doing this in an effort to make the company more employee-owned.

[1] https://abc.xyz/assets/52/88/5de1d06943cebc569ee3aa3a6ded/go...
Are you planning to offer a search API at some point?
Current search is great for facts, alright for generic questions, and annoying for answering something. AI has almost the inverse balance, pairing the two is a decent savings (and also what Bing/Google are trying to do from the opposite end of things).

Whether this gets AI out of being a money pit remains to be seen.
As a total cluebie on generative art, I would assume that the neural networks involved use linear weights and ReLU only. If the training data and the output are in RGB pixels, then it would be reasonable to suppose that this introduces some bias.

It may not be enough to use a perceptual color space only. The gradients in skin tones, or any other complex texture, are non-linear due to lighting and curvature.

Is there someone in the room who does know how things work, and whether this hypothesis is wrong or not?
Pedalled or peddled? :)
That's a pretty big oversight on their part. But when I'm in a tight spot (like train service is ending late at night) I've had CityMapper save my ass a few times when Google was showing me inaccurate information. This has mostly been in NYC and London.
Nix is trying to be like macOS's DMG but its image file is bit more parse-able.
That's true. The interesting thing is how D&D creates branching trees of inverted periods, scene by scene and character by character.

In great fiction, IMO, there's usually something big that you are not certain of yet that makes it propulsive. Sometimes it's "which hard choice will the character make in a given scene?" D&D offloads that decision to the players.

With journalism and I guess alt text, you have one big inverted pyramid, and then a recipe for sentence structure that attempts to pack all the relevant facts in for each node. It's actually trying to front-load how it eliminates the unknowns.

https://en.wikipedia.org/wiki/Five_Ws
> going after Google’s core biz

Meta is out to commodotize Google's core product (Search). Meta's foray into Open Source AI is likely to hurt more as Google's distribution advantages (via Chrome and Android) is close to insurmountable for one rival search engine to make any meaningful dent by going toe-to-toe.
Chemical Analyses Find Hidden Elements from Tycho Brahe's Alchemy Laboratory
This is really cool. I've already implemented it in one of my tools (I found it to work better than the Turndown/ Readability combination I was previously using).

One request: It would be great if you also had an option for showing the page's schema (which is contained inside the HTML).
Same. I learned reverse engineering by staring at CE/IDA for entirely too many hours as a kid, which means whenever someone asks me for advice on how to learn reverse engineering I don't really have any good answers :)

I think in reality it's the type of thing you do just have to try and spend some time on. The OP tutorial comes across as very sparse, both trying to cover too much and also not really teaching reverse engineering skills more than most people would be able to pick up in a few hours of messing around. beginners.re in contrast is massive, but also much more in-depth and goes step-by-step; on the other hand crackmes are probably better hands on challenges to try.
Maybe SEO will finally die. A man can dream.
The entry here for Perplexity is the one that got a lot of attention but it's also unfair: PerplexityBot is their crawler, which uses that user agent and as far as anyone can tell it respects robots.txt.

They also have a feature that will, if a user pastes a URL into their chat, go fetch the data and do something with it in response to the user's query. This is the feature that made a big kerfuffle on HN a while back when someone noticed it [0].

That second feature is not a web crawler in any meaningful sense of the word "crawler". It looks up exactly one URL that the user asked for and does something with it. It's Perplexity acting as a User Agent in the original sense of the word: a user's agent for accessing and manipulating data on the open web.

If an AI agent manipulating a web page that I ask it to manipulate in the way I ask it to manipulate it is considered abusive then so are ad blockers, reader mode, screen readers, dark reader, and anything else that gives me access to open web content in a form that the author didn't originally intend.

[0] https://news.ycombinator.com/item?id=40690898
> If no one else does it soon I'll probably do it myself: we're long overdue for the ad-block of LLM output. I want a browser plugin that nukes it at the DOM, and I don't care how many false positives it has.

Well, if you don't care how many false positives it has, just block everything. But there's no even remotely reliable way to detect LLM output if it isn't deliberately watermarked to facilitate that, so you aren't going to get anything that is actually good at that.
> one way you'd sell it is by mentioning that an object can couple logic and state

Depends on the OOP paradigm. This is not always the case.
I included real life as an intentional qualifier. I know that quacks, grifters, and criminals exist.

The fact that they exist doesn't bother me. Some will always exist. What matters is how common it is and what the average experience is.

I don't think most doctors treat their patients the same as Stella Immanuel. Same for the two doctors that perdue was convicted of bribing
I don't think this is true, or at least I'm not convinced by a single anecdote. The majority of good reverse engineers I know picked up reverse engineering first and programming second (and a lot of them are still frankly not great programmers), and likewise I know plenty of good programmers who would be completely lost reverse engineering. Reverse engineering is a very different skillset than programming.
> One-dose nasal spray clears toxic Alzheimer's proteins to improve memory

Get to Biden, fast.
Again, it is not the simple fact of a dominant majority that make a country an ethnostate; it is this plus legally codified structures of dominance. The article on the subject is under 'ethnocracy' not 'ethnostate':

https://en.wikipedia.org/wiki/Ethnocracy

There may be other countries in the region which satisfy this definition also, or fall on the spectrum; I do not single out Israel for criticism in this regard. The topic only came up in regard to the events 1947-1948, specifically the UNPPP -- and why the indigenous populace were not exactly celebrating this proposal or its likely consequences (which are of course now their day-to-day reality).

In regard to those consequences, specifically: the creation of an ethnostate on a large portion of their ancestral homeland; dominated by foreigners, and intrinsically and permanently hostile to their well-being and their right of self-determination.

Which they naturally opposed, as any self-respecting people would.
The internet you are using right now was created by public funds.

Compilers, which you work with your whole life, came from research done by public funds.

Most medical research has been done with public funds.

Radios, modems, every single piece of networking we currently use was first researched by public funds.

We can keep cherry-picking examples if you wish go down this road, it doesn't foster much of a deeper discussion though if you are going to keep your dogma.

Public funding is necessary, private funding is necessary, what kind of system we can create that enables the best out of both worlds to evolve and be better? That's a discussion I'd like to see, this end of history bullshit is too boring, and tiring to discuss.

Capitalism as it is has empirically shown it's not the best system humanity should rely on, it has its advantages, it has major flaws, admitting that is a pretty good first step into trying to look what's next, how do we go from here. It's destructive, it's inhumane, it's simplistic, it will become a relic just like any other system that came before.

Being dogmatic about it doesn't take us anywhere, it just conserves a status quo which is not the best we can achieve.

As usual, I think you are a bright person, Walter, you've done tons and achieved a lot more than most, but keeping this dogmatic narrow-view of the world certainly pains me, exactly because you are the kind of mind that should be able to see through the bullshit...
Well in this case, the company has more than quadrupled its profits since he sold the company. The new employee owners have done a phenomenal job running it.
Please do not throw the accusations of malintent when the truth presents otherwise, by not just a 10 minute walk.

Here is an excerpt from the Judicial examination of the nature of Israeli state by it's own judges.

>At their center stands the right of every Jew to immigrate to the State of Israel, where the Jews will constitute a majority; Hebrew is the official and principal language of the State.

The state forces the nature of State, and it's principal language, on what was predominantly an Arab place, with settlers Speaking Yiddish, German, Polish and Russian. Moreover it gives a right to unchecked immigration to one ethnicity.

And it moves it's own population to occupied areas in West Bank, with freedom to carry and use assault weapons, and to Golan heights, etc in violation of humanitarian and legal aspects.
Last I looked (several versions ago) RLS for `UPDATE`s was not great. Checking now... I see the same problem remains for `UPDATE`s, that you can't see old and new values for the affected row in the policy code. The workaround, when you need to see the old and new values, is to use a `TRIGGER`.
Have you used perplexity? It is very useful, I rarely google stuff any more.
It's a natural consequence of size. Openai with 1200+ employees will have more projects running in parallel (and at different speeds) than Anthropic with ~500.
> To this day, key players in security—among them Microsoft and the US National Security Agency—regard Secure Boot as an important, if not essential, foundation of trust in securing devices in some of the most critical environments, including in industrial control and enterprise networks.

Am I correct that Secure Boot purely exists to prevent this attack vector: malware gets root on the OS, hardware allows updating firmware via OS now owned by malware, but Secure Boot means you have to wipe only the hard drive instead of the firmware to eliminate the malware.

It seems like it would be a lot simpler and more reliable to add a button to motherboards that resets the firmware to the factory version (on memory that can't be written by a malicious OS).
To what extent is the training and structure of AlphaProof tailored specifically to IMO-type problems, which typically have short solutions using combinations of a small handful of specific techniques?

(It's not my main point, but it's always worth remembering - even aside from any AI context - that many top mathematicians can't do IMO-type problems, and many top IMO medalists turn out to be unable to solve actual problems in research mathematics. IMO problems are generally regarded as somewhat niche.)
Well, there's SEO and then there's SEO. Some of it is just common-sense stuff to aid search engines a bit, and that benefits everyone. And then there's SEO which is all the bullshittery you're referring to.

For well over a decade the best SEO trick is to write helpful useful content.

Your small independent blog can become a top Google hit without too much effort. This is kind of neat.
Articles 6,12, and 19 of the U.N. Universal Declaration of Human Rights
Important Caveat: If you've found a fungus that ain't on that list - that does NOT mean it's safe to eat!
AI produces gibberish when trained on too much AI-generated data
Slowly? Google gave up quality searches years ago
That and they love to charge overdraft fees to accounts that don't otherwise make them a ton of money for the privilege.
TL;DR: Typescript is unsound so it can add a lot more type-level features that would make a sound type system undecidable

Conceptually no, almost every useful union type can be easily converted to a sum type. In my opinion the difference is in the ergonomics and in the implicit structural subtyping.

For example a common union type is number|string, and the beatiful part is that to use a value of such a type you do not need to do any matching or mapping you can just use the value as it does not have a runtime wrapper, for example (x:string|number)=>JSON.stringify(x) works perfectly fine.

Also you can have a function that takes as input a Array<string>|number|null and returns a string|number without having to declare different contructors for the input number type and the output number type

I believe that you can essentially implement this behaviour by generating enough typeclasses in Haskell, but regardless of the feasibility it, likely, would not be a good idea.

An example of something in between union types an Hindley–Milner sum types are Ocaml's polymorphic variants types https://ocaml.org/manual/5.2/types.html#sss:typexpr-polyvar that are (I believe) more advanced than TS unions but also a lot less ergonomic to use.

And TS has much more eg intersection types you could have a function with type

(x:number)=>string & (x:string)=>number

meaning that it is both a function that maps number to strings and strings to numbers (again you can do this with typeclasses but it is a worse experience)

typescript also has very good support for value types for example there is the string type but also the "hello" type which is the type of only the string "hello"

All in all if someone told me that they implemented typescript in haskell typeclasses I would not call bullshit on them, but I would not believe that anyone would actually use it for anything
>Google has been slowly changing that trade by displaying more and more of our sites on google.com rather than sending people our way.

To an extent, I actually like the trend as Joe Average User.

Most websites are just plain filthy and even dangerous today. I know I am not opening any link to a website I don't already know and trust unless it's in a Private window (fuck their cookies) with JavaShit more than likely blocked. If it's really shady I'll fire up an entire disposable VM for it first.

Google, Bing, et al. just putting the content right then and there saves me time and hassle from dealing with the ancillary garbage myself.

It's honestly a tragedy of the commons. Big Tech wants more traffic and to keep it, websites want more traffic and just throw whatever literal shit they can muster (aka SEO).
The article says

> AlphaProof solved two algebra problems and one number theory problem by determining the answer and proving it was correct.
Please don't respond to a bad comment by breaking the site guidelines yourself. That only makes things worse.

https://news.ycombinator.com/newsguidelines.html

Edit: it looks like you've been repeatedly breaking the site guidelines in other places too:

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

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

If this keeps up, we're going to have to ban you. We've had to warn you about this quite a few times in the past, and it's not cool. If you'd please review https://news.ycombinator.com/newsguidelines.html and stick to the rules when posting here, we'd appreciate it.

(Btw I've warned the GP in a couple other places in this thread, just in case it seems like the mods are taking sides)
Researchers need to better address time-of-day as a critical biological variable
any approximation gives a bound on the error.
You can do things "the right way" (find sources, critically think about the info) in either (or other things like books), the common denominator is the person using the tool not going off the first thing they read from the tool as gospel.
Fundamentally the problem here is that in many (maybe about half of) search cases people are not ultimately interested in visiting a website, they are interested in a piece of information on the website. The website is essentially a paywall for that information. The website is a middleman, and middlemen can be easily disrupted by a better one.

So what we really need here is a new approach to funding the availability of information. Unfortunately, ads are fairly lucrative because advertisers are willing to pay a lot more than users are. You could I guess do something where SearchGPT pays a couple of cents out of a monthly fee to each information source it used. Much harder with LLMs, since the source of information is potentially very diffuse and difficult to track. And even if you tracked it each publisher would get such a tiny fraction of what they are making now.

But the difficult part for web publishers is that AI powered information retrieval is a significantly better user experience, which means it's very likely to win no matter what.
This is a dangerous falsehood. OpenAI's since-cancelled polygraph had a 9% rate of false positives, and a 26% rate of true positive. If I can lose a quarter of toxic bytes and need to enable JavaScript on one site in ten? Count me in!

I want more false positives.

https://openai.com/index/new-ai-classifier-for-indicating-ai...
That's amazing. I was just about to comment that hooking this up to Lean [1] would be killer. This must be the way forward for higher math, as proofs are getting so complicated that almost no one understands all pieces of major proofs.

1. https://lean-lang.org/
I'm having strange nostalgic flashbacks the '90s where I kept wondering why nobody offered a hard drive with a physical read-only toggle button. (Mounted to the front of the 5.25 inch bay in a tower chassis, as was the style of the time.)

Obviously you need some read+write storage elsewhere on the same computer, but you could reliably freeze large chunks of stuff in a way that would be impervious to viruses or hackers.
Bad News for Universal Basic Income
and we don't have 100% accuracy in translation in ambiguous texts, because system often need some domain knowledge, context etc. And math has 0% tolerance to mistakes.

I also expect that math formalized by machine will be readable by machine and hardly understandable by humans.
One would bind the macroexpand hook variable around the call to COMPILE or COMPILE-FILE for that code. The binding goes away after that. It wouldn't be global at all.
You could maybe still only follow robots.txt rules for Googlebot.
been out of the space for a bit (though interviewing again, so might get back into it), gvisor at least as the "userspace" hypervisor, seemed to provide minimal value vs modern hypervisor systems with low overhead / quick boot VMs (ala firecracker). With that said, I only looked at it years ago, so I could very well be out of date on it.

Wasn't aware of Nabla, but they seem to be going with the unikernel approach (based on a cursory look at them). Unikernels have been "popular" (i.e. multiple attempts) in the space (mostly to basically run a single process app without any context switches), but it creates a process that is fundamentally different than what you develop and is therefore harder to debug.

while the unikernels might be useful in the high frequency trading space (where any time savings are highly valued), I'm personally more skeptical of them in regular world usage (and to an extent, I think history has born this out, as it doesn't feel like any of the attempts at it, has gotten real traction)
Related discussion (252 points, 1 day ago, 176 comments) https://news.ycombinator.com/item?id=41058194
> They use google and other search providers to run the query over the results and may be they still can find a good provider.

No they don’t? AFAIK they have their own crawler and semantic search index.
just so that it is clear for everyone, including newbies here, does the insta-load code snippet work like this:

the author has encoded the wat module's source code into base64. the snippet shown decodes that back into python code, and then executes it on the fly, thus having the same effect as importing the wat module in the normal python way?