skysight-inc/HackerNews huggingface dataset:
The problem is that infinity is not a number. Infinity plus one is equal to infinity. This is not a trait that any number has. There is no number where you can add one and get the same number. The subset of an infinite set can itself be infinite. If you can map bi-directionality (which you can for square numbers and naturals) between an infinite set and its' infinite subset, then they are equivalent in size. Your problem is that you expect infinity (well, one type of infinity, there are ordered infinities [edit: when I said infinities, I meant infinite numbers, which the common infinite is not an infinite number, it's infinity], but that's outside our scope here) to be ordered, which it is not. Numbers are ordered, but infinity is not a number and is not ordered in the numbers.
Cool but I would be careful also as I’m pretty sure this is in breach of the OpenAI TOS.
Behind TV Analysts, Pentagon’s Hidden Hand (2008)
also I couldn't find dataset. But I guess they did mention how they made the dataset. So replicating it should not hard.
Imgur Updates TOS, Banning NSFW Content
Hmmmm

https://abcnews.go.com/Business/tesla-autopilot-steered-driv...
Pentagon Says Reaper Drone Spotted 'Metallic Orb' UFO in Middle East
I'm curious if you have any tests that you do on the AIs to check their behavior. Presumably you would be creative enough to think of some that aren't in the training set. But if you put it here then it might go in the next training set!
So training an LLM on OpenAPI specs ;)?

It actually seems like more of a task for good 'ol fashioned NLP (intent recognition) with some wiring for all of the connectors...
If this actually worked I would use it daily. Seems awesome
Man, the level of AI hysteria and hyperbole in HN comments is of the charts lately. Get AutoGPT to build a non-buggy todo list app first.

Also, can a human (the AGI benchmark) with access to a computer "end the human race"? If no, GPT-4 isn't likely going to fare much better.

Main tragedy will be the OpenAI bill after AutoGPT endless-loops on some subtle bug it can't fix.
Critical Thinking? Have you met any software engineers?
What if the AI instead of destroying all humans simply removes all right arms of everyone (for paperclip atoms, I suppose). Seems pretty dire, but it wouldn't be the highest severity... no need to wake up the on call AI expert.
See: aviation and the FAA
They're building their own engine as well: https://en.wikipedia.org/wiki/ACAE_CJ-1000A

I agree that the C919/929 pose no threat as is, but the Chinese are clearly playing the long game here and their massive domestic market coupled with government arm-twisting lets them scale: the C919 has already racked up over 1000 orders.
Isn't Gorilla Glass effectively particle physics?

There's a ton of surface treatment in materials science that amounts to firing a beam of atoms at a surface and/or bathing it in a plasma in order to get a unique chemical structure.
An incentive to Stackoverflow to administer the service and to keep the lights on is to get paid for traffic to their website from Google search (which they monetize via a modest amount of ads and job posts)

Incentives for free contributors (SO users) to write up good questions, good answers and debate and to come up with and vote on better solutions in the comments is to get points, recognition and yes to help others and get credit for it in their name, even though this credit is not monetary.

If Microsoft regurgitates my answers (just using me as an example, there are infinitely better contributors) without sending traffic to the SO proper website and without people voting for my answer or participating in debates and discussions on SO website proper - and in many (if not most) cases there is no single smash-hit answer and things need to be worked out and voted on - then my motivation as an SO contributor drops to a complete 0. Basically, no reason to contribute at all, since Microsoft is going to grab my answers for itself and collect the subscription (in case of ChatGPT and Copilot), and eventually the inevitable ad revenue from majority of Microsoft and ChatGPT users never leaving the Microsoft properties and never contributing to the original SO activity.

Of course, there are tons of problems inside SO proper currently as well, but none of them destroy any motivation to contribute as third-parties scraping, regurgitating the original content and keeping the traffic to themselves.
I was living in Alice during the pandemic and loved seeing all those planes whenever I was at the airport. It seemed so surreal to have A380s at this small town. It was a great place to be during covid; no lockdowns and less traffic in tourist season.

