skysight-inc/HackerNews huggingface dataset:
What do you even mean by "mechanic" way to reason here?

And what do you expect it'd replicate? As I wrote, I tried looking to see if there were similar pieces of code online, and came up empty. I did that exactly because I was curious about the huge gap in quality between what I'd found before and what GPT4 came up with. Not least because it certainly is not something that happens every time.

> I also think code creation isn't a good area because it is narrower and more mechanically linked by probability than a lot of other areas (so token probability is potentially more informative).

I don't see why that would make it worse. Not least because it also makes it far easier to evaluate the outcome. If anything, we ourselves grasp for formalisms and structure when we want to ensure our reasoning is sound.

Again your use of "mechanically" here also makes absolutely no sense to me.
`a.b` is always valid syntax, there's no way to know if it is a valid C instruction until you resolve the types of a and b. Assigning it valid semantics at that point is exactly as easy as assigning it error semantics.

And no, this would not perform multiple levels of dereferencing anymore than -> does today. You could have literally find&replaced every use of -> with . and every C program would have had the exact same semantics. `struct point **a; a.x = 1` would throw the exact same compilation error that `struct point **a; a->x = 1` throws today. The only difference would be that `struct point *a; a.x = 1;` would write 1 to the field x of the object pointed to by a, instead of throwing an error that says "object of type struct point* has no field named x".
Prompting As Searching Through A Space Of Vector Programs
It is said there are 3 jewels in 'Buddhism' the Buddha, the Dhamma (The Teachings - the so called laws of nature/reality) and the Sangha.

The word Sangha gets bandied about like nobodies business these days.. and nobody seems to care either.. talk about cultural appropriation! In my opinion westerners who are not ordained and are not true aupasikas have no right to use this word, but alas they do, in droves. I think in this context it means Maha-Sangha .. that is 8 pairs or individuals 4 types of special people:

Supatipanno Bhagavato sāvakasaṅgho. Ujupatipanno bhagavato sāvakasaṅgho.
Ñāyapatipanno bhagavato sāvakasaṅgho. Sāmīcipatipanno bhagavato sā-
vakasaṅgho. Yadidaṁ cattāri purisayugāni aṭṭha purisapuggalā esa bhagavato
sāvakasaṅgho. Āhuneyyo. Pāhuneyyo. Dakkhineyyo. Anjalikaranīyo. Anuttaraṁ
puññakkhettaṁ lokassā’ti.

Of pure conduct is the Order of Disciples of the Blessed One. Of upright conduct is the Order of Disciples of the Blessed One. Of wise conduct is the Order of Disciples of the Blessed One. Of generous conduct is the Order of Disciples of the Blessed One. Those four pairs of persons, the eight kinds of individuals, that is the Order of Disciples of the Blessed One. They are worthy of offerings. They are worthy of hospitality. They are worthy of gifts. They are worthy of reverential salutations. The incomparable field of merit for the world.

That is where to start in my opinion. find the true Sangha. there are millions of Buddhist Monks, especially in Asia. I have heard though unfortunately there are only a few thousand perhaps, a handful, practising the true way now. That sadly is the times we are living in. The end of days.. But that is where to start in my opinion. Good luck finding them.

_/!\_
> they wouldn't help with the resizing latency

Could'nt you avoid resizing by massively over allocating in the first place? A decent OS, hint Linux, would only map pages to the allocated memory pages once they are touched.
In the last week new fuzzers and tests also appear to have been added. At this point, I think any c project that isn't safety critical would do well to mimic this pipeline.
Man I wish they would do that here for all the "offroad use only" aftermarket LED bulbs that idiots stuff into non projector lenses.
Thank you for this fascinating comment.

Out of curiosity, do you have any insight as to the Portland, OR area? We always seem to get glossed over in discussions about the PNW and the West Coast in general.
“They were so busy trying to figure out if they could, they forgot to ask themselves if they should”
When do the patents end? They've been around for a while now.
Any artist, or even craftsman in general. You only judge people by their masterpiece's standard. So anything lower will always have that meh feeling.
I think the whole point of social media is to connect us to the wider world.

