skysight-inc/HackerNews huggingface dataset:
Knowing is different to having a close relationship or a friendship. Irish people are well known for that.
> I'm not sure what point you are trying to make.

I’m not sure why people act coy when a straightforward mirroring of their own comment is presented. “What could this mean?” Maybe the hope is that the other person will bore the audience by explaining the joke?

> I don't look up to Freud and psychoanalysis doesn't work for everyone! I don't even necessarily recommend it.

Talking about your infant parental relationship as the be-all-end-all looks indistinguishable from that.

> > If you check, all the people who have this feeling of philosophical/ontological pessimism have a missing or damaged relationship with the mother in the first year or so.

.

> I'm not suggesting psychoanalysis specifically. Perhaps for others, CBT or religion or just a change in life circumstances will be enough.

Except for people who have “this feeling of philosophical/ontological pessimism”.

> > For them, not even Buddhism can help, since even the abstract idea of anything good, even if it requires transcendence, is a joke

Which must paint everyone who defends “suffering” in the Vedic sense. Since that was what you were replying to. (Saying that reality is suffering on-the-whole is not the same as “I’m depressed [, and please give me anecdotes about how you overcame it]”.)

> > The fact that these philosophies are dependent on the life situation to me is a reason to be a little sceptical of their universality. In my personal experience, in those 30 years of my life, I thought everyone thought the way I did, that reality was painful and a chore and dark and dim. Psychoanalysis helped me realise that other people actually were happy to be alive, and understand why I have not been my entire life.

I don’t know how broad your brush is. But believing in the originally Vedic (Schopenhauer was inspired by Eastern religions, maybe Buddhism in particular) concept of “suffering” is not such a fragile intellectual framework that it collapses once you heal from the trauma when your mother scolded you while potty training at a crucial point in your Anal Stage of development.

> YMMV = not everyone hates life

Besides any point whatever.
You don't have to correct everything all the time, especially if it is a sensitive matter. Correcting Covid information 2-3 years ago was a one way ticket to being cancelled everywhere, for example. One needs to accept that being right is not something to prove every single time. Remember Galileo.
Really awesome seeing more people work on this! I’m one of the founders of Opik https://github.com/comet-ml/opik which does similar things but also has a UI and supports massive scale. Curious to hear if you have any feedback!
Yes it fking does. The Bay Area and coastal Northern California is practically identical to Portland climate wise. Check a map of the PNW, nor cal is usually included.
Isn't the future uncertain since the creation of Bitcoin? I'd like to be obliterated like I've been with BTC going through multiple global crisis :)
Ukraine War ends

Gaza War ends

Still no Super Bowl for the Ravens

Gallup general mood[0] above 37%

Russel outperforms NASDAQ

No Quantum news

Inflation does not rise meaningfully (in US)

Relative stability in Syria

EU economy slows

Some North Korea news [1]

Year of the Linux Desktop [2]

[0] https://news.gallup.com/poll/1669/general-mood-country.aspx
[1] Nuke test and/or negotiations
[2] Joke
Yeah can we stuff an LLM in this distinctly no ML-required task...
I am writing a feed reader and I saved their posts about it to use as my implementation guidelines, got them printed and stuff.
As usual I wonder about cause and effect in these articles: balance is an indicator of health, so does practicing standing on one leg actually improve that?
You are right, the 'watch' ones are outlier podcasts, eg Lex Fridman, Rogan, Dwarkesh Patel, Tyler Cowen, The Diary of a CEO, Machine Learning Street Talk, Hoover Institute, and so on, but it is building momentum.
How is this a replacement for LangSmith? I browsed the source and I could only find what appear to be a few small helper functions for emitting structured logs.

I’m less familiar with LangSmith, but browsing their site suggests they happen to offer observability into LLM interactions in addition to other parts of the workflow lifecycle. This just seems to handle logging and you have to pass all the data yourself- it’s not instrumenting an LLM client, for example.
So here's what I'm perplexed about. There are statements in Presburger arithmetic that take time doubly exponential (or worse) in the size of the statement to reach via any path of the formal system whatsoever. These are arithmetic truths about the natural numbers. Can these statements be reached faster in ZFC? Possibly—it's well-known that there exist shorter proofs of true statements in more powerful consistent systems.

