skysight-inc/HackerNews huggingface dataset:
this depends on how your setup is!

for instance bigger clouds offer you private registry with your account usually.

Then there is the github container registry:
https://github.blog/2020-09-01-introducing-github-container-...

one integrated for self hosted gitlab:
https://docs.gitlab.com/ee/user/packages/container_registry/

and of couse docker themselves have a container for a private registy you can run.

the question is not so much how but where you want it to be and how big the images are that you are using!

Hope this helps otherwise hit me up on linkedin (in my profile) and we can figure something out
Democracy, nuclear power, calculus, dna helix, x-ray, written word, relativity comes to mind for starters. There are millions others.
You relatively can.
Show HN: Game of Life but cells can move, have lifespans, and WANT to reproduce
Which is why it's only a conjecture. You need static analysis, SAT solving, and run-time checks to validate that conjecture.

Using something like GPT-4 on this problem is promising. It's probably going to be right most of the time, and its errors can be caught by the next phase of the analysis. That's about what you'd get if you put junior programmers on language conversion.
It would be hard to beat Edger Dijkstra's handwriting. See e.g. the one numbered 831, where he explains the naturalness of zero-indexing [0].

[0]: https://www.cs.utexas.edu/users/EWD/ewd08xx/EWD831.PDF
Peter Thiel is liberal to progressive?
And Russian and Ukraine, presently superlatively so.
No one is going to split hairs about the history of the South and how it affects policies even till this day.
> How did they get so rich?

The sanest political system in the world, where power is only ever reluctantly relinquished to the higher authorities (individual -> city -> state -> federation), unlike - say - the US, where the power that still remains in the hands of local govts is nothing but a joke.
Yeah, Kernighan is the K in K&R as in the other author of "The C Programming Language" as well as the "K" in awk, he's not just some dude speculating.
Relativity for instance. New does not exclude dependencies or partial predecessors. New is something that is totally different from before.
Because it is not just reproducing existing moves. An LLM can come to acquire a model which models the structure of moves (in chess for instance using letter an number indexing of board positions), the checking of valid moves and the valuation of board positions.

It seems surprising that training an LLM would result in layers/weights which contain such representations but it seems that this is indeed an efficient representation of information in the same way that neural nets would learn addition by encoding textual integers into floats.
This is true, but it still generates a (very) large amount of boilerplate and stylistically suboptimal code. Examples:

- the base unit is the individual C file, which causes structs and symbols to be duplicated across Rust modules

- for loops are translated to while loops with overflowing additions, which is ugly and unnecessary in pretty much every case (this makes sense, semantically, but it could be used only when necessary, not as general strategy)

- variables are declared at the top of the functions (AFAIR)

C2Rust generates code that requires significant refactorings _before_ semantic (C->Rust) translations - as a matter of fact, they had a refactoring tool, but it's been temporarily deprecated.

It's a fantastic tool, but as of now, it requires developers to write their own refactoring tools.
> In the end I have this feeling that GPT is on a level of 7 year old with an access to vast library.

It's probably more like a 14 year old but I think you're probably right. It can give step-by-step instructions and even the code to set up entire web apps, but it's only when you go through those steps that you find the issues. Packages out of date, less-than-optimal ways of handling non-obvious cases, and I've even found it trying to use javascript functions that have never existed. To its credit, it apologizes and tries again when I call it out. Maybe GPT-5 will be the real one to worry about.
"John Maynard Keynes, the economist who famously advocated for public spending to stimulate economies during recession, knew about the deception, the researchers say. In a memo marked "Secret" he called it "a masterly manipulation," while also warning that it was not sustainable in the long run."

I could not help noticing the hypocrisy of him. Also when I read the end of the paragraph I chuckled recalling his famous "In the long run we are all dead"
From my understanding, Docker is moving to become an open to (proprietary) enterprise packager for closed source, or paid for software development.

- Keep access to big, permissively licensed open source software.

- Charge for higher pulling limits and tools.

- Keep source open, but infra closed, hence converting whole infra to "source available".

- Keep "small open source fish" out of the pond, by charging for what's available on the hub/platform.

As a result, they are kinda becoming "Snap Store" of containers. Premium feel, high fees for higher bar for entry, etc.

At the end of the day, Docker is just a hungry whale chasing money. I can't blame them, but they are not motivated by the value they provide anymore. They are motivated by the money they can make.

Sad, but understandable (to a degree). This makes them very easy to disrupt in free software arena. I'm a paying Docker Pro customer, but I might look somewhere else in the long run.
Apple: Whistleblower about Working Conditions
In this risk-of-poverty statistics, usually the people are compared to their peers. Like how much are other people earning on average? If you are under a certain level below this, you have a risk of poverty.

Many people regularly oppose this, as being inexact.

