skysight-inc/HackerNews huggingface dataset:
If one of the lessons of LLMs was that much of "common sense" is covered in the written language corpus - that is, perhaps, basic human intelligence is covered by language.

Then, should we expect less with mathematics where written language is the normal way knowledge is propagated, and where formal proofs are wanted? An important distinction here is the coupling of search (not LLM for this one), a formal math language, and theorem proving. Math intelligence may not be merely the math written corpus, but adding the formal language and theorem proving sounds pretty powerful.

All this still lacks self-directed goals. An intention. For now that's taken care of by the human asking questions.
>People with websites used to have a clear reason to allow bots to crawl and index our sites

For a long time now, that reason was to show ads and the content quality was very, very low. It destroyed journalism, it destroyed everything pretty much. Some of the blame is on Google but a lot of the blame is on the people with websites IMHO.

People with websites can go back to the good old days when they made websites to show off their talents, persuade people into activism, spread ideas and seek interaction with likeminded humans.

LLMs have the problem of hallucinations but when that's solved I wouldn't be looking back. Hopefully, Google itself would be disrupted.

Maybe we can finally have a business model for high quality data, like journalists selling their work on current events without the need to present it in the most bombastic way possible?

I think the world currently is in strong need of a way to process large amounts of data streaming in and make sense of it. AI can be very useful of that. I would love to have access to an LLM that can keep up with the current events so I don't have to endure all the nazi stuff on Twitter.

I don't want censorship it's just that I would be perfectly happy to know that there are bunch of people thinking that Biden was replaced and that there are some other people thinking that Michelle Obama is actually a man without have to read it like 100 times a day when I'm trying to look at the opinions of the people on something. It's cool to know that there are such people(or bots?) out there but I don't want to read their stuff, I want to the computer to on top of all that and give me a brief on, then I can drill down if I want to know more or see the exact content.
This just reads like denial to the point of magical thinking, to me. "Nuh uh, I can't die, I would think of a way to not die and then do that!"
I think the difficulty of this approach is the huge imbalance in population north and south of London. While the Portsmouth/Southampton/Bournemouth area is around 2M, the Birmingham area is about 5M and HS2 will likely also end up serving trains from Manchester and Liverpool (combined 7M) and Glasgow (2M). There just aren't enough places south of London for all those trains to go.
This is really crisp work and nice to see. Before the Zynq era I worked with some designs that used a DSP or StrongARM along with a medium-sized FPGA, where the FPGA would be both the glue logic for RAM as well as custom peripherals, but I've been out of that world for a while. It would be fun to find an application for a big FPGA and a modern microcontroller.
rich.inspect has been my go-to for this. Comes pre-installed in a vanilla Colab kernel too
Even though placeholder copy is common in promos, a search engine demo is the one case where you need completely accurate copy.
appreciate the post but... is this a problem? i'm a euro software dev and i've never even heard of gaia-x

if this gaia-x thing dies (or not), organizations in europe will carry on using AWS, Azure etc without noticing or caring, no?
> Replacing Lisp's beautiful parentheses with dozens of special tools and languages, none powerful enough to conquer the whole software landscape, leads to fragmentation and extra effort from everyone, vendors and developers alike. The automotive field is a case in point.

This completely ignores Haskell.
Search is a familiar interface and chat is a bit janky sometimes.
Exhibit number one :)
say you want the median value since the beginning of the day for a time series that has 1000 entries per second, that's potentially hundreds of gigabytes in RAM, or just a few variables if you use a p-square estimator.
Isn't that a vulnerability that still requires physical access to hardware?

Or is that just a protection against rootkits?

I still fail to understand what secure boot is protecting against: if a machine is compromised remotely, does secure boot prevents installing a rootkit that's invisible from virus scanners?
This shows a major gap in AI.

The proofs of these problems aren't interesting. They were already known before the AI started work.

What's interesting is how the AI found the proof. The only answer we have is "slurped data into a neural network, matched patterns, and did some brute search".

What were the ideas it brainstormed? What were the dead-end paths? What were the "activations" where the problem seemed similar to a certain piece of input, which led to a guess of a step in the solution?
A use case is code coverage: you can instrument your code by compiling it in a dynamic environment where the hook causes extra coverage recording code to be inserted. You'd like to be able to do this without changing the source code itself.
> My point is that you're attacking a position that no real critic holds

I'm not so sure. I wrote my comment after seeing quite a few comments on other threads here that read like fancy versions of "this is just brute-force search over cleverly pruned trees." Search the other threads here, and you'll see what I mean.
Potentially. Given the latency and the cost/compute we put into each result, it doesn't fit the usual API mechanics.

What use case are you thinking of?
I like Timothy Snyder's thoughts on freedom. Freedom is not a natural state of being, it requires work.

