skysight-inc/HackerNews huggingface dataset:
You end up with a tower of “universes” that each have some statements they can’t prove which are provable in a higher universe.

You might wonder about the limit… but axioms are only interesting when finite: if you have infinite axioms, just assume the true statements.

You might wonder which those are… but then you’re confronted with the fact it’s all made up and you can have consistent systems from contrary axioms, eg either allowing or disallowing choice.

Mathematics is useful because it gives us a language to tell stories where we can accurately guess questions like “what came before?” or “what happens next?” and where we can describe similarities between stories.

A modern ontology.
Lithium primary cells (not rechargeable) are very different from Lithium ion, Lithium polymer, Lithium iron phosphate, etc.
You shouldn't need to pay money to file a complaint with the FCC.
I think alignment is poorly defined. Aligned to whose philosophy? Name two human beings who are aligned and always act in each other's best interest in history, and I'll buy your bridge.
None of those have noise cancelling. Which mean they only sound good in situations where you don't need it.
Air conditioning retrofit for places that never needed it before
“… while rarely offering hope or possibility”.

There’s little of that anywhere.

What politicians, artists or philosophers are presenting a credible vision of a better future?
A topic that rarely comes up when talking about remote work is where workers are in their career. I can’t imagine being at the start of my career and having to figure out, via Slack, who my mentors are going to be. Or how to get ad hoc advice from someone more senior without feeling like I was “bothering” them. I’ve been remote for the majority of my career now, but definitely got a lot out of in-person interactions when I was younger.
Creation and destruction are both very attractive. Maintenance is not.
Check OP I’m responding too. His question is why racists don’t call for a male immigration ban - not a statistical thought experiment.
Encyclopedias are not supposed to be technical references. They are for laypeople to get a general understanding of something. Linking to another domain-specific resource won't really help.
> Regardless, I think nuclear power should pay its own way. I don't want to be on the hook for hundreds of billions in cleanup cost because some CEO got greedy.

In general, we do not require industries to insure for limitless, pie-in-the-sky risk. Sometimes the state is left holding the bag. Requiring infinite insurance would price every industry out of existence.
Unfortunately Beyerdynamics don't sound flat (they have a big treble peak which leads to a "sibilence" effect) so you'd want to EQ that out for them to be suitable studio monitors.
That's half the monthly minimum wage, most people here make even less, and everyone has at least a few kids to feed.

Also everything is more expensive because it's so remote. There are no roads so everything has to be brought here by airplane or boat. If you order something from Amazon (the website) to the Amazon (the rainforest) shipping is at quite expensive and then there's import fees too...
Train own custom dataset on GPT-4
Recently an influencer claimed to have made a "companion chatbot"

https://www.msn.com/en-us/money/other/snapchat-influencer-launches-an-ai-powered-virtual-girlfriend-to-help-cure-loneliness/ar-AA1b7csm

can you already train your own custom dataset on GPT-4?

How was this done?
>... creators...

Most of what I'm talking about are concerts and music uploaded to YT by fans.
The Road was the most horrifying movie I've ever watched, thanks to having kids.

Being unable to protect your children like in that movie hit all my primitive parental fears.
I really enjoyed this interview. Computational language vs. LLMs. Irreducibility in the universe. Stephen's favorite candy.
IIRC ESR also pontificated about dead bits vs. live bits and pretty much predicted the demise of the technical book industry which was massive at the time.

Edit spelling.
If the legislature cannot write it, then the law or force of law shouldn't exist.
You would think that shorting would be a guaranteed money maker. The fact that most companies disappear with in 5 years makes it seem that making money by shorting stock is easy. Well, in practice, very few investors can make money, consistently, by shorting stock.

Your best bet is to find companies that can adapt and thrive in a climate change environment. Look into the inflation reduction act passed last year by the Biden administration. There are billions in incentives for climate change businesses. Companies that are created because of the incentives are likely to do well.
Neither is walking off without paying for the water.
Can you correct for slavery and 400 years of oppression though?
A good example of the future we have to look forward to
You mean Veoneer, the LIDAR company where she was formerly on the board of directors and formerly a shareholder [1]? Where she resigned from the board on October 25, effective November 1, and divested all of her shares prior to accepting the appointment to remove the potential financial conflict of interest?

It sure is convenient how the blog post by Omar Qazi, a well known shareholder and propagandist who literally spends all of his time marketing for Tesla, made on November 21 fails to mention that event that occurred on October 25. Almost as if he has a massive conflict of interest and will say and do anything to support the value of his Tesla stock, such as endangering children [2]. I can not think of a more unreliable source other than Elon Musk himself (Elon Musk being a more unreliable source due to his even bigger conflict of interest).