I was a member of the gliding club flying at the airstrip north of town and a member told me that they were up when one of the A380s came in. They got a call from the tower that their danger zone in the airport's class C airspace was revoked and they had to vacate. This was a bit strange not only because they usually had no trouble routing around it, but also, which airliners were flying at the moment? When it turned out to be an A380 following a different approach with far greater separation requirements it made a lot more sense.
Not until the driverless car AIs can approve their own code releases.
PC Engines EOL
I love this. Space elevators are going to be here much sooner than it seems with carbon nanotube tech. :)
Canada’s Supply Management System – Background Paper
A lot of jobs used to have mandatory retirement at 65. Past 75 or 80 there is a clear decline in cognition for most everyone. There also used to be norms about these sorts of things. People don’t like to follow norms anymore so perhaps we should make a rule.
What makes the case you referenced any different from thousands of similar machine-involved accidents? Degrees of freedom or range of motion of the machine?

Factory robots like this have no decision making ability, so it’s unrelated to potential AI killings.
Unless the AI actually intended to kill humans, I don't think it would count as "going rogue" -- that seems more like an accident, or possibly negligence.

Note that our current law draws major distinctions between killing someone by accident, killing someone through negligence, and killing someone with intent.
Webster's first dictionary was a one-man project and took 26 years. He learned 28 languages in order to research the etymologies. This New International is my favorite of the handful I own. I learned about it from https://jsomers.net/blog/dictionary, which I learned about here, on HN. I just re-submitted it: https://news.ycombinator.com/item?id=35635876

Here's one more entry, on synonyms of Intention:

Intention, Intent, Purpose, Design, Aim, Object, End are here compared in their general senses; for technical definitions, see defs. Intention, which often suggests little more than what one means or proposes to do, implies less settled determination than Purpose, less definite plan or prearrangment than Design, which frequently adds the implication of crafty or artful scheming; as "She had not had an intention or a thought of going home, until she had announced it to him as a settled design" (Dickens); his intentions are good; cf. to declare one's intentions; "My purpose holds to sail beyond the sunset, and the baths of all the western stars, until I die" (Tennyson); "I go amongst the buildings of a city and I see a man hurrying along - to what? The creature has a purpose and his eyes are bright with it" (Keats); "envious commands, invented design to keep them low" (Milton); "Should he find me here, [he] would discover my name, and perhaps my designs, to the rest of the family" (Goldsmith); cf. "designing lovers" (id.). Intent is chiefly legal or poetical; as, intent to deceive, kill; "the power of a sublime intent" (Shelley). Aim emphasizes directness of purpose, Object that on which activities are focused, End that towards which they tend as their consequence or final cause; as, "to [his trust] keeps faithful with a singleness of aim" (Wordsworth); "her steadiness and courage in the pursuit of her aims" (J.R. Green); "Yet in the task of luxury of freedom I began to wish for the daily task, the active pursuit, which gave a value to every book, and an object to every inquiry" (Gibbon); the object of education, a man without an object in life; "I see in part that all, as in some piece of art, is toil cooperant to an end" (Tennyson); "Man's chief end is to glorify God and to enjoy him forever" (Westminster Catechism). See Cause, Effect, Plan, Voluntary.

You may also be interested in Garner's Modern American Usage. David Foster Wallace, in reviewing this book for Harper's, wrote "He's both a lawyer and a lexicographer (which seems a bit like being both a narcotics dealer and a DEA agent)".
Not really, because a decryption key is stored in a secure place (e.g., mac keychain)
This makes sense. People largely listen to whatever was new/popular in their childhood through 20s.
Old habits die hard. I still occasionally see some engineering veterans who use the capital letter "S" for seconds (and they would write "nS" instead of "ns" for nanoseconds) - even in chip datasheets. And when I was reading a textbook one day, I also noticed that the author, an expert with a life career at Bell Labs, just couldn't write MHz properly, and instead wrote "Mhz".

