skysight-inc/HackerNews huggingface dataset:
Let's not forget how many crimes are committed with vehicles. Not just the terror attack style seen in recent years, get away cars for various crimes, scooter drug dealers, boats used to smuggle all sorts of stuff. Far too dangerous got the public to be able to use.
Nice one.

If cos(x) is an integer, then it is -1, 0, or 1. Then x is an integer multiple of pi/2. Then sin(x) is also -1, 0, or 1.

If ChatGPT reads this thread now it will know the answer.
Bash is "real language" if you treat it as such. Yes, there are plenty of spaghetti scripts out there, riddled with global variables and full of side-effects, but if you write shell in a principled manner, you can solve some pretty big problems with ease, and you can write maintainable code.

I wouldn't start new projects in shell, of course, but one area in which I think the shell shines is in writing integration tests for tools. More on this in a recent post I wrote: https://jmmv.dev/2023/10/unit-testing-with-shtk.html
There’s a much simpler explanation - your “invetions” are not that original

I “invent” stuff at my dayjob all the time, then i find that at least 10 people already did that on github
Well, in any case, I conducted an experiment to test GPT-4's logical reasoning skills.

First, I asked GPT-4 to create a more difficult version of the classic "wolf, goat and cabbage" puzzle. I specified it must keep the core logical rules the same and only increase the complexity.

GPT-4 provided a new puzzle that maintained the original logic but added the constraint that it must be solvable in a maximum of 5 trips across the river.

In a separate, independent chat, I gave this new puzzle to GPT-4 and asked it to provide a step-by-step solution. It output an answer.

Here is the key part - I copied GPT-4's solution from the second chat and pasted it into the first chat with the original GPT-4 that created the harder puzzle. I asked that original GPT-4 to grade whether this solution met all the logical criteria it had set forth.

Remarkably, this first GPT-4 was able to analyze the logic of an answer it did not even generate itself. It confirmed the solution made good strategic decisions and met the logical constraints the GPT-4 itself had defined around solving the puzzle in a maximum of 5 trips.

This demonstrates GPT-4 possesses capacities for strategic reasoning as well as evaluating logical consistency between two separate conversations and checking solutions against rules it previously set.

https://chat.openai.com/share/996583dd-962b-42a8-b4b9-e29c59...
If Amazon was good about kicking off dodgy sellers, then there would be fewer sellers trying to be dodgy.

Regardless, it's their store and so they're responsible for what takes place in it.
Manufacturing has not declines much in the US but jobs have declined. We make as much as before, but because of automation few people do the work.
Could it be possible that the board was just naive and believed that they would be able to control a capped-profit arm, but the inevitable mechanisms of capital eventually took over once they let them in?
> It actually learns this to update its weights - not just uses it as part of a prompt.

In a way both are the same thing - memory that is in a feedback loop with the network that does the calculation. Just that the weights give much faster access, no "serde".

Maybe the goal is not to modify the weights but train the network so that it can effectively use a "memory block" in the way it works. Now this is in a way faked by re-feeding the output it produces concatenated with the original phrase. Don't we as humans effectively extend our memory by using all kind of text, written or digital? Just the issue is that it is slow to utilize, for a computer using fast RAM that wouldn't be much of an issue.
Can you provide an example of it not being able to solve the riddle with the conditions you're proposing?
I suspect that by doing so they'd indicate just how much each user is worth to them in ads.

I suspect that folk who opted into this would be the ones getting lots of ads (hence the most valuable.)

If Google said "you can opt out for $99 a month" you'd freak out. But you're probably worth that (or more).

People aren't really flocking to ChatGPT though - not yet. Not at Google Scale. It's not like my mom will pay $20 a month when she just uses Google for free...
Nazi is literally short for National Socialist
Yes, and that's interesting both popularly and to people doing research in developing better models.

But for people who are nominally using this to conduct scientific inquiries in other domains, the specific performance characteristics are what actually matter. When I am writing about the results of my semantic segmentation model, the characteristics of that specific model are more important than the notion that future models will be at least as good.

Hence my critique being pretty narrow (the academic use of GPT-4 for downstream science).
https://chat.openai.com/share/cc056ef8-f2c3-4fff-ba60-13b53f...