It turns out we've been living on the tragic and slippery slope of the commons; politicians and media figures are incentivized to use low information tactics to motivate people.

Solving game theory doesn't stop the game.

https://www.youtube.com/watch?v=_LkXsW14qJQ

https://www.youtube.com/watch?v=O2f97SFlTsg
Having service workers that are invested in the company and provide great service is essential to any service buissness. Sure any individul isnt single handet gone make your stock go up, but collectivly they do. The same as most engineers.
NodeJS is the ChatGPT of JS.

Eventuall they add the feature something else has, and then everyone uses it again instead of the other thing.
Seer – a GUI front end to GDB
You have some points, we're not at the third-world-style slums level and yet there are people with jobs (sometimes two) who live in their car. That should give you some pondering to do. The situation is worse than it seems, there are more and more people living from paycheck to paycheck mainly due to very high cost of housing, some of them very close to becoming homeless at any time without having any drug problems or serious mental health problems. Some are depressed, yes, but you would to if you were in a similar situation with no hope of things getting better, because things are actually getting worse...
A consistent problem I’ve noticed with Graeber is that he seems to attract strident critics who don’t appear to have done more than skim the book they’re criticizing—and maybe not even all of it. It’s as if they read some sentence they don’t like, then red-out from anger for a few pages, then keep going and soon it happens again.

It’s really inconvenient if you’re actually interested in reading good-faith commentary on his work.
Thanks! We changed to that from https://scontent-sjc3-1.xx.fbcdn.net/v/t39.2365-6/452604312_... above.
Slightly OT but in the end I think this is what people ultimately want and how the internet will morph into because 99% of Google results for many queries just want to spam you with ads
>how much effort does it take really?

Depending on the query, substantial effort.

I know I've taken to just asking Bing (read: ChatGPT) if I just want something answered (FSVO answered) because sometimes I just don't feel like speaking Search Engine across multiple attempts to try and find something.
> Are you willing to let people starve to death?

How is this any different from how things work now? “UBI”, to me, and in a society where work is largely a non-human task, needs to encompass housing, food, etc. In a world where jobs don’t exist in the way they do now, UBI needs to be a stop gap while we completely overhaul what it means to have an _economy_.
Hmmm, that'd be an interesting startup idea!

How do ad blockers work exactly?
The problem with Rabbit R1 and Humane is that we're still a massive gulf away from a competent human personal assistant who I can rely on to understand what I'm saying and use common sense and reasoning to respond and perform tasks reliably.

This feels like the same thing. If I ask my assistant about "music festivals in Boone North Carolina in august" and they give me 5 results, 0 of which actually match what I asked for I'm throwing my hands up and never asking them for help again.

I use LLMs all the time, regularly throughout every single day, at work and home, and sometimes I really struggle to articulate what they're good at, but this doesn't feel like it. LLMs are really good at talking, so they're easy for casual users to interact with, and we keep seeing products which try to use them to "take away the friction" of various tasks, but I don't think that's it. I think they're at their best when used deliberately and critically.

I think that GPTs were a good product, but not a popular one because most people haven't thought of a need which GPTs would fill. Search is a problem that everyone knows is a need and since "google sux" now its one that is ripe to be filled by a competitor. But I don't see how this is a real improvement, the problem with search is that the results are worse, not that they need to be summarized in a more friendly and accessible voice.
I will give OpenAI credit for having a capable product team that builds on top of the existing models.

As much as I love Anthropic (the only AI company I pay), they seem to be investing almost nothing in pure product orgs. No way to manage chats, memory usage is very high on the web ui (700mb claude vs. 100mb chatgpt on my mac), artifacts can be very hit or miss. They've been hiring the brightest ML people, time to build some strong product orgs (I nominate myself, DM me anthropic people)
I'm not sure what the intent of your reply is... I pretty much stated as much in that they need to have a place to go in order for clearing to be effective or meaningful. Shelters don't work, generally for a number of reasons that I and others have brought up. I never suggested anyone will/should die for my convenience.
I wonder how this will compare to Arc's "Browse for me" feature–at least for a single search (I don't thing the chat-based interface will be much of a value add here beyond just running a second "Browse for me"/SearchGPT). I really like the "Browse for me" feature, but only in specific cases, and I don't think I'd ever use it if it was a standalone app and not a built-in feature of Arc that also lets me run a quick google search.
OP here: Thanks for changing the title as well!
That sounds correct, but even the savviest of users might not be aware they have malware installed when they decide to re-install windows. If cleaning malware requires pressing a button on the MOBO then I can imagine only a single-digit percentage of users will actually click it.
It seems to work for me. Can you elaborate on the problem you're seeing?
Maybe it's just me but I just use a proper debugger. Debugpy and VSCode work fantastically.

In a previous company I set things up so that when there's an uncaught exception it will automatically start a VSCode debug session and connect to it.