Definitely, you should connect to your family and friends, but there should also be a way to connect to strangers. I guess you would want to find people who shares your values, and maybe even those who don't. But if you are talking to strangers, you'd want to know that the normal decorum we keep in face to face conversations would be respected online.

But definitely no companies or bots or addictive feeds or status chasing.

I think numbers should be done away with when it comes to upvotes, it feeds the ego too much, and we judge too quickly. Instead maybe use concepts like hot and cold, or some other relative qualitative measure. The system could use numbers behind the scenes, but they shouldn't be visible to the user.
* wider f-stop
* less chromatic aberration
* less distortion generally
* smaller circle of confusion

The chromatic aberration is an important but subtle effect. Remember that lenses are multiple pieces of glass, and every interface diffracts the wavelengths of light like a prism. One of the considerations in lens design is converging all those different wavelengths of light in the same place. Not just at one point, but at every point across the image plane.

Poor lenses might do the well in an area. Good lenses do it everywhere.
New study will examine irritable bowel syndrome as long Covid symptom
Huge fan of Buffett myself. Of course, BRK could outperform SPX in the years to come, but the probability is stacked against it. The larger and more diversified the company becomes, the more its returns start mirroring the broader market.
Contrary to popular belief Google doesn't run email. It more or less does so in the US, but only there people were so enthusiastic to jump onto their platform. Probably a result of other US alternatives being that bad.

But in many other countries, gmail isn't that successful. Still, email is still under attack by big mail servers getting more and more restrictive.
How can you ever be sure that you trained your LLM not to do harm and not pretend not to do harm when it's tested? Something like VW's diesel engines but more sinister.

I feel like unless we gain the ability to debug each node the way we do with actual software we won't be able to solve the alignment problem. I saw on HN that antropic is working on it but I'm not knowledgeable enough on the subject to comment if it's actually feasible.

Probably the best case scenario for humanity is that LLMs plateau somehow and don't get much better for quite some time.
If they’re already filtering on things unrelated to the job, they could just as well throw out whatever percentage of applications was needed to get down to a load their HR could handle.
Python has supported keyword-only arguments since 3.0, and added positional-only arguments in 3.8+ <https://docs.python.org/3/whatsnew/3.8.html#positional-only-...>:

def name(positional_only_parameters, /, positional_or_keyword_parameters, *, keyword_only_parameters):
pass

I don’t use Python much these days, and Rust and JavaScript don’t have equivalents, so I haven’t thought much about this, but my gut feeling is that there’s probably never a good reason to support taking an argument by both position and keyword, that it should instead be one or the other. But as I say, I haven’t meditated on this. Curious if any popular linting tool has rules to detect any of these three classes of argument (… and also args and *kwargs).
I was amazed at the parts of the (must-see) T.V. show Three Kingdoms where legendary warriors, some of the toughest guys in history, would regularly be seen crying.
The text editor needs to be able to load large without needing x times more memory than the size of the file.
> The ability to identify that there isn't a simple closed form result is actually a key component of reasoning.

If that's the case, then most humans alive would fail to meet this threshold. Finding a general solution to a specific problem, and identifying whether or not there exist a closed-form solution, and even knowing these terms, are skills you're taught in higher education, and even the people who went through it are prone to forget all this unless they're applying those skills regularly in their life, which is a function of specific occupations.
That's a very nice take. Putting certain kind of people into a fixed frame, while having an equally, if not stronger fixed frame around itself.

Firm, generalizing and enjoyable, because of the way it's flawed from beginning to end.

I don't expect to be able to debate this with you, because this comment says that you can't change your mind, too.
Or at some point change the rewarding system to favor quality. Voila! But why is everybody assuming that the AI-enhanced work will not be checked before submission? I'm no scientist but my workflow starts with my draft and ends with me correcting/adapting whatever AI changes did, whenever AI gets involved.
> It's only a matter of time before a rogue AI erases a bank's database or randomly triggers an anti aircraft missile or something similar.