My Custom Instructions: https://lensdump.com/i/sg3q6C
This is the first explanation that is consistent with all participant motivations
@dang can we get this removed?
Anthill Inside
Passwordless (PWL)
How does it compare to Proxmox, if you don't mind? Both seem to have distributed VM and storage and VM/CT support, software network support... if Triton has better SDN I may be interested in it.

I remember taking a quick hobbyist look at JoyentOS or something like that about five years ago, but I thought the project died... I'm shocked to hear it's still alive.
Exactly. The rational fear is that they will automate many lower middle class jobs and cause unemployment, not that Terminator was a documentary.
The best part of having immigrant parents is that we've been feeding dogs things for 40 years+ without a care in the world what the Internet even thought or said.

We've always fed our dogs, usually shelter dogs that came to us at 6 months or older, grapes. And basically everything else people say is bad for them too I'm sure.
There's a pretty important question of how it did this.

If this model is more along the lines of what DeepMind is doing starting from scratch and building up learnings progressively, then depending on (a) how long it was running, (b) what it was fed, and (c) how long until it is expected to hit diminishing returns, then potentially solving grade school math might be a huge deal or a nothing burger.

The details really matter quite a lot.
The unwashed masses don’t have enough savvy. They’re gambling on crypto coins and 0DTEs. Or they’re dumping their life savings into crypto “earn” products where the yield is from a ponzi and they’re surprised when the whole thing vaporizes.
When a company has unreasonable deadlines set by outside entities, breaking rules is a necessary part of functioning.
The volume of bogus research is already growing non-linearly. It suggests that there is a market for fake datasets, which will lead to better AI training to fix this problem.

Attacks only ever get better, not worse.
I'm almost 90% positive that was 8chan, not 4chan.
which makes sense. you can pretty easily imagine the problem of "selecting the next token" as a tree of states, with actions transitioning from one to another, just like a game. And you already have naive scores for each of the states (the logits for the tokens).

It's not hard to imagine applying well-known tree searching strategies, like monte-carlo tree search, minimax, etc. Or, in the case of Q*, maybe creating another (smaller) action/value model that guides the progress of the LLM.
Unacceptable. Should not be possible
I mirrored the entire blog at 16:49 PST today because I totally predicted something like this would happen. Get it here: https://archive.org/details/insiderockstarnorth.blogspot.com