Maybe this is correct ... but: the mean income level also influences prices, e.g. for flats or groceries. Swiss prices here are exceptional. What costs 1 EUR in Germany costs 2 swiss francs there. And francs and euro are more-or-less on parity, if you exchange them. Droves of Swiss people drive to Germany (or Italy) to buy groceries. But: some people don't have a car. They can't do that.

I saw a map of Switzerland with different colors on how high the risk of poverty is estimated in which region, and clearly the french speaking parts around Genevre had a worse risk assessment than e.g. the italian or german speaking parts. You couldn't really see the Röstigraben, but you could still see a stark difference.
It's kind of remarkable when you think about it that old typewrites from the 1960's gave more user friendly fine control over the document layout and symbols typed than modern word processing software.

Sure LaTeX is a thing, but to call that user friendly is a nightmare.

Word but as a Selectric emulator would be pretty interesting.
> If your only value add is pumping out code that a generative model can generate with a few tweaks,

You are describing 99% of programmers, many whose life and their family depend on this job which now is almost no longer a job.
> not getting into wars helped a shitload

It very much did indeed.

And probably a lesson the rest of the world should finally learn.
Postmark is retiring credits on July 1, 2023
Yeah, someone else mentioned this on reddit. When taking the time to think about it, I as surprised as you are that it worked. I'll update the post when I have more time to take care of all the things people suggested
Lots of cults and belief systems operate this way

Like that time a science fiction writer started his own religion based on characters from his novel and got a bunch of celebrities financially tied to it

Or when holistic practitioners procedurally generate an unsubstantiated preventative cure

Might as well just turn your brain off now, you won’t need it

Raised by Wolves moment
Is it possible to take the optimistic approach and update the UI before getting response from the back end? Obviously for simple things, like counters, that need an immediate update to the UI.
Oh where is the free market in this?
I've had to fight with the Linux drivers of a ~15 years old Brother printer. It's a great device otherwise and to be fair that they publish proprietary drivers for Linux that still work in any way is not bad.

The newer models support AirPrint/IPP everywhere and AirScan (whatever protocol sits behind that) and just work without any extra drivers.

Can't really complain about much. It prints. It scans. It probably also faxes. Never had any stuck paper, replacement ink is reasonably cheap.

How cool that printers like this still exist!
i wonder if card games using the standard deck can even be copywritten? I could produce some kind of custom deck ... but then how long before people work out that they could just use a standard deck :)
Not everything has to be an argument. Most communication is not an argument.
Java had green threads in v1.0.
I had absolutely no clue about what this was about; here's some context (Googling)

https://news.yahoo.com/tusimple-co-founder-blames-exit-03115...
Ask HN: Is there a register which company uses which bank?
In my country every company must declare on their website the bank account number. At least one number. I'm not sure what if they have more accounts in different banks.

I wonder is there already a service out there that provides the data on account numbers and banks that companies use?

Such list could be useful in preventing scams. Let's say that before making a payment to a company you would see it the associated number is really connected to that company or if some has breached your system and changed the account number. It could also help with fake invoices and so on.

Can such system even be built or is this not possible due to contracts beetween banks and clients?
> [T]echnology is about taking what’s out there in the world, and harnessing it for human purposes.

Technology is indeed about transforming existing nature into utility and producing waste thrown back into nature.

Knowing what we know about current terrifying climate and ecological breakdown, it's astonishing that Wolfram doesn't include it in any way in his visions. Even at the current pace nature regenerates far too slow to withstand this "progress", let alone in the visions in this article.

New technology is a choice to destroy nature for utility. Are we sure that utility is worth it?
Hacking groups offer $100k/month to “pentesters”
99.9999 percent of humans are no more than copiers of other people's ideas. With no conceptual insight, no original ideas, etc etc. That doesn't mean they're not sentient. :-)
Using a raw "unprompted" GPT is a bit unsophicated and the result will be bland.

It's basically - in these cases - limited to your creativity. Ask it to summarize only the most interesting arguments or analogies. You need to hone it into what it is that you are trying to get out of it. It's not a human, it doesn't adapt without you telling it to.

You can turn it positive, negative, whatever you want. Ask it to make the article look silly and proceed to debunk its arguments and it will - probably successfully.
Building a Media Understanding Platform for ML Innovations
Same as on Mars or any other place outside of Earth that we know of to be fair
That is so frustrating, it really sounds amazing, but I don't have the willpower to do that just for the day-to-day OS.
Looking forward the day it gets more consumer oriented
https://universemagazine.com/en/the-last-photos-from-the-sur...