Thinking of Thule early warning radar not having been programmed to know the Moon didn't have an IFF transponder and that was OK, and of stock market flash-crashes…

Both have probably already happened, though perhaps as GOFAI rather than ML.
Full stack typesafe API-first development for REST
That's more or less exactly what these models do by design, otherwise the predictors/estimators for the next token in a sequence would fail spectacularly. These models aren't just plucking random tokens out of a bag and ordering them based on some brute force large-scale memory lookup or whatever. There is an internal representation of the tokens in a more meaningful sense. That sense, however, is limited to the statistical/mathematical framework upon which the models are built. It's a huge (in my opinion completely unjustified, wishful thinking exercise) leap to call it "reasoning."
Identity has nothing to do with which unpopular movies or books you happen to enjoy.

My kids live with me and we often watch and play things together. They’re not holed up in their rooms living sad lives of isolation.

For that reason, we’re never going to watch trash. Gabby’s Dollhouse will never, ever be on any screen in my house. I refuse.
OpenAI has done this with their LLMs, most serious players have.

See: https://cdn.openai.com/papers/gpt-4-system-card.pdf

They cover the safety/ethics built into GPT-4.
I dunno...if the nature of human consciousness/culture was different than it currently is, I think capitalism as it is would not be able to exist without being reined in democratically (which is how we're told things work) or otherwise. But then, I suspect we'll never find out the truth of the matter.
From an analog design perspective, I don't think that makes sense. Not that I'm an analog designer, but I worked closely with them as a digital designer on CMOS camera sensors.

You're already extracting as much information you can from the analog signal on the least significant bits. It's not like designing a log-scale ADC lets you pull more information from the least significant bits. So you don't really have anything to gain. Why make a more complicated analog circuit to extract less information? It's generally better to let the digital side decide what to keep, how to compress the signal, etc.

And I should mention that CMOS camera sensors can often do a lot of digital processing right there on the chip. So you can do log-scale conversion or whatever you want before you send the data out of the CMOS camera chip.

It might be possible that you could reduce the power consumption of a SAR (successive approximation) ADC by skipping AD conversion of less significant bits if you have signal on the more significant bits. But I doubt the power savings would be very significant.
I'm not sure I'm following. Uncertainty is really just another way of saying probability. You handle uncertainty with probabilistic approaches which neural networks do.

Or put another way a square explicitly might be four straight lines connected at right angles, but in reality such a perfect shape is never going to exist. What's important is that the system understands that shape which has roughly straight lines and roughly connected and right angles is "squarish" enough to be a labeled a square, and the less "squarish" the shape becomes the less certain the system becomes that square is the correct label. Neural networks certainly achieve this.

We might not always understand what the parameters of a neutral networks are encoding, but that's a limitation of our brains, not of neural networks.
You can always just train like some anime character or kung fu masters:

https://www.youtube.com/watch?v=crKohKpVoAM
Fix that. Then you have a right to complain :)
Providing the archive.ph link is helpful, but why did you use a new title instead of the one from the article? The one you chose didn't make sense to me until after I had read the article.
What kind of protections? As far as I know no one has come up with a good solution to that yet. It’s a whole field of research: https://en.m.wikipedia.org/wiki/AI_alignment

Your attitude reminds me of https://xkcd.com/793/
You might not care about it, but all of the people who regularly claims it can't reason certainly seem to do.

Defining "true machine intelligence" without referencing the only intelligence most people would agree is "true" intelligence seems like a bizarre attempt at setting the bar unreasonably high, and defining "replicating poor human reasoning capabilities" to me is an admission from you that they do reason whether or not you think their ability to do so is "proper".
Mass manufacturing. Almost everything became widely available, at least in developing and developed countries.
Passkeys are stealable no? If I have you phone...
DoD-funded space project advances non-GPS navigation
I don't follow, was $9/user/mo (presumably what the Team plan was) low enough for it to be "effectively free" and invite problem customers?