But the problem then is that one can suppose there are also true short statements in ZFC which likewise require doubly exponential time to reach via any path. Presburger Arithmetic is decidable whereas ZFC is not, so these statements would require the additional axioms of ZFC for shorter proofs, but I think it's safe to assume such statements exist.

Now let's suppose an AI model can resolve the truth of these short statements quickly. That means one of three things:

1) The AI model can discover doubly exponential length proof paths within the framework of ZFC.

2) There are certain short statements in the formal language of ZFC that the AI model cannot discover the truth of.

3) The AI model operates outside of ZFC to find the truth of statements in the framework of some other, potentially unknown formal system (and for arithmetical statements, the system must necessarily be sound).

How likely are each of these outcomes?

1) is not possible within any coherent, human-scale timeframe.

2) IMO is the most likely outcome, but then this means there are some really interesting things in mathematics that AI cannot discover. Perhaps the same set of things that humans find interesting. Once we have exhausted the theorems with short proofs in ZFC, there will still be an infinite number of short and interesting statements that we cannot resolve.

3) This would be the most bizarre outcome of all. If AI operates in a consistent way outside the framework of ZFC, then that would be equivalent to solving the halting problem for certain (infinite) sets of Turing machine configurations that ZFC cannot solve. That in itself itself isn't too strange (e.g., it might turn out that ZFC lacks an axiom necessary to prove something as simple as the Collatz conjecture), but what would be strange is that it could find these new formal systems efficiently. In other words, it would have discovered an algorithmic way to procure new axioms that lead to efficient proofs of true arithmetic statements. One could also view that as an efficient algorithm for computing BB(n), which obviously we think isn't possible. See Levin's papers on the feasibility of extending PA in a way that leads to quickly discovering more of the halting sequence.
Neat site. Nice to see my extension that I just published a couple of days ago here! It doesn't even have any users yet.

How did you obtain this info? Is there an API for that?

https://webextension.net/chrome/extension/epjjmfojjmbgignfnk...
I think it's good of you to make them critically engage with the subject by verbalizing it themselves. Evidence suggests that video consumption is relatively un-engaging mentally, likely as it demands nothing of you.
Surely it should be called national socialising?
It's the list of "waves" that can propagate around the surface of a sphere without interfering with each other. They are self-reinforcing modes. So you can represent any function of values on the surface as a combination of these, the same way you do with e.g. FFT coefficients in a JPEG file.

And it turns out that this "self-reinforcing" property is critically important for quantum mechanics, as each of the functions defines a different "state" from the perspective of a "particle". So we can do a lot of good physics work[1] by pretending[2] that all electrons exist in one of these states.

[1] Like, y'know, explaining chemistry.

[2] The details are always harder, because the electrons interact with other ways than just flying around the sphere, so the math isn't tractable in an absolute sense. But as long as you pretend that this is mostly right you can treat the remainder as just "fixups" in a giant framework called perturbation theory.
I don't disagree with what you say, but one difference is that we generally hold these people accountable and often shift liability to them when they are wrong (though not always, admittedly), which is not something I have ever seen done with any AI system.
> As an academic mathematician who spent their entire life collaborating openly on research problems and sharing my ideas with other people, it frustrates me [that] I am not even to give you a coherent description of some basic facts about this dataset, for example, its size. However there is a good reason for the secrecy. Language models train on large databases of knowledge, so you moment you make a database of maths questions public, the language models will train on it.

Well, yes and no. This is only true because we are talking about closed models from closed companies like so-called "OpenAI".

But if all models were truly open, then we could simply verify what they had been trained on, and make experiments with models that we could be sure had never seen the dataset.

Decades ago Microsoft (in the words of Ballmer and Gates) famously accused open source of being a "cancer" because of the cascading nature of the GPL.