Here's the extension: https://github.com/Timmmm/autodebug/

Unfortunately the Python part of that is not open source but it was only a few lines of code - should be easy to recreate. That repo does contain a C library that does a similar thing.

You might just say "why not just run your program directly with the debugger?" and yeah that is better when you can do it, but I'm working with complicated silicon verification flows that are often several layers of Python and Make, followed by a simulator (e.g. Questa or VCS) that itself loads the library you want to debug. Very difficult to make debugging work through all those layers, but it's quite easy to write some code at the bottom of the stack that says to a debugger "I'm here, debug me!".
Oh, the title was changed to international math Olympiad. I was reading IMO as in my opinion, haha
Impact of AI
It is worth $1BN because people who invested in it, think it is worth that much.
That's assuming you don't have any customers. Those will just directly name your restaurant. I guess the only way to attract new customers would be word-of-mouth, or some other form of advertising.
For a cloud customer, the networking side might be as simple as "run a few replicas in different regions, and let the load balancer deal with it." Or only different AZs. The database problem is much harder to sign away as someone else's job.
Ask HN: Databases that use SQL but are usage based like DynamoDB?
Looking for a database that uses SQL/ postgres extensions as its interface and has a usage based model like DynamoDB. I quite like DynamoDB since it frees me up from thinking about instance types, memory requirements or whatever.
Sure, but the QA cost to support Firefox is significantly higher than the small fraction of people that will refuse to use a site that doesn't support it when they encounter an issue.
I have the same touchpad-like behavior. Not using Gboard though.
IOI problems are more close to IMO combinatoric problems than other IMO problem types. That might be the reason for that delay. I personally like only combinatoric problems in IMO. Thats why I drop math track and went IOI instead.

I feel why combinatoric is harder for AI models is the same reason why LLM's are not great at reasoning anything out of distribution. LLM's are good pattern recognizers and fascinating at this point. But simple tasks like counting intersections at the Venn diagrams requires more strategy and less pattern recognition. Pure NN based models seem won't be enough to solve these problems. AI agents and RL are promising.

I don't know anything about lean but I am curious that proof of combinatorial problems can be as well represented as number theory or algebra. If combinatorial problem solutions are always closer to natural language, the failure of LLMs are expected. Or, at least we can assume it might take more time to make it better. I am making assumption in here that solutions of combinatorial problems in IMO are more human language oriented and relies on more common sense/informal logic when it compared to geometry or number theory problems.
What browser? Works in safari and Chrome (latest and latest) on macos. Genuinely curious what isn't working as that seems like a real mistake.
Good news! According to Swift Package Index [0], Tiny Moon is already compatible with Linux environments.

0. https://swiftpackageindex.com/mannylopez/TinyMoon/
Book links are not working for me, did you get the HN hug of death?
What Rupert Murdoch Owns, and How He Built His Media Empire
I have no data to back this up, but I strongly suspect 90% of search traffic consists of dumb searches for things like, "facebook", "weather tomorrow", "gmail".

While people do search for things that could benefit from some comprehension, I don't think that's a common feature.

For example, my most recent searches and I'm probably a bit of an outlier given my usage:

"given when then"
"[some project] github"
"[some person] wikipedia"
"[some person] wikipedia"
"act of supremacy wikipedia"
"NVDA stock"
"django docs onetoonefield"

Perhaps one of those Wikipedia searches could have been done better as an AI search since I wanted to know something specific, but other two were just from wanting to read generally about a topic.

The benefits I get from ChatGPT and similar tools are more conversational than search like. Eg, I might be trying to solve a coding problem and want some suggestions about how I might go about it. I might act for libraries, example code, and pros and cons of different approaches. I basically use it as a replacement for another senior engineer which I can bounce ideas off of, it's not for search / knowledge type stuff and I can't see why I'd ask an AI for that. If I want to know something I can just type a few keywords into google and find a reputable site that for that info.
OpenAI announces AI-powered search tool SearchGPT
Audacious with a Winamp skin is close enough that it has replaced the need to have Winamp proper on my Linux workstations. Mostly because I want MPRIS integration, but also because I just can't be bothered to setup WINE or Crossover these days.
https://news.ycombinator.com/item?id=41071639
React Native Database Performance Comparison
Blockchain madness, crypto madness, AI madness, I wonder what's next.. I got used to hype cycles by now and am very skeptical of what they say. It's more interesting to see what ended up staying with us after the hype cycle subsided...
I'm just putting this Alan Kay question (from Stack Overflow) here because of relevance.

In that question, he's considered not with implementation or how good the execution of an idea is (which is certainly one type of progress), but in genuinely new ideas.

I don't think I personally am qualified to say yes or no. There are new data structures since then for example, but those tend to be improvements over existing ideas rather than "fundamental new ideas" which I understand him (perhaps wrongly) to be asking for.