I would have thought those sorts of people just go for the $0/mo option here.
That could be solved via a vest that you wear, that has additional cables pulling with a force of the bodyweight. That way you could also do pull ups with your bodyweight.
Navigating moiré physics and photonics with band offset tuning
This is a good starting place https://marketplace.visualstudio.com/items?itemName=HuggingF...
Huh? FreeBSD had this 15 years ago already (if not more). Thingie is called DUMMYNET. Imunes utilizes netgraph thingie that can be connected thro pipes (DUMMYNET) to emulate whatever delay, bandwidth and BER you want. Very handy thing
to check out how your stuff will behave on dialup for example.

This is my BGP troll lab for some testing ;)

http://ds-1.ovh.uu3.net/~borg/pics/bgp-lab.png
Nothing to sell. Just making the point that active investing is hard.
I'm personally very insistent we're just squishy machines, but that view tends to make a lot of people very emotional.
Not used for surveillance is the absolute minimum
I guess it's fine as long as it isn't running in untrusted durectories. I'd take downloads out and documents in by default.
How often does O3 vs O2 enable the sort of optimizations that break code that is technically incorrect?
On Having Children
That's with family, with the lads/co-workers the Irish goodbye it's not saying anything and leave.
By the wording of the RFC, accepting a hostname longer than 255 bytes is permissible, creating one is not.
> Data brokers are defined in the bill as businesses that we don’t have a direct relationship with — and likely have never even heard of — that scrape and collect our personal information from various offline and online sources, and then aggregate our personal information, and then sell it to third parties

Credit agencies like Equifax and TransUnion satisfy that condition. They should be subject to the law, especially given Equifax's security history [0]

[0]: https://en.wikipedia.org/wiki/2017_Equifax_data_breach
void log(const std::string_view message,
const std::source_location location =
std::source_location::current());
https://arstechnica.com/gadgets/2023/03/samsung-says-it-adds...
Constant puzzle to me:

Video is just made up of single sequential still images. Why are the color issues / tuning of videos like 100x more complicated and involve so many more tools than those of still images?
Well, I can't say what motivates them, but Valve has used MoltonVK (the compatibility layer) before.
Using -O3 was resulting in correctness problems in my work codebase in the past. Nowadays the compiler (ifort) crashes when using -O3 for some reason.
https://www.wsj.com/tech/ai/ais-costly-buildup-could-make-ea...
Maybe? I don't think it's a very interesting question, because nobody has a particularly strong emotional reason to care whether we call it swimming or something else.

But people do have entire belief systems built around humans having a special position in the world.
No, sorry, I view code creation as easier than other things.

I meant it replicates generally poor human reasoning capabilities but there is no general method to reason something out (because token probabilities are not informative to that end). You can train humans somewhat to that end, but not easy.
Quantum Computing with Light: The Breakthrough? [video]
I doubt it. It's an exercise in predicting the future, with so many variables, over such a long timeline, that any model will just unwind.
It’s a neat idea with potential - but why the need for a login? That makes it feel like my files are now someone else’s.
There are wide ranges of strength in peoples beliefs. I'm sure some can never be convinced, but for others it's a question of chipping away at why, and how they would define reasoning in ways that categorically excludes machines but not a significant portion of people.
The fine article addresses most of this. In their terms, you are complaining that this ENIAC of AGI is not performing like a CAD workstation or something. Of course it isn't. The question is not how performant it is, but whether it is AGI - no matter how insufficient for our ideal Jetsonian needs.

Your only argument for it not being AGI is "clearly". You'll need to expand on that part.
They're just demonstrating that it wasn't written by ChatGPT for you up front /s
Or use a password. Seriously, you have to do better here. I guess we will see recovery options by a master password and then the mechanism would be the question again.
oh thx for sharing his background. this highlights something that i repeatedly find so frustrating.