And yes, a expert with decades of experience in safety engineering having a informed opinion supported by actual research they have done [3] on products is exactly someone who should have a position like senior advisor to NHTSA [4].

[1] https://www.nasdaq.com/articles/veoneer-says-cummings-to-res...

[2] https://twitter.com/WholeMarsBlog/status/1558122848601812993

[3] http://hal.pratt.duke.edu/sites/hal.pratt.duke.edu/files/u39...

[4] https://www.curbed.com/2021/10/elon-musk-missy-cummings-tran...
I tried it, and I didn't see enough advantage over other monospaced fonts routinely available to me on a Mac.

It was quite line-width dense, almost like boldening (but not: I checked and the boldface was quite distinct) which I like: some people go for thin lines and they look great but they don't always aide comprehension.
> 2. You can't have white women without white men.

As objectionable as some might find it, tearing apart families through immigration policy is already possible. If the idea is that immigration is bad because it brings more crime, the conclusion is clear, if we evaluate things objectively.
Elastic isn't really an OpenSearch competitor if you want an open source solution.

When I check their Github, I see recent commits, merged pull requests etc. Doesn't look half-dead at all.

I don't know if other open-source alternatives (like meilisearch perhaps) have more activity, but OpenSearch looks far from half-dead.

> in a just world Amazon wouldn't have been allowed to call it "OpenSearch"

Any reason an open-source project for search should not be called "OpenSearch", aside from "I don't like Amazon, so the project is bad"?
> Well, you're right if it makes you feel better.

Cheers.
Aw, shucks. If you're interested in more info, there's a paper about how we work: https://doi.org/10.1109/AERO50100.2021.9438370 , the mission blog is https://mars.nasa.gov/msl/mission-updates/ and this reddit channel is great: https://www.reddit.com/r/curiosityrover/ .
AirPods Max are actually pretty repairable and the battery can be replaced.
> getting something even within a light year of feature parity with Qt.

Qt is also old as Jesus, and making a cross OS GUI is extremely hard.

And you can non-ironically say the same about non-Qt toolkit written in C++.

What grandparent probably means something that leverages parallelism and/or GPU acceleration.
Prior to Euclid people seemed to be concerned with valid arguments. Mathematical proofs are limited to true or false statements. Math is great when modeling physics, but quite lacking when applied to other human endeavours.
There's a whole gang of cyberdeck builders over at the cyberdeck.cafe Discord if anyone is interested in the hobby! The original creator of this design is a regular there and we're always willing to help newcomers.
> People have latched onto this idea that penalties should be relative to the size of the company. Well then, this is what you get. Penalties should be relative to the scale and severity of the crime.

It depends on whether your goal is deterring bad behavior or deploying revenge.
Yes. I am for spending on social services like food banks etc, to make sure people dont fall into a need to commit crimes for basics. But for any crime, if your still pulling that shit after the age of 30, no lock up, just straight death.
The FCC had already made their decision against net neutrality. They did use the public comments to help justify it, but that was PR, not decision making.
I have a similar mild scoliosis/desk avoidance thing. But what I've found is that it's not related to pain(I can game for hours and hours in a chair), it's more of a energy/bloodflow/breathing issue. Lying prone or supine is actually a good posture for relaxing enough to think carefully. Sitting upright induces attention and focus to immediate tasks but it can also produce woozy idis haze right after eating.

My favorite setup, overall, is floor sitting with a low desk. This lets the posture shift around moment-to-moment, including fully upright seiza type positions and supine or prone positions.
I think it'd be dangerous for a business to assume that penalties are always this low. This is an example of the system getting things wrong in the eyes of the public more than a precedent that shows how penalties always work.
I suggest you do the same and learn that QM is not needed to compute movements of the dice roll, roulette or RNG computation.
Who is funding non-profits to pay high-risk bonds for criminals like car thieves?
This isn't true. There are reporting requirements for major shareholders. You can look them up.
I wonder if Korea could ever be unified like that by even 2089 or if the absolute horror, suffering and abuse in North Korea will be perpetuated for all time, fortified by China and now their nuclear arms doomsday.

East Germany never had nuclear right? Now that might be insurmountable.
My Bahasa Indonesia is not strong enough to read that article but it seems to be referencing this:

https://www.ahp.id/brighter-days-ahead-as-indonesias-ministr...

Reading the details is seems like it is still pretty true that there are regulations that don't allow households to sell power back to the grind. There are not regulations forbidding the practice but even with these reforms the practice seems regulated in a way to make it difficult and give the power generation and distribution companies total control:

"Like the previous regime, the New Regulation limits the capacity of the rooftop solar system installed by the customer of such system within the business area of a state-owned entity holding an IUPTLU to 100% of their connected power. However, rooftop solar customers whose systems are connected to other IUPTLU holders besides a state-owned entity may be subject to a different limitation as determined by the relevant IUPTLU holders. These holders must declare their respective limitation on an annual basis.."

My reading of this is that it is now possible for a IUPTLU to allow someone to offset more than 100% of their electricity usage but it is not required for any of them to provide that option, just register the terms with the regulator.
I wasn't talking about tearing families apart. I was talking about the fact of biology that white females can only come into being if there are white men to father them. In any case, I simplified my comment into just one point.
Knitting maybe not, but Nalbinding definitely:

https://en.wikipedia.org/wiki/N%C3%A5lebinding#
I'm envisioning a large cartoonish sledge with the letters ACME stamped on it
Try to build something that you would use by yourself for daily job/needs and then share with others
Or extract something from main job code base into open source library
Seems like it could work well to run a music tracker.
And we can always send in Snake Plissken in case of issues ;)
the sound travels through the air, hits the microphone, gets transmitted to a cpu that creates an inverse signal, and is then transmitted to your ears. No matter what the cancellation signal is always later than received sound. The received sound arrives first. noises that don't change much have the most similarity between the sound from a couple milliseconds ago to the sound now, and so are most effective.

But I will say my sony wf-1000xm3 do seem to do a pretty decent job muffling most noises.
> What sort of violence are we talking about? Men are murdered far more often than women across the globe, at a ratio of about 4 to 1:

> https://en.wikipedia.org/wiki/Homicide_statistics_by_gender

You know this just seems like male on male violence to me ;)
That isn't entirely true. I'm being pushed to replace Elasticsearch with Opensearch by my manager with only negatives that I can see in the move, and zero positives.

We will be contributing greatly because a lot of the libraries are significantly worse... I don't understand it honestly, but the specter of Elasticsearch potentially doing something horrible has made it so that I have to move off of it.

I've tried all I could to explain the fears are misplaced, and have no relevance, but I've lost this battle.

A year and a half ago, I could have probably had our company just pay for the license. But the winds blow and change, and now I can't even keep it.
No, it is more Vue than svelte. Vue use proxies while svelte doesn’t. That being said I wonder if tying up with web components is a good idea. Cause if it was, other js framework author would have applied it
Independent agencies are completely accountable to congress. The idea that they are unaccountable is nonsense. They can only ever do things in the bounds of what congress has said they can do. Congress can change what is allowed at any time.

Your proposal is to give congress the authority to write regulations without independent agencies. I got news for you, congress already has that power! They created the agencies because they recognized their limitations when it comes to creating regulations that require technical expertise and/or detailed particulars.

Congress can also pass a law nullifying ANY existing agency regulations or, in the extreme, dissolving the agency. If a regulatory agency interprets a law one way, congress can pass a law saying that isn’t what we meant, stop doing that, do it this way instead.

This is perfect accountability. If congress can’t do those things, how do you expect them to write effective regulation? What more do you want?
Knowing the actual cause of the issue strongly suggests no.
I was introduced to Salesforce in the early 2000s by a user very happy that useful features showed up every quarter without an upgrade process, so they have regressed substantially if this is the case.
Some will. Just like some employees will start companies. It’s no different.

A company’s intellectual property is still theirs.
You know what makes a damn good reader? Gmail. Setup a script that parses RSSAtom feeds and then email the URLs to a Gmail account. Add the title of the post as the subject and add hashtags after the URL in the body. Then you can use GMail’s search to search on hash tags. Also, your script can add other metadata to the email which can be used to apply Gmail labels. If you’re really ambitious the script can use the readability library and email html content so that you never need to leave Gmail to read feeds.
Facebook disagrees:

Math lets them manipulate your emotions on behalf of advertisers and spy agencies, alike.

As does Midjourney:

Math lets them turn a loose description into a high quality picture of that scene.
It's like one of those 80/20 rule things.

Something like 25% of any given project is the 'fun' part. These include refining the basic idea; building a prototype; getting some simple functions working; seeing it do one or two things extremely well.

The other 75% is the 'grunt work' part that may not be fun to work on (e.g. documentation, bug fixes, refactoring, etc.) but is often absolutely necessary to have a 'finished' project. (Not that any project is really ever finished, but rather one that is usable to a large audience)

I have experienced this with various projects I have worked on over the years; whether ones I worked on professionally while working for someone else, or my own 'hobby projects' that I did in my spare time.
> median income roughly 10% higher than Germans, far more guns per capita than Germans

Yes, the kind of stuff called soci-economic factors.

> 40% of male homicide suspects in Germany are non-German

Okay to the homocide rate of "real" Germans is about 40% lower then?