The Soviet Union did send probes to Venus back in the 70s. But, indeed, it would be great to have new and higher resolution photos. I am always amazed when looking on the surface of a foreign world.
The Stupidity of AI
Ask it to play a MUD with you. You may need to specify the system prompt. It works right now on GPT-3.5 just fine. Try it, I'm playing one currently.
> I like the use of the arrows in the function definitions though :) I've seen that somewhere before…

Python type hints probably.

I (ab)used them for good effect when I was fiddling around with the spark earley parser that used to be part of the python build system.
Tweet on the impact of this on the Elixir project: https://mobile.twitter.com/josevalim/status/1635767176769462...
Pretty crazy how not everyone seems to understand this.
Fun idea: Try to unlock someone else's Tesla
Taking a long time to learn something doesn't mean that something wasn't learned nor understood. Two separate topics.

Even chatGPT understands this:

ME: Does someone or something requiring a thousand examples to understand something imply that it doesn't understand anything?

CHATGPT: No, requiring a thousand examples to understand something does not necessarily imply that someone or something doesn't understand anything. It simply suggests that the thing being understood is complex and requires a significant amount of data or examples to fully grasp.

CHATGPT: For example, in the context of machine learning, a large dataset of examples may be required to train a model to perform a specific task accurately. This does not mean that the model doesn't understand anything; rather, it suggests that it needs a lot of data to be able to generalize and apply its understanding to new situations.

CHATGPT: Similarly, in the case of human learning, some concepts or ideas may be challenging to understand without multiple examples or explanations. This does not mean that the person doesn't understand anything; it simply suggests that they need more exposure to the concept to fully comprehend it.

CHATGPT: In summary, the amount of data or examples required to understand something does not necessarily indicate a lack of understanding. It may simply reflect the complexity of the topic or the learning process.

Why don't you understand it?
And the third one is his younger brother.
"Tulip wheel" is hilarious because a print wheel looks a lot like a daisy and nothing like a tulip.
They were holding out for a $500bn valuation.
> In any case why is the Chinese Room always stated as if it has a clear conclusion rather than "this doesn't really prove anything" if we don't know enough to say either way?

To me, it does have a clear and definitive conclusion, which is that mere intelligent output does not mean you are replicating human intelligence, or any higher order mechanism such as consciousness. We don't know enough to tell that it doesn't have any consciousness, but that's beside the point.

You mentioned that a computer that could simulate every molecule of a human brain would also likely replicate sentience. Of course the tricky part is how do you prove that assertion, if all you have is output? If I transfer your brain to an advanced computer as you describe, can I conclude that you're conscious based on what you tell me? I don't think so, because with present technology I could likely make a passable version of your writing output with a LLM. To me that's the real value of the Chinese Room, which is to expose precisely this dillemma. People wrote all sorts of replies to it in order to tackle that - you may be interested in reading about Dennett's p-zombies if you haven't already.
Okay, so Twitter recommendations correlate with interests. Was this meant to be satire?
Kind of in the theme of 塊魂, there's a yojijukugo with 4 鬼: 魑魅魍魎 (ちみもうりょう, chimimouryou, evil spirits of rivers and mountains)
Well, sort of. This is mostly for using a large language model to generate JSON or XML or SQL, something for which there's a syntax checker. It guarantees only that the output has the right syntax. If used for censorship, it's just looking for keywords.
Caffeine knocks me out. It makes me tired, always did,
I doubt there's any notable ones between here and the moon, by now I'm sure we'd know. We could potentially capture one elsewhere and bring it here.
I’ve seen countless comments stating that it is just predicting the next token, move along, nothing to see here.
Many humans have lost their jobs to dumb programs before. If your job is mostly copying code snippets and modifying them a tiny bit then yeah, you should worry, these language models are great at that. If you are doing more creative coding then it will probably take a while.
Regulators aren’t good candidates for managers and viceversa because…

Being a regulator and a manager of a profitable enterprise have very few things in common.

You don’t want your audit and compliance department calling the shots for a corporation.

Just like the last thing you need is a CEO whether sales or engineer type making all of the risk, audit and compliance decisions.
Haha that's for now. But humans do this too, attempting to copy the shell around a concept: the way it is expressed.

In American English, this is frequently authority speech mimicking law enforcement, scientists, or lawyers. All while lacking any knowledge of anything but the outer dressings of something.

In this way, the problem is that the AI is just mimicking most of us on most things.
> And one possibility might be that AIs could “improve themselves” to produce a single “apex intelligence” that would in a sense dominate everything else.

I worry about the opposite, at least in the early phase of AI.

There will be many AI instances/variants in many hands, and they will be used in different ways. Companies will have their own for commercial needs, countries will have them for economy, defense purposes etc. Established countries will approach them conservatively, using them in an advisory role, rather than giving them direct access.