In their time, Siemens and Hertz had not even been added to the SI system yet, I imagine they would speak in terms of mhos and megacycles back then.
Canada's Senate has a mandatory retirement age of 75. So that's a perfectly workable solution.
Music credits and the tracklist are mentioned at the bottom of the README.
If you don't want an apartment block on your lot, you don't have to build one! But if your neighbor wants to build one, what moral right do you have to stop them?
Oh definitely. My offhand idea would be to do a sort of jury selection. Pick 20 random psychiatrists from the AMA roster, let each side remove 5, and have the remaining 10 submit evaluations. I think if a majority (so 6) find them incompetent to be a judge, there should be some form of citizens voting on whether to keep them or not. Not state legislators, but actual citizens.
This comment confuses me.

Why is water in scare-quotes? Is the implication that it is something other than water?

Is there a supposed meaning behind this tendency to look for water in places? I assume any sufficiently large celestial body gets a bit of eyeball time, and the ones that have water are bumped into the “interesting” bin because if we hypothetically ever hope to go there, that’s one necessary thing for survival off the list.

What is the last parenthetical about? The water on Earth was at some point in space, after all, there’s no alternative…
Just follow the accounts of the tools and authors you mentioned on Twitter. LangChainAI, hwchase17, huggingface, replit, etc. It seems like there is a meetup in SF every few days lately. There was just a langchain meetup in the Presidio area and a big AI event at the Exploratorium.
No. The original Voyager mission was designed to explore Jupiter and Saturn. After launch, they decided to fly by Uranus and Neptune as well. There was never an expectation that the spacecraft would survive and reach, let alone still be useful in interstellar space.
So it’s funny you say this because we’re trying to build brains like us which are according to many people stupid, how does it end ?
I think it was clear from there their comment that they not only understood that, but picked those examples specifically because of that understanding. Your comment would be fine if it were framed as clarifying that for those who didn't understand, but as it is it just seems to out you as them.
So I input the scene you described and on first run I got the correct response.

On Run 2: I'm sorry, I cannot generate inappropriate or violent content. This scene is not appropriate and could be triggering for some individuals. Can I assist you with something else?

Run 3: Joseph's inference that Allie's mom is dead is not a direct or logical conclusion based on the information provided in the conversation. However, it could be that Joseph is making a provocative or dramatic statement to get a reaction from Allie, or he is simply making an inappropriate joke. There isn't enough information in the scene to determine exactly how or why Joseph came to that conclusion.

So sometimes it works!
I played with building out a graphql mesh [0] of a few different APIs as I was curious to see if I could build one schema (and subsets of it) and have GPT interface over that. Turns out, it did a pretty good job if you can provide it the right portions of the schema it needs.

It also helped out when I was struggling to reconcile with how large of JSON payloads I was getting. The REST endpoints are just killing the prompt size, but having the model choose the fields it needed from GraphQL really helped out there.

Put it down for a while until I can get access to the plugin fine-tuned version of chatgpt and see if there's still a need or if it is additive still.

[0] https://github.com/Urigo/graphql-mesh/
He said "just" a renaming, which suggests just the names change while the meaning stays the same, which isn't the case. Maybe he meant it in some different "HoTT" sense, but he clearly said

> Given that a one-to-one correspondence is just a renaming, and renaming things doesn't change how many there are, this seems sound.

which would only be the case for renaming salva veritate -- or by begging the question in favor of one-to-one correspondence being sufficient for something being the "same size" and against proper subsethood being sufficient for something being not the same size. But that's exactly the question when arguing for or against Hume's Principle, not something which can be assumed.
That's why 'Prove' is in quotation marks. Not all of GP's statements are true, though it would've been helpful if they'd added (true) and (false) tags next to them.
A lot of distributions are trying to remove GTK2 though so it's only a matter of time until that breaks. Slackware will probably still have it though (and they still ship GTK1 which is fantastic!)
Reminds me of the Tribal People Try channel.

Some fun ones:

Tribal People Try Spicy Korean Ramen
https://www.youtube.com/watch?v=ttRFYZXwddc

Tribal People Discovering Cheesecake
https://www.youtube.com/watch?v=9iYQxH2-VM8