Can you not just accept that "white" (however you like to define the term presently) men commit significantly more murders in America than in Germany?
I wonder if specialization of the LLM is another way to reduce the RAM requirements. For example, if you can tell which nodes are touched through billions of web searches on a topic, then you can delete the ones that never are touched.
HN and I have had some fun in the past.

https://news.ycombinator.com/item?id=23094477
I don’t see how humanity can go on without a solution to the arthropod head problem. The taxonomy might not be correct!
Philadelphia Inquirer’s operations continue to be disrupted by a cyber incident
> Beans are protein-rich, sustainable, and delicious. Why doesn’t the US eat more of them?

Because they don't taste as good as meat, obviously. People get excited about going out for a steak. Nobody gets excited about going out for beans.
Reimagining LLMs: From Fact Databases to Reasoning Engines
Hello, Hacker News community!

I've been deeply involved in the AI sector for quite some time now as a software engineer, founder, and previously with roles at Bridgewater Associates and NVIDIA. Recently, I've been pondering the limitations and potential improvements of Large Language Models (LLMs) such as GPT-4.

While LLMs have demonstrated impressive capabilities in understanding and generating human-like text, they are inherently limited by their lack of access to real-time data. This restriction effectively freezes their knowledge at the point of their last training update, leaving them unable to provide information about events or knowledge that have emerged post-training.

Moreover, a significant portion of their training and computational resources is spent on memorizing facts, functioning in essence as massive, intricately structured fact databases. This focus on fact storage often limits their potential for reasoning and creativity.

Given these constraints, I've proposed an approach that aims to shift the focus of LLMs from fact storage to enhanced reasoning. By allowing LLMs to access and integrate real-time data from their training corpus during inference, I believe we can transform these models into dynamic reasoning engines that can provide more accurate, current, and contextually relevant responses, while making more efficient use of their training and computational resources.

I've detailed this proposal, along with its technical implementation and associated challenges, in a recent blog post: https://www.workbyjacob.com/thoughts/from-llm-to-rqm-real-ti...

I am sharing this here not just to present my idea, but to spark a broader discussion on how we can push the boundaries of what's possible with LLMs. What are your thoughts on this approach? Do you see other potential solutions to the limitations of LLMs? How can we address the challenges that such a transformation might pose?

I am eager to hear your insights and engage in a productive discussion on this topic. Thank you for your time and consideration.
They will make you -- hmm, how shall I put this? -- gassy, but otherwise, yes, beans are good for you.

So, sure eat more of them, especially if you're not going to be around others.
It's truly amazing. You'll never know what you'll learn on HN on any given day.

For that I love it and thank you. It explains why it is so damn addictive.
The Importance of Reader-Centric Writing: How to Make Your Text Valuable
Discovering the counterintuitive approach to writing that will help your readers change their ideas.
I expressed a similar observation on here about how I’d witnessed a change in people putting up higher fences and becoming more insular in their lives, and it seemed some people thought I was talking about how things changed as all people got older, it never clicked that I was talking about generational change. I now realise that millennials can’t even fathom what social life even was before the internet.
Sure. As long as they are a standard battery that will still be around 25 years from now.

In the year 2050 you can probably take your Psion 5 from 1998, insert AA batteries, and start writing.
Yes I did, thanks. It’s also kind of reminiscent of the Transmeta Crusoe.

The problem I think multi-ISA would run into is the “master of none” issue. Intel can tune for how x86-64 works, Apple and Samsung for ARM.

But if one chip runs it all, it can’t tune for anything too specific.

It must not be worth it. I wonder if Apple would have done something like that for the M series to let it keep running Intel software. They must have tried to figure out if it was worth it right? I know they added a few instructions or an addressing mode or something to help. But they must have determined it wasn’t worth it and it could be done well enough in software.
Naive do-gooders, who do not care about the non profits losing the bond money, because they never learn about it. Non profits don’t care either, as they get their cut anyway, and get good feelings too.
You’re not quite getting at the root of it.

People are generally selfish and will generally choose to do things that benefit them over things that benefit other people.
A few thoughts:

1. If you go and reverse-engineer an accurate Statecharts model of the current behavior, it will probably be weird, and not exactly what you would've done if you'd been workig form the model. You might also discover problems, but fixing the model might be tricky.

2. You really need buy-in by the engineers (not only the managers), and for them invest enough in learning how how to model systems well this way. (Example from UML, not Statecharts: it seemed almost everyone using UML tools was only visualizing their class inheritance hierarchy, and only in a management-slides kind of way. Which I'd say is at most 1% of the benefit.)

3. If you start working from models, the code and model had better agree.

(Background: I made a pretty complete Statecharts DSL compiler for Java, circa '97, and previously worked on various tools and methods for purposes like you describe.)