But it's the opposite. In software, and in knowledge in general, the true disease is secrecy.
It's also a problem in machine learning. Your data might be mangled due to a bug but the NN will still extract something useful out of it. Or, on the flip side, if you make a change to the data and things do break (learning stops converging), you never really know if it's the architecture or the data that's the issue.
Xerox to acquire Lexmark
If the key difference is the organization of content, it seems I could get the same result just by copy/pasting a job into any organization tool that has AI. And in doing so, I can organize jobs that I didn't find on Chrome.

So interesting idea... I'm just not sure a chrome extension is the best solution for the problem.
I even think that with the polarization of the world and the new global crisis coming, people might realise the ever growing need of decentralization, and we might see the real birth of web3 technologies. (Not speaking about meme coins =))
Why do you want a UUID index? Use an integer index and have the UUID in another column.
Blinkist is fabulous for mgmt and idea type books that the author talks about.

Those are the ones I think tend to bloat with repetitive idea rehashing.
I never said anything about usefulness, and it's frustrating that every time I criticize AGI hype people move the goalposts and say "but it'll still be useful!"

I use GitHub Copilot every day. We already have useful "AI". That doesn't mean that the whole thing isn't super overhyped.
Germany has very quickly changed their import sources, for example by building LNG terminals, and isn't reliant on Russian imports anymore. This doesn't change the idiotic decision of the past to make oneself so reliable on Russia, but still.

The problem with nuclear is threefold: expensive, slow, blocking. In comparison to other energy sources it is expensive (build + produce) and takes a long time to build. These to factors make it a bad solution if one wants to solve current problems, thus investments in nuclear are potentially blocking better solutions right now. Small Modular Reactor etc. may be a solution to these issues, but right now new nuclear is not viable for the short term.

That however doesn't answer why they were shutdown in the first place: After Fukushima Germany decided (+10 years ago) to shut down all reactors. The plan was to invest heavily in renewables and thus create a fluent transition. The latter part didn't happen because Germans like to plan but don't like to spend. However, the plant owners still planned for the decommission. Ironically this of course coincided with the economic fallout from Russia's invasion in Ukraine. The plants were kept online a bit longer (which was extremely expensive) just in case, but it turned out to not be necessary.

On the plus side: In the last few years investments in renewables and energy infrastructure are ramping up massively. Should have happened earlier, but it's the right direction for now.

Tl;dr: It was planned for renewables to replace nuclear over time, but that didn't happen. Building new is too expensive. Keeping them online now it to expensive. Renewables are ramping up now, so this shouldn't be an issue in a few years. Still, the execution was dumb.
Bigger harm than "20% of your economy is busy throwing ordnance at someone else". That comment was focusing on the economy, not on the deaths.

Regarding AI, it could lead to solutions to the problems we've been creating through the industrialization.
Even so I assume the vast majority of Polish people would prefer a border with Ukraine rather than a larger one with Russia...

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

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

https://en.wikipedia.org/wiki/Population_transfer_in_the_Sov...
Excessive empathy is not a virtue.
It's just the worrisome linguistic confusion between AI and LLMs.
Yes. People are not stupid. It's one thing to have a phone in your purse. It's another to have something on your head and eyes, like how is anyone going to agree to that? Sure if it was very cheap you'd find some interested folks.
I'm not saying that the economy will collapse, I'm suggesting that it's entirely reasonable to guess that AI investments will collapse.
Exactly, thanks.

Did some light digging and found some related papers:

- https://robogen-ai.github.io/

- https://genesis-embodied-ai.github.io/, related HN thread: https://news.ycombinator.com/item?id=42457213

- https://paperswithcode.com/datasets?q=robot&v=th&o=match

These use other data sets, however.
I looked at a London telephone book from 1979, when I think the record was released.

Most of the phone numbers were something like 01 361 1234, i.e. seven digits after the 01 area code. The _361_ part was bold, so I think that was an exchange number.