"Rogue" countries (think North Korea, Iran, maybe Russia) which are more accepting of risk might give their AIs a much more direct role, including building them right into the weapon systems. This can backfire spectacularly, but in some cases may be successful and provide the rogue country with an effective equalizer or perhaps even an edge. An obvious way to equalize this for "non-rogue" countries is to give their own AI more direct access to decision-making. In the end, we might end up with multiple AIs fighting for dominance, with humans on the sidelines.
According to the cybercriminals, the stolen information includes drone footage and photographs of military bases and other objects with exact coordinates.
That would suggest that fine control over character placement is not something users value that much.
I had the same experience. I owned such a small Brother printers 10 years back, but then I wanted colour and bought an Epson printer. This was a big, ugly business printer that wasted a lot of ink and didn't have impressive printing quality. Then I bought a cheap Epson ink printer with a scanner and a duplex unit (and better printing quality), but it stopped working after 2 or 3 years. I bet this initial Brother printer, which I sold for a few bucks, is still printing somewhere like on its first day.
> If I were an employee I'd take the liquidity now before this goes the way of WeWork

To take the liquidity an investor has to give the liquidity - if all the employees on the inside believe in the mission so much that they want to sell ...
Investment banking and working for a telecom behemoth is not really a "tech job".

I've been employed in tech for years, some 20 years by now, across multiple small tech business, some startups, a few larger orgs. I always had work to do, there's always something to be: discovered, scoped, and/or delivered; there's always some maintenance to be done on legacy systems, there's always firefighting issues of these legacy systems, after firefighting there's always the cycle of writing a post-mortem, scoping improvements, applying improvements to reduce toil.

The author's experience is different, and that's fine, what's not fine is not being aware of the narrowness of your experiences and writing a blurb of noise about how "tech" (which the author doesn't really work at) requires no work and that Twitter and other tech companies shedding workers was expected through his narrow experience and worldview. That's just ignorance.
ChatGPT lowers information complexity by smoothing and averaging the information content, so no, likely you'll see the opposite effect.

We already went through this with Stable Diffusion - the content it produces looks very professional, but also somehow exactly the same no matter the subject.
> Switzerland is instead clearly picking Russia's side by

... implementing all EU sanction packets against Russia?

... by providing financial and civilian aid to Ukraine, like money for the government, generators, medical aid, winter clothes? The aid of Switzerland isn't that large, truth be told. But, compared by GDP, it's more than Turkey helps.
I saw your testimonial from a company called Questmate, then later saw a copyright notice for the site with that same company.

Raised eyebrows is an understatement
From a new grad perspective, for sure. According to https://openai.com/research/gpt-4, it doesn't do too well with leetcode/algo style questions. That being said, the rate of progress is alarming.
Care to elaborate how any of those involved humans inventing something that wasn't a combination of synthesis with a stochastic process filling in the gaps?

E.g the discovery of x-rays took over a century of applying small iterations to established processes to accumulate data. There was no big, sudden leap of insight there.
Yeah, definitely some heavy narcissistic vibes with this dude.
Sharing some Korean Yojijukugos (originating from China)

위록지마(謂鹿止馬) wii rok ji ma

To point at a deer and call it a horse. Used for suck ups who says agrees to things that are clearly not right.

읍참마속(泣斬馬謖) ub cham ma sok

To behead Ma Su (name) while crying. In the Romance of Three Kingdoms, Zhuge Liang had to behead his favourite general Ma Su as he wept because Ma Su ignored the given command resulting in losing the war. This is used when you have to be fair for the greater good.

There are also fake yojijukugos which were created on online forums. These are not based on Chinese characters but made by taking letters from Korean phrases. But they caught on because they kinda sound like real yojijikugos :D

내로남불 nae ro nam bul

Romance for me, but adultery for you. Used for people who are lenient to themselves but strict to others.

자강두천 ja gang doo cheon

Fight of two strong-sprited geniuses. Used when two strong characters butt head with each other.
Ha, I feel you. "What would the world look in ten years?"

One question though, that keeps coming to my mind: right now big ML models use a lot of computing, that even organizations like Microsoft are having trouble to provision. How fast can our technology adapt? Where will it clash with environmentalist goals, with war, and with the economy?

And, fundamentally, what are our blind spots, our "computationally irreducible" surprises, the things that we of the Orange Collective Statistical Parrot are not talking about?
Interesting to see so many responses along the lines of "that's not been my experience of the industry". I have a theory though at the source of the difference in perception, and it's not that the companies are different, it's that the range between the most productive and least productive software developers is incomprehensibly huge. One of my favorite childhood books features a steam shovel named Mary Anne whose owner avers she "can dig as much in a day as a hundred men can dig in a week". A steam shovel developer is often stuck looking at the hundred diggers and wondering what the heck is taking them so long, but most developers are one of those hundred and spend all day digging without ever realizing just how inefficient they are.