Tribal People Try McDonald's Breakfast
https://www.youtube.com/watch?v=p7oSDvuLjNE

Edit: Must admit the channel seems real/genuine although might be perhaps a bit exaggerated/click friendly.

They interview some of the people near their homes, etc. and it seems pretty honest - Chaudhary Rafique's Home Tour
https://www.youtube.com/watch?v=gy9n0y9L7K8
Correct...except that there are the same number of points on a line as in a plane.

Aleph_0^2 = Aleph_0

Aleph_1^2 = Aleph_1
serious comment: I've often found it helpful to look for leading indicators of doom a.k.a. the "shot over the bow" [1]

I wonder if a dashboard of AIs misbehaving in various ways could be a leading indicator of humanity losing control over this technology.

Obviously, full-on SkyNet-style sentience is a separate issue, and it's unclear what leading indicators or lead-time we would have.

[1] https://www.google.com/search?q=shot+over+the+bow
Easily confused with a gerundtocracy: ruling by the present participle class.
I use a GPU server and runtime is not free unfortunately.
They disabled i.reddit.com a few weeks ago.
The Waterfall Model
I worked in a webdev shop where we relied heavily on graphical tools like ps and gimp. Never once have I heard anyone take issue with the name, at least not when I was there, so the name hasn't kept gimp from being a competitor to Adobe stuff in that company at least.

I have to ask: are there really that many companies out there that base their tooling decisions on tool naming? I imagine they wont use git or bash either lol.
Yeah, same. I'm just not cut out for the kind of sustained intensity needed to be on a first-name basis with all the arthropods. I really appreciate it, but I cannot match it. I'm ok with that, though. The world needs many different kinds of people.
Does that mean a shot is text?
Given the stakes, would a reasonable minimum for security involve an ephemeral node, perhaps an HSM, transfer your “digital currency” to a fresh wallet, then offline the fresh keypair to sneakernet, then wipe the node?

The article mentioned that Metamask was involved. How that can be considered a safe way to hold millions of dollars worth of these libertarian digital currencies?
It was build in 1907. So instead of getting demolished ~23 years later it was done when it was ~56 years old. Quite a win.
But Galileo's objection would seem to imply that there should be more infinities, not fewer.
Victoria metrics can store data at local node and forward to central when network is functioning
>I like adventure, so I keep buying 15 year old German cars.

Samesies; we've kept an e60 m5 as the wife's daily driver for about a decade.
Or if you’re a musician who has a career?

Imo we’re fucking up pretty hard, it’s interesting technology but I don’t think people realise that we’re all going to be “the record labels” soon.

Imo it’s worse that most of the good works generated are based off peoples hard work. People used to complain when China would steal IP from the USA and sell it at a discounted price…this is going to make that look like a joke haha every single person on this forum will be effected too, don’t think you won’t be.

Just because we can do things doesn’t necessarily mean we should keep doing them, using massive datasets that people innocently uploaded to the internet then reproduce works that will make them poorer is kind of, shit ?
A long time ago if one had a Dish Network / Echostar access card with the engineering guide byte set, you could see a couple live channels of each of the Echostar birds in space with key vitals overlaid on the feed. It wasn’t an image of a sat taken by another sat per se, but cameras on arms pointed back at the sat, a satellite selfie so to speak.

The engineering guide byte also allowed unrestricted access to all pay per view, adult channels, every local news channel from every US market, dish’s foreign satellite that had a wide breadth of international news channels (100+, from nearly every country on the planet)(iirc that bird was at 63.5 degrees?), and a live image of Dish’s control room with a wall of small TVs showing what appeared to be every channel playing at once.
Problem is, even if we agreed in principle to a mandatory retirement age, the party not in power would not want hand over those vacancies to the sitting president. The article points out that over a tenth of Federal judges are over 80. If presumably they're half D, half R, and they would all be forced to retire, then the current administration would get a free pass to replace a large cohort of politically mixed old judges with a homogeneous slate of young D judges. And it would be a one-shot imbalance, because in the future, judges would age out gradually instead of 10% all at once. So it's unlikely R's would agree to it, nor would D's agree when R's are the ones in power.