A few numbers were something like "Placename 12345". Wikipedia explains why that was.
Reminds me a bit of Cloudflare's isolates, but the title is super confusing
If the trajectory of the past two years is any guide, things that can be done at great compute expense now will rapidly become possible for a fraction of the cost.
The glimmer framework also has an interesting approach there.
Nissan and Honda sign MOU to consider business integration
I’m very sad that this service is basically on life support and got moved into PHP with everything else.
My Colleague Julius
Please promote Firefox extensions. Chrome and Google are on a dangerous trajectoryin ruining peoples lives.

Please dont be part of the problem in promoting chrome / chromium
Reasons Manual Testing Will Always Be in Demand
They're discussing relatively urban areas. As an American who has lived in the middle of nowhere, every little town still has a pub. I've been in many towns with nothing but a post office and a bar to servic the under 100 residents.
I mostly feel sorry for grandpa, he'll receive much less of these questions, if any. This is partially because I expect to become this grandpa and already suspect that some people aren't asking me questions they would be, if they had no access to chatgpt.
The context of my comment was what is the difference between an AI and a history book. Or going back to the top comment, between an AI and an expert.

If you want to compare AI with ephemeral unverifiable conversations with uninformed people, go ahead. But that doesn't make them sound very valuable. I believe they are more valuable than that for sure, but how much, I'm not sure.
Redditors Revive Gift Exchanges After Imgur Cancels Secret Santa Program
When AWS goes down you can tell your boss that dozens of people are working to get it back up.
Discover Your Accent Like Never Before
Introducing accentvoice.net, the ultimate tool for detecting and analyzing accents in spoken audio. Whether you're curious about your own voice or diving into linguistics, our tool offers:
Fast and accurate accent recognition
Insights into regional and global accents
Simple, intuitive interface

Perfect for learners, researchers, and anyone curious about voice and accents.

Try it now: accentvoice.net
#VoiceTech #AI #Linguistics #AccentRecognition
I have to say I finally "caved in" to LLMs last month.

While I still think Copilot is useless, I recently had a very complex code that did a lot of crazy bit-flipping and xoring, and I had no idea what is it doing, so I threw it to ChatGPT.. and it knew what it was doing.

I also needed to rewrite this code to PHP (for... reasons) while I know very little PHP. And it did that! It was a bit wrong, I needed to correct a bunch of stuff (based on domain knowledge), but... it helped me a ton.

I still can't image using it daily for domain and language I already know (that's why I never used copilot). But it actually helped me in measurable ways when it's something new.
I understand how Rust enums work, but you’re misunderstanding how ABIs work (or my original point, or both).

Rust enums are a Rust concept. Two identical enums will have different memory layouts on different machines, Rust versions, etc. Even if this was solved, you’re still passing the enum across a boundary. Both sides need to agree on the layout of the enum in memory.

To illustrate the problem, imagine we had two variants: `Pid(NonZeroUsize), LaunchTheNukes`

This can be laid out in memory with a single `usize`: the 0 value becomes the discriminate for `LaunchTheNukes`.

Thus, if you pass `0` (I.e null) across the boundary the other side will interpret it as `LaunchTheNukes`.

In short, if you naively change the layout of an enum and don’t recompile everything that uses the enum (i.e the kernel) then your -2 value could change from being interpreted as `Pid(-2)` in the application to `LaunchTheNukes` in the kernel.

It gets more complex with larger enums and more discriminators, but the general point is that the concepts of enums, type safety and such doesn’t really exist across boundaries like syscalls, because it doesn’t exist in hardware / at the machine level.
Right, but, then what? If you throw away all of the books from experts, what do you do, go out in your backyard and start running experiments to re-create all of science? Or start googling? What, some random person on the internet is going to be a better 'expert' than someone that wrote a book?

Books might not be great, but they are at least some minimum bar to reach. You had to do some study and analysis.

Seems like any critic of books, if you scratch the surface is just the whole anti-science/anti-education tropes again and again. What is the option? Don't like peer review science, fine, it has flaws, propose an option.
I worked in IT for a state government and they had a partial outage of their Exchange server that lasted over 2 weeks. It triggered a full migration to Exchange online.
What is an AI factory and why is the EU betting big on them?
What about TruffleRuby?
OpenSSH and Git on a Post-Quantum Sphincs+
I did two things.
1. Destructive removing page staples and then just page turn manually.