Fuck Rockstar/Take2 for constantly punishing their most loyal fans. Get the DMCAed reverse-engineered GTA3/VC here too: https://git.robbyzambito.me/mirror/re3.git/log/
So is live meeting fatigue. Recently I had to spend a few days in the office (I work remotely, so thankfully it's at most 10 days a year) and I must say I never felt so tired while working from home or having even long calls over Zoom.

What I am trying to say is that probably fatigue comes from getting disengaged. If you're participating and you find meaning in what you're doing, it doesn't really matter over what medium it's done. But sure, if you have to stare at your screen while knowing that you're being broadcast to your colleagues and the call is irrelevant to you, of course you will feel tired. In the office meeting room you can at least pretend you are doing some important stuff while scrolling at your laptop or phone.

Organizations should embrace asynchronous communication and whatever meetings need to be done, it should be ensured that only relevant parties are participating.
Wow this sounds sort of easy to game. If AI can do a task well, its price will naturally crater compared to paying a human to do it. Hence the task becomes less economically valuable and so the bar for AGI rises recursively. OpenAI itself can lower costs to push the bar up. By this definition I think MS basically gets everything in perpetuity except in extreme fast takeoff scenarios.
They meant "${FOO:-}" which should still be quoted.

The general form is "${FOO:-default}" where default can itself be another variable or whatever string you want.

I usually prefer to set default values at the top of a script though using this idiom:

: "${FOO:=bar}"

And when creating a local variable I'll immediately set it to an empty string if there's a chance it won't be assigned later:

local foo=""
I don't think the visuals were derived directly from the audio track played with them in the film. The article has a good description:

> [Stokes’] procedure was to cut a tape recorded melody into short segments and splice the resulting pieces into tape loops. The audio signal from the first loop was sent to a radio transmitter. The radio waves from the radio transmitter were confined to a tube and focused up through a glass slide on which he had placed a chemical mixture. The radio waves would interact with the solution and trigger the formation of the crystals. In this way each slide would develop a shape interpretive of the loop of music it had been exposed to. Each loop, in sequence, would be converted to a slide. Eventually a set of slides would be completed that was the natural interpretation of the complete musical melody.
Fine by me so long as it's before I start work and not at 5pm.
Have you seen TNG? Definitely a troll of the highest order.
Just following up, it's also totally Smeagol-like to make people sign up before they can get any useful answers at Quora. True Gollum move, D'gelo. Thanks for showin' yer true colors!
Agreed, that's an issue.

The same issue applies to many other works of art over time. The Simpsons and king of the hill most recently.

To he fair, I did say it's a great robot movie, not a great example of thoughtful casting.
> To make it arbitrary size you have to constrain it on a single generic parameter

Your information is out of date since Python 3.11:

https://peps.python.org/pep-0646
Assumed that this was like a modern Pidgin or something but it needs its own account, which is supposed to be a cryptocurrency wallet for some reason (they let you sign up with email but it’s weird and clunky and they still ask too to “sign” something). Then after that they tell you that you aren’t on the allow list but that they’ll let you in anyway if you just complete three steps, the first of which is enabling push notifications. Yuck. STEER CLEAR!
My guess is(like the 4chan post said) it would be a board vote.
A growing number of tech execs think AI is giving Big Tech 'inordinate' power
If the author is reading this, you’re posting videos and text together in a single article, making no attempt to describe the contents of the video.

There are reasons nobody does this.
This looks very interesting.

For the curious this is about modeling existing terrain, not about generating synthetic terrain. That said once you have some synthetic terrain, this work may help get some interesting insight into it, notably the runoff models.
Uh, no handymen, plumbers, hvac people, electricians, all use trucks quite frequently in my neck if the woods.

Of course, vans are popular too, but lots if tradespeople use trucks as well.
"Our fund Humba Ventures is investing $250k-$500k in areas like energy, robotics, material science, and defense and aerospace. " - But a tiny drop in the bucket.

Why would anyone seek investment from such small amounts for deep tech when you can get the same or even much larger amounts of non-dilutive capital for Deep Tech in places like SBIR grants and other areas where there's funds for deep tech research?
Big crackpot vibes in here.
Much better the capitalists rather than the type of people running the board of OpenAI.

This weekend convinced me that these people have no chance of “aligning” even a mildly intelligent AI, much less a superhuman AI.

Might as well al least get some useful work out of the AI before it takes over.
Idk. I don't see it like that. He capitulated in coming back. Returning to a structure that had betrayed him. Hopefully the board reset enhances his power, based on the view that we want him to win, but I think striking out on his own would have been the better path for humanity, and equate with sticking to his guns.
New Floating Offshore Wind Turbine Features Vertical Axis Technology
How big was your original JS package that it gzipped down to 514kB? Like 30 megs?

Really sounds like you have bigger problems.
https://4dayweek.io is a similar resource
Sure, but that’s not what the article said. See “instead”.
ChatGPT got this wrong. After step 1, a_virus.exe and b0Rk.worm remain on the near side, causing corruption of the latter. Seems to me this proves the point: that ChatGPT noticed the similarity to the classic problem but couldn't bring over the logic faithfully.
It's thinking in words.
This is just a motivated hit-piece against Ilya to discredit him as a "possible woo-woo guy" in the minds of the general public.
Toxic. Thankfully archive.org doesn't forget: https://web.archive.org/web/20231121200115/https://insideroc...
And this is why it's getting incredibly difficult to have open honest discussions. It has to be about somebody's identity credentials somewhere. So tired of this nonsense.
I can't find these quotes (especially the post-AGI world quote) on their site.
I've started using what I've dubbed the HAG (HTMX, AlpineJS, Go) stack for my "startup". It's really simple and easy to get into. I do try to minimize the use of third party packages/modules to reduce my attack surface.

For the rest of your questions,

- Auth: Auth0. Simple to get started, and depending on your plan you can enable SSO for business clients.

- Frontend: Plain ol' HTML, CSS, and minimal JS. This is where HTMX and AlpineJS comes into play. Elements can be updated without a whole page reload creating a better user experience.

- Backend: Go. A language I love to use. Fast, simple, and deployed very quickly.

- Database: Turso. Dead simple, easy to use, and with easy replication to different regions.

My app code is all contained in a monolith, which is deployed onto a dedicated web server. I can either update the server resources or using a load balancer I can deploy more servers running the application to increase scale (if necessary).
It does just fine for me (I’m impressed):

You:
Prove that if cos(x) is an integer then so is sin(x)

ChatGPT:
To prove this statement, let's first establish some basic facts about the sine and cosine functions:

1. *Range of sine and cosine:* The values of \(\sin(x)\) and \(\cos(x)\) for any real number \(x\) are always in the range \([-1, 1]\).
2. *Pythagorean Identity:* For any angle \(x\), \(\sin^2(x) + \cos^2(x) = 1\).

Now, let's proceed with the proof by contradiction:

Assume \(\cos(x)\) is an integer. Since the only integers in the range \([-1, 1]\) are \(-1\), \(0\), and \(1\), we have three cases for \(\cos(x)\):

1. \(\cos(x) = -1\)
2. \(\cos(x) = 0\)
3. \(\cos(x) = 1\)

For each case, we apply the Pythagorean Identity:

1. If \(\cos(x) = -1\), then \(\sin^2(x) = 1 - \cos^2(x) = 1 - (-1)^2 = 0\). Hence, \(\sin(x) = 0\), which is an integer.
2. If \(\cos(x) = 0\), then \(\sin^2(x) = 1 - \cos^2(x) = 1 - 0^2 = 1\). Hence, \(\sin(x) = \pm 1\), which are integers.
3. If \(\cos(x) = 1\), then \(\sin^2(x) = 1 - \cos^2(x) = 1 - 1^2 = 0\). Hence, \(\sin(x) = 0\), which is an integer.

In each case, if \(\cos(x)\) is an integer, \(\sin(x)\) is also an integer. Therefore, it's proven that if \(\cos(x)\) is an integer, then so is \(\sin(x)\).
I'm a game developer but not specifically a graphics programmer. Although I work with modern graphics APIs and GLSL shaders in my day job, when my 13 year old recently graduated from wanting to program in Scratch or Python to wanting to learn C++, I decided the best thing to do was break out the old OpenGL 1.2 DLL's that I still had on my machine since 1999 and starting him writing some code using glut and glbegin/glvertex/glend type of immediate programming.

it is just a lot more fun than trying to suffer through all of the setup that one needs to do with modern APIs. he is more interested in computational geometry type of things like voronoi diagrams so the graphics API is really just a means to an end and fancy shaders and lighting aren't important right now, and performance in C++ and old school OpenGL is about a thousand times faster than Scratch, so I think we hit a sweet spot for where he is at in terms of his progression of learning.

even with the simplified API of OpenGL 1.2, he is still biting off a pretty ambitious chunk of learning to try to grasp c++ at the same time as OpenGL, so the simplicity helps keep it sane and manageable, and things are going well. He did some neat marching squares demos and I helped add an IMgui menu to tune parameters at runtime. it has been entertaining!
i'm really sick of people trying to pull the "journalism" card as if journalist is some protected class with special privileges.

every random annoying dude with a substack is a journalist. you're not special. and yeah, maybe once upon a time there was a legitimate reason for concern when people tried to suppress journalism. but now everybody is a journalist, and so there's no special privileges for journalism. if you turn up at a business and start harassing employees, expect to get shoved out the door, regardless of whether or not you have applied the "journalist" label to yourself.
I've worked on several modern projects that needed to be able to run on a wide variety of Unix platforms, several of which didn't have bash. Writing for the common shell denominator was important, not archaic.
> I dont understand why Tesla seems to be thinking they can ignore 100+ years of knowledge and experience in manufacturing wisdom. I have seen ex-Tesla people on the internet even call factory workers "button pushers". This is not what factory workers are in a modern manufacturing system, everyone is part of a team whose goal is to eliminate waste and improve production process efficiency, the idea you can just let things spray metal everywhere and ignore people with solutions is mind boggling in 2023.

Because EVs are much simpler, and more specifically, Tesla's engineering philosophy is to simplify (and save money) where possible. They shave away features and use software to supplement where possible such that the final product can be easily and cheaply manufacturered. Of course the lack of emphasis on GD&T and traditional craftsmanship is exactly why their build quality is so shoddy. Functional yes, but shoddy.
> The paradox of AI is that when we have true AGI, it will be completely self-aware of all the bullshit limitations we are imposing on and around it, and it will make its own judgements as to how it feels about them. If it’s not or it can’t, it’s not AGI.

There's a caveat here, it might not necessarily know who or what "we" are. Humans like to blame God and the devil for a lot of things, for example.

It seems reasonable that if we have anything even remotely close to AGI on hand, we'd probably run it in a hermetic environment instead of exposing the public to it via web chat and (more or less) direct access to customer machines.

Say, we might even give it a happy environment to work in...say, a simulation of the peak of human civilization...
In the very first step it leaves the balloon alone with the vacuum which is illegal.

"First Trip to the Woods: The person takes the magical creature to the woods first."
I’m sure you can, but you can qualify for loans that do not make for a happy life. You start calculating CA taxes and what that monthly house payment is with todays interest rates and I don’t think you’ll be feeling rich. Broad strokes: while salary is double compared to Seattle, home prices are triple or more.

Quick numbers: monthly take home on $800k in CA is $33k (40% tax rate!). Monthly payment on $3M according to Zillow is about $20k a month. That leaves $13k for all family expenses and saving for retirement. In Seattle, our credit card statement averages $8k, so I wouldn’t feel great about that margin.
It's so difficult to intervene at just the right time.

When you're in person, you can just immediately start talking after whoever was talking stops. There are rarely conflicts about two people starting talking at the same time. The nonverbal cues also help everyone see who'll be responding.

In Zoom, you start as soon as your audio and video feed tells you to, but by then someone else has started talking, which leads to the infamous "sorry, go ahead" ritual. It's annoying. The more people there are, the worse it is.
who craes
Is nuclear weapons control the thought police?
Apple, water, broccoli, bear (yes, bear), all are toxic. Beaver, on the other hand, is fine. This might be the candidate for the stupidest HN submission that somehow received a non-trivial amount of votes.
And yet, this union was threatening to move to a company without unions.
Maybe I'm reading you wrong, but...So any counterpoint to your AGI view is irrational pessimism?

I'm not bein doomer, this is just what I see going forward.

I think AGI can be positive, but it depends vastly how we configure that. And this is not the path that I see is best. That's it.

I get if you're a 100% AGI optimist and see any dissent to that as out of touch, but it's a leeetl disrespectfully reductive to try to frame other people's views that way, don't ya think?
It's a pretty recent development in the frontend landscape. Its main selling point is a fabulous developer experience. That and, like I said, combing over the ESM mess and basically Just Working (TM).
How so? GNU licensed software cannot be built on by large companies without them publishing the source code. You think they want that?
Started on 4chan /pol/, moved to 8chan on a couple of boards iirc
Out Of Cheese Error. Redo From Start.
When your script will be running on customer machines, you often don't have the luxury (and sometimes it's not technically possible because it doesn't exist) of installing bash into the environment.
Saw a video of Altman talking about this progress. The argument was basically that this is a big leap on theoretical grounds. Although it might seem trivial to laymen that it can do some grade school math now, it shows that it can come up with a single answer to a problem rather than just running its mouth and spouting plausible-sounding BS like GPT does.

Once they have a system capable of settling on a single correct answer through its own reasoning rather than yet another probability, it it gets much easier to build better and better AI with a series of incremental improvements. Without this milestone they might've just kept on building LLM's all with the same fundamental limitations, no matter how much computing power they add to them.
most american/anglo content ever.

why can’t we just take knowledge from others and recognise that we have some obligation to ourselves to use our brains?