this guy knows what he’s talking about. he has authority in his field. he has proven both theoretically and materially that his wisdom is high quality.

yet, videos from people with far less expertise on the subject matter will likely drown his out. over and over again i’ve seen the top videos on so many subjects repeating just plain wrong information but the “creator” says it with confidence so people just eat it up. even worse, so many times i’ve seen people in the comments try to nicely point out where the “creator” went wrong, and people go after the commenter for daring to imply this person on the magic screen might be misinformed.

it’s such a shame that being higher in the search says almost nothing about your knowledge on a subject and only means you’re better at manipulating the algorithm rather than having actual higher quality information.

i really wish that our searches would prioritize quality of information. at this point, years later, i think it’s pretty clear that the “wisdom of the crowd will shoot the highest quality to the top” has been proven to not be the case.

also, i don’t want to imply that amateurs can’t have valid and interesting perspectives, sometimes they might, just that being higher in search means quite literally nothing on wisdom of a subject—especially if a grifter can monetize off a trendy nuanced subject.

anyway, this video was incredible information. thx for sharing his background.
Every time the EU forces Apple to open up some of their platform (USB C, alternative app stores, etc) there's a top comment in the thread saying how the new change makes Apple platforms somehow "ickier", that they chose Apple because of the walled garden-ness that somehow makes it safer, and so on.
There are a variety of ways to do this and all depend on a variety of factors that are not part of the question. When the goal is to solely lose weight you must have a different strategy than when the goal is to lose fat and retain as much muscle as possible. My guess is that your goal is really the latter unless you're so morbidly obese/non-active OR carry so much muscle that you'd be willing to sacrifice muscle just to remove the fat. Then there are other things to consider: existing medical conditions, current physical make up and capacity, personal preferences, genetics, and the like. So the real answer is 'it depends'. The state of nutrition, health, and exercise science is so screwed up right now it's often hard to gauge what works and what doesn't. Couple that with terribly unhealthy yet highly convenient food choices and it's no wonder the west is growing laterally.

If you're asking for _my_ strategy I have a few very basic and easy rules:

No alcohol. Not even socially. It does absolutely nothing for you, even the much incorrectly allauded red wine (there are better/cheaper ways of getting antioxidants).

No processed foods. Shop the perimeter of the grocery store where the produce, meat, and dairy is - stay away from the inner aisles.

Fast occasionally. This is usually a 20-24 hour fast once every 3-4 weeks.

Some form of level 2 cardio for at least 20 minutes every day and lift weights. The lifting frequency is up to you but my routine is Monday, Wednesday, Friday, Saturday. The more muscle you put on the faster your metabolism is.

Remove the vices from your life. This is easy to execute but takes time to do well if you use a slow elimination. For instance when I started losing weight I removed one vice a month, and it could be specific as I wanted. It started with beer, then white bread, then potato chips, and so on. At some point I had nearly a couple of dozen things on my list that I had eliminated and no desire whatsoever to consume them. I allow myself those things as treats (I still enjoy cake when it's someones birthday) nowadays but the constant craving for them has gone away.

EDIT: Forgot sleep. Get more than you think you need.
They’re making a token effort, but this kind of thing doesn’t extend to something more intelligent that can cause real harm. If you scaled GPT-4 up to something much more intelligent, it would probably at best just try to please us with ethical-sounding responses that aren’t necessarily actually good decisions. I remember seeing something where it said that saying an offensive word that no one will hear isn’t acceptable even if it’s the only way to save millions of people
To honest, I'd also be thrilled to have badgers and foxes in my garden, I have to drive for miles to see them. Wolves, maybe less so, but only on account of my chickens and small dogs.
Not too similar, imagine all the liquids in your body while running at 2g.
Does anyone have recommendations if you want to simulate poor/unreliable/slow networks in order to ensure a client application handles these scenarios? Would a network emulator be the appropriate tool for this?