https://stackoverflow.com/questions/432922/significant-new-i...
No, thats illogical.

The action is indeed prompted by a human, but so is any crawl in some way. At some point they either configured an interval or other trigger to send the script to the Web host to fetch anything it can find.

It's inherently different to extensions such as adblockers that just remove elements according to configuration.

After all, the users device will never even see the final DOM now. instead it's getting fetched, parsed and processed on a third device, which is objectively a robot. You'd be able to make that argument only if it was implemented via an extension (users device fetched the page and posts the final document to the LLM for processing).

And that's ignoring the fact that adblockers are seen as illegitimate by a lot of websites too, and they often try to block access to people using these extensions too.
> you must not live in a city or suburb then?

I don’t live in the US. Maybe that’s the difference?
GM's Cruise looks to start charging for robotaxi rides next year
It's nice to see the Principle Of Least Access (POLA) in practical use. Some day, we'll have operating systems that respect it as well.

As more people wake up to the realization that we shouldn't trust code, I expect that the number of civilization wide outages will decrease.

Working in the cloud, they're not going to be able to use my other favorite security tool, the data diode. Which can positively guarantee ingress of control, while still allowing egress of reporting data.
Maybe https://neon.tech/pricing ?

What do you mean by usage model?
I probably ask Alexa how many oz in cup or how many cups/oz in a gallon once a month but have yet to commit it to memory. I have no need to memorize this stuff when I have the internet available.
Robotics is sexy and there's no reason not to dive in, but I'd suggest also learning some of the fundamentals. Learning how control algorithms work is incredibly important and I'm thinking you could probably find some examples of building a simple application for a PID controller where your kid can directly manipulate the values and see how it responds. You don't need to go really deep into the math necessarily, just objective of each parameter and how they influence the behavior of the system.
Mount those paths that you care about to local filesystem. Otherwise, you're always one `docker system prune -a -f --volumes` from a disaster.
that's weird, searching for gas stations worked fine for the developers in Cupertino
> Short commit IDs are not GitHub feature, they are git feature.

They're a local feature sure. But you already have a list of local commits, just open the .git directory.

Can you connect to a vanilla git server and enumerate every single hash?

> Maybe they should include additional clause about forks there.

It would help but they need much more than a clause about forks.

Ideally they would purge that extra data when making something public.
Does this mean Greek Culture is better or simply different? I think that’s the real question. And also better for whom? It’s a judgement call. You can find communities (small towns) that are much closer to this style of thinking than in cities like LA or NYC.
He's suggesting people voluntarily put the equivalent to those "smoking kills" warning labels on their own "packs of cigarettes".
> No, you can have availability and consistency as long as you have enough replicas.

You've misunderstood the problem.

You cannot be consistent if you cannot resolve conflicts, taking writes after a network partition means you are operating on stale data.

Honestly the closest we've ever gotten to solving CAP theorum is spanner[0], which trades off availability by being hugely less performant for writes. I'm aware spanner is used a lot in google cloud (under the hood), but you won't solve CAP by having hundreds of PGSQL replicas, because those aren't using Spanner.

In fact, you can test it out, ElasticSearch orchestrates a huge number of lucene databases, a small install will have a dozen or so replicas and partitions, but you're welcome to crank it to as many nodes as you want then split off a zone, and see what happens.

I'm becoming annoyed at the level of ignorance on display in this thread, so I'm sorry for the curt tone, you can't abstract your way to solving it, it's a fundamental limitation of data.

[0]: https://static.googleusercontent.com/media/research.google.c...
Maybe you mean something like AWS RDS Serverless

https://aws.amazon.com/rds/aurora/serverless/
iFixit takes shots at Anthropic for hitting servers a million times in 24 hours
Perplexity style is definitely better than Google. I can't remember the last time I googled something.

Having it part of the OpenAI subscription, and assuming it will be accurate, I think Perplexity will have a problem.

Let's see how long the waiting will last, still waiting for Sora access!
Chrome on Linux, for example.
Yes indeed. But the point they keep making is that the agreement with the EU somehow stopped them from doing this. Which is BS.

They could easily have added a userspace API if they wanted to. It could have existed side by side with the kernel option, as long as they keep using that for Defender too. Only once they stop using kernel access in their own security products can they force the other vendors to use a new API, which makes sense. Otherwise they'd use it as a sales bullet point ("Our product has full system access, others don't"). Which would destroy the antimalware market. The US benefits from this too.
We sell text-to-image model finetuning (aka "Dreambooth") as a service and yes, this is one of the use cases.

Recently a travel agency used our platform to generate images of people in the destinations they were advertising.
Is there a slippery slope? Node -> Browser
Vagrant / Packer?
How would you compare your product to elicit.ai?

In my opinion elicit has better looking UI and much more features and further along