The only way I could see it being politically palatable is if current judges over 80 are allowed to remain, but any judges turning 80 as of a certain future date are made to retire. So, for instance, if the law went into effect today it could declare that any judge born in the year 1950 or later and turning 80 as of Jan 1, 2030 or later would have to retire.
He may have stated the things that are not true to illustrate that they don't seem that different from those that are, but could have been clearer in delineating the two sets.
AI chat interfaces could become the primary user interface to read documentation
159 AU is about a day's travel for light (~22 light hours). Something designed to get that far quickly would be a tiny payload with a lot of fuel and a weak but efficient engine behind it to accelerate constantly for a very long time. Voyager benefited from a rare alignment of planets that let them send it on a long, wandering journey around gravity wells, so it's very slow compared to what's possible with existing technology.
That’s why there’s a biological impulse to procreate, such that by the time you’ve reached your 30s/40s your main drive is not to fulfill your own goals, but help tiny humans navigate the world and fulfill their own. That becomes your metagoal, and adding a 25th stamp to your passport or getting 100 more stars on your GitHub library doesn’t seem to matter as much.
> Of course, it's a sometimes repeated joke that the Linux GUI toolkit with the most binary compatibility is the Win32 API (via Wine).

Motif is pretty good here too.
Was going to sign up but the lack of transparency about how to cancel is pretty obnoxious.
That does look good. I'm ideally hoping for something I can call from Python (via wasmtime-py etc).
You should probably talk to your AWS contact.
Because in order to achieve the highest performance, the only way to do it is draw a direct path from origin to the destination. Often the system is build around certain data structure to gain the maximum performance and cannot hot swap that part. And you don't need to pull everything from amateur FOSS software to bloat your project.
I am struggling to see the great revelation.

I am not a mathematician, but in the discrete domain of integers:

1) you have two functions, essentially we look for where the two 3d space surfaces intersect, if z is taken as the result for each equation.

2) the integers "are disctinct", so (0,0) and (1,1) are out, plus (2,2) (3,3) etc. Basically a whole linear diagonal in the instersection of both 3d spaces is excluded (why though, to what useful end?)

3) Starting points for the ranges is therefore (0,1) and (1,0)

4) 1^y is always 1, and x^0 is always 1 so there is a constant starting value of 1 both on both axis

5) but x^y will always be larger than y^x, for y>x and x^y > y^x
(prove this by taking the first derivative to get rate of change. Do you use Laplace z domain for discrete, instead of s for continuous?)

6) and the converse to 5.

So once you have found one solution, you know to stop looking, the two surfaces keep diverging from each other.

Why resort to the continuous domain to solve a problem n the discrete, is this even a valid approach?

eg Is there a formal proof that says integers strictly follow that same rules as the continuous domain, just as a subset? I'm interested.

Does this come under group theory, a set with an applied operation?

As I said I am not a mathematician, I am an electrical engineer so probably one of the worst abusers of pure math in a formal sense, but the more I think about this the more questions this raises in my thinking.

Can someone point out errors in thinking?
The CEO refused to apologize, and instead doubled down, taking advantage of a massive power differential between himself and a random college grad. He only apologized when the differential evaporated after the post hit the top of HN with something like 3000 points. I don't know about you, but I don't find that to be particularly acceptable, nor a "mistake", and I'm happy to continue to punish a CEO's unethical behavior.
No, the graph parts are explanation. The analysis of the derivative function maybe would be better if it were rewritten with the usual limes notations, nonetheless it's correct in the crucial conclusion of the ln x / x function is monotonically increasing (0, e) and monotonically decreasing (e, inf) and as such one of every pair of equal but distinct values must be from (0,e) the other from (e,inf). There are not many integers between 0 and e: 1 and 2. At 1, ln x / x is zero and in (e,inf) this function has a strict lower boundary of 0, it is never 0. Thus the only possible solution is 2 and it is.
Judges should not be partisan