Or
2. Book holder for non destructive page turning. More delicate. Slow turning.

CAmara I use a cheap

https://www.amazon.in/ClickScan-Foldable-Metallic-Design-2-P...
I wonder if I suffer from loneliness. I see my wife, MIL (she lives in my garage apartment) and two boys everyday but that’s about it since I work from home. Last week and lady came by and did a medical evaluation for my life insurance renewal. We chatted for a few min while she drew my blood and filled out paperwork. It was the highlight of my week and just talking to her was an amazing experience. I think I need to get out more haha
Paper ICML 2024: RoboGen: Infinite Data for Automated Robot Learning GenSim
From the page: RoboGen is a generative robotic agent that automatically learns diverse robotic skills at scale via generative simulation.

RoboGen is simulated and rendered with Genesis.

See the related HN thread of the Genesis paper: https://news.ycombinator.com/item?id=42457213

What is the current SOTA research of robotic agents in virtual or real environments?
Android Quick Share can share with nearby devices, just like Airdrop, OR can share longer distances with your contacts. How it works depends on how you attempt to share the file and where the recipient is.

Also both wifi direct file sharing and Bluetooth file sharing have been things forever. I had a ~15 year old mostly dumb camera that did it.

Also the app "Bump" did this many years ago, was on both iOS and Android. Other apps probably did/do as well.

I personally think it's useless but it's always been a thing.
By that definition an expert would be <more> trustworthy. (Usually they want you to look at credentials instead.)

However that still ignores human nature to use that trust for personal gain.

Nothing about expertise makes someone a saint.
Or autists. People want them shot on sight for having “tism rants”. Emphasis on the shot part given that Hans Asperger only saved those kids from literally being shot by justifying their utility to the German rocketry program…
No the whole
Point is you make a gpt for yourself and upload all your related documents to it and then query that. It performs 10x better than a generic query without attaching every single doc that could be relevant.

I am unsure if the answer is to use “projects” maybe this has superseded myGpts?

I am perplexed why HN isn’t focusing on this issue as all the Llm gains I’ve ever had were wit highly customised personal myGpts.

I can understand OpenAI and Sam’s having access to their own models may not even know what the best way to use the released stuff is

Ps - typing on my phone hence typos
> Paranoia and other psychoses felt normal to me before I learned I was bipolar.

Same with me. What helped me was years of Theravadan Buddhist Mediation. I do not recommend it, but it helped me create a mind that was separate from my delusional mind. I would easly have wild trips when I was meditating, whcih I think was from the excess serotonin released or my over sensitivity to the seritonin via the HTR5A g protein coupled receptor.

> my psychiatrist and she couldn’t prescribe antipsychotics fast enough.

That is all psychiatrists do.

I suggest you watch this:
https://www.youtube.com/watch?v=2pIs30jDxeo
Thanks for these detailed replies! Now I really want to read your paper.
To be clear this isn't because they have a problem with monopoly businesses abusing consumers. It's because big tech exercised their First Amendment rights in ways he found undesirable.

https://www.bbc.com/news/world-us-canada-57754435

Note that he's still talking about breaking up tech companies but not... X? (Surely that will resume once he and Elon have a falling out)
Could just as well be a typo.

I’ve never heard anyone call diagnosing “sniffing”
Community enforcing as in shibboleet? https://xkcd.com/806/
The discussion was about whether robotics was about to transform or not. And obviously it is because of how much basic robotics workloads improve with these models.

Really not that hard.
I don't think that is an option of any sort. Wild guess is Putin bet was on Russia getting some territories opening the door for Hungary and Poland to do the same. No idea what is the atmosphere in Slovakia, but the recent surprise in the Romanian politics makes any prediction impossible. Well, he was wrong :)
Automating Bank Statement